IEEE Transactions on Software Engineering (TSE), Volume 3

Volume 3, Number 1, January 1977

Special Collection Requirement Analysis

Douglas T. Ross: Guest Editorial - Reflections on Requirements. 2-5 BibTeX
Douglas T. Ross, Kenneth E. Schoman Jr.: Structured Analysis for Requirements Definition. 6-15 BibTeX
Douglas T. Ross: Structured Analysis (SA): A Language for Communicating Ideas. 16-34 BibTeX
C. A. Irvine, John W. Brackett: Automated Software Engineering Through Structured Data Management. 34-40 BibTeX
Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. 41-48 BibTeX
Thomas E. Bell, David C. Bixler, Margaret E. Dyer: An Extendable Approach to Computer-Aided Software Requirements Engineering. 49-60 BibTeX
Mack W. Alford: A Requirements Engineering Methodology for Real-Time Processing Requirements. 60-69 BibTeX
Carl G. Davis, Charles R. Vick: The Software Development System. 69-84 BibTeX

Papers - Analysis of Algorithms

Harold S. Stone: Multiprocessor Scheduling with the Aid of Network Flow Algorithms. 85-93 BibTeX
Alan Jay Smith: Two Methods for the Efficient Analysis of Memory Address Trace Data. 94-101 BibTeX

Henry F. Ledgard: Production Systems: A Notation for Defining Syntax and Translation. 105-124 BibTeX
Leslie Lamport: Proving the Correctness of Multiprocess Programs. 125-143 BibTeX
J. Mack Adams: A General, Verifiable Iterative Control Structure. 144-149 BibTeX
We-Min Chow, Willy W. Chiu: An Analysis of Swapping Policies in Virtual Storage Systems. 150-156 BibTeX
Per Brinch Hansen: Experience with Modular Concurrent Programming. 156-159 BibTeX
Allen Klinger: Guest Editorial - Data Structures and Pattern Recognition. 160-161 BibTeX
Raouf F. H. Farag: Interactive Pattern Recognition: A System and Data Structure. 162-168 BibTeX
Linda G. Shapiro, Robert J. Baron: ESP³: A Language for Pattern Description and a System for Pattern Recognition. 169-183 BibTeX
Stuart B. Soffer, Richard B. Friedman: Information Retrieval Based on Touch-Tone Encoded Alphanumeric Keys. 184-189 BibTeX
Robert M. Haralick: Image Access Protocol for Image Processing Software. 190-192 BibTeX

Ben Wegbreit: Constructive Methods in Program Verification. 193-209 BibTeX
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management. 210-217 BibTeX
Phyllis Reisner: Use of Psychological Experimentation as an Aid to Development of a Query Language. 218-229 BibTeX
Edmund B. Daly: Management of Software Development. 229-242 BibTeX
William H. Harrison: Compiler Analysis of the Value Ranges for Variables. 243-250 BibTeX
Stuart H. Zweben: A Study of the Physical Structure of Algorithms. 250-258 BibTeX
Warren V. Camp, T. G. Lewis: Implementing a Pseudorandom Number Generator on a Minicomputer. 259-262 BibTeX
David Gries: Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". 262 BibTeX , ->IEEE Trans. Software Eng. 2(4): 238-244(1976) BibTeX

William E. Howden: Symbolic Testing and the DISSECT Symbolic Evaluation System. 266-278 BibTeX
Richard G. Hamlet: Testing Programs with the Aid of a Compiler. 279-290 BibTeX
K. Mani Chandy, J. Hogarth, Charles H. Sauer: Selecting Capacities in Computer Communication Systems. 290-295 BibTeX
G. David Ripley: Program Perspectives: A Relational Representation of Measurement Data. 296-300 BibTeX
Allen Klinger: Artificial Patterns. 301-306 BibTeX
Lawrence R. Symes, R. R. Oldehoeft: Context of Problem-Solving Systems. 306-309 BibTeX
Petru D. Cernicica: Evaluation of the Average Access Time for a Digital Cassette Memory System. 310-324 BibTeX
James J. Horning, David B. Wortman: Software Hut: A Computer Program Engineering Project in the Form of a Game. 325-330 BibTeX

John J. Donovan, Henry D. Jacoby: Virtual Machine Communication for the Implementation of Decision Support Systems. 333-342 BibTeX
Hanan Samet: A Machine Description Facility for Compiler Testing. 343-351 BibTeX
Donald E. Knuth: Deletions That Preserve Randomness. 351-359 BibTeX
Jason Gait: A New Nonlinear Pseudorandom Number Generator. 359-363 BibTeX
James L. Elshoff: The Influence of Structured Programming on PL/I Program Profiles. 364-368 BibTeX
Bernhard Walke: Program Replacement for Better Throughput. 369-374 BibTeX

Nachum Dershowitz, Zohar Manna: The Evolution of Programs: Automatic Program Modification. 377-385 BibTeX
Michael R. Paige: On Partitioning Program Graphs. 386-393 BibTeX
Jean-Loup Baer, Carla Schlatter Ellis: Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment. 394-405 BibTeX
Gruia-Catalin Roman: An Argument in Favor of Mechanized Software Production. 406-415 BibTeX
Michael Marcotty, Frederick G. Sayward: The Definition Mechanism for Standard PL/I. 416-450 BibTeX
Rangasami L. Kashyap, S. K. C. Subas, S. Bing Yao: Analysis of the Multiple-Attribute-Tree Data-Base Organization. 451-467 BibTeX
Gary J. Nutt: A Parallel Processor Operating System Comparison. 467-475 BibTeX
R. R. Oldehoeft: A Contrast Between Language Level Measures. 476-480 BibTeX