default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Software Engineering (TSE), Volume 3
Volume 3, Number 1, January 1977
- Douglas T. Ross:
Guest Editorial - Reflections on Requirements. IEEE Trans. Software Eng. 3(1): 2-5 (1977) - Douglas T. Ross, Kenneth E. Schoman Jr.:
Structured Analysis for Requirements Definition. 6-15 - Douglas T. Ross:
Structured Analysis (SA): A Language for Communicating Ideas. 16-34 - C. A. Irvine, John W. Brackett:
Automated Software Engineering Through Structured Data Management. 34-40 - Daniel Teichroew, Ernest A. Hershey III:
PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. 41-48 - Thomas E. Bell, David C. Bixler, Margaret E. Dyer:
An Extendable Approach to Computer-Aided Software Requirements Engineering. 49-60 - Mack W. Alford:
A Requirements Engineering Methodology for Real-Time Processing Requirements. 60-69 - Carl G. Davis, Charles R. Vick:
The Software Development System. 69-84
- Harold S. Stone:
Multiprocessor Scheduling with the Aid of Network Flow Algorithms. 85-93 - Alan Jay Smith:
Two Methods for the Efficient Analysis of Memory Address Trace Data. 94-101
Volume 3, Number 2, March 1977
- Henry F. Ledgard:
Production Systems: A Notation for Defining Syntax and Translation. 105-124 - Leslie Lamport:
Proving the Correctness of Multiprocess Programs. 125-143 - J. Mack Adams:
A General, Verifiable Iterative Control Structure. 144-149 - We-Min Chow, Willy W. Chiu:
An Analysis of Swapping Policies in Virtual Storage Systems. 150-156 - Per Brinch Hansen:
Experience with Modular Concurrent Programming. 156-159 - Allen Klinger:
Guest Editorial - Data Structures and Pattern Recognition. IEEE Trans. Software Eng. 3(2): 160-161 (1977) - Raouf F. H. Farag:
Interactive Pattern Recognition: A System and Data Structure. 162-168 - Linda G. Shapiro, Robert J. Baron:
ESP³: A Language for Pattern Description and a System for Pattern Recognition. 169-183 - Stuart B. Soffer, Richard B. Friedman:
Information Retrieval Based on Touch-Tone Encoded Alphanumeric Keys. 184-189 - Robert M. Haralick:
Image Access Protocol for Image Processing Software. 190-192
Volume 3, Number 3, May 1977
- Ben Wegbreit:
Constructive Methods in Program Verification. 193-209 - Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein:
Extending Concurrent Pascal to Allow Dynamic Resource Management. 210-217 - Phyllis Reisner:
Use of Psychological Experimentation as an Aid to Development of a Query Language. 218-229 - Edmund B. Daly:
Management of Software Development. 229-242 - William H. Harrison:
Compiler Analysis of the Value Ranges for Variables. 243-250 - Stuart H. Zweben:
A Study of the Physical Structure of Algorithms. 250-258 - Warren V. Camp, Ted G. Lewis:
Implementing a Pseudorandom Number Generator on a Minicomputer. 259-262 - David Gries
:
Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". 262
Volume 3, Number 4, July 1977
- William E. Howden:
Symbolic Testing and the DISSECT Symbolic Evaluation System. 266-278 - Richard G. Hamlet:
Testing Programs with the Aid of a Compiler. 279-290 - K. Mani Chandy, John Hogarth, Charles H. Sauer:
Selecting Capacities in Computer Communication Systems. 290-295 - G. David Ripley:
Program Perspectives: A Relational Representation of Measurement Data. 296-300 - Allen Klinger:
Artificial Patterns. 301-306 - Lawrence R. Symes, R. R. Oldehoeft:
Context of Problem-Solving Systems. 306-309 - Petru D. Cernicica:
Evaluation of the Average Access Time for a Digital Cassette Memory System. 310-324 - James J. Horning, David B. Wortman:
Software Hut: A Computer Program Engineering Project in the Form of a Game. 325-330
Volume 3, Number 5, September 1977
- John J. Donovan, Henry D. Jacoby:
Virtual Machine Communication for the Implementation of Decision Support Systems. 333-342 - Hanan Samet:
A Machine Description Facility for Compiler Testing. 343-351 - Donald E. Knuth:
Deletions That Preserve Randomness. 351-359 - Jason Gait:
A New Nonlinear Pseudorandom Number Generator. 359-363 - James L. Elshoff:
The Influence of Structured Programming on PL/I Program Profiles. 364-368 - Bernhard Walke:
Program Replacement for Better Throughput. 369-374
Volume 3, Number 6, November 1977
- Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: Automatic Program Modification. 377-385 - Michael R. Paige:
On Partitioning Program Graphs. 386-393 - Jean-Loup Baer, Carla Schlatter Ellis:
Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment. 394-405 - Gruia-Catalin Roman:
An Argument in Favor of Mechanized Software Production. 406-415 - Michael Marcotty, Frederick G. Sayward:
The Definition Mechanism for Standard PL/I. 416-450 - Rangasami L. Kashyap, S. K. C. Subas, S. Bing Yao:
Analysis of the Multiple-Attribute-Tree Data-Base Organization. 451-467 - Gary J. Nutt:
A Parallel Processor Operating System Comparison. 467-475 - R. R. Oldehoeft:
A Contrast Between Language Level Measures. 476-480
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
