IEEE Transactions on Software Engineering (TSE), Volume 3

Volume 3, Number 1, January 1977

• Douglas T. Ross: Guest Editorial - Reflections on Requirements. 2-5
• 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. 160-161
• 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, T. 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 , ->IEEE Trans. Software Eng. 2(4): 238-244(1976)

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, J. 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