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, (see: 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
  

Last update Wed May 22 19:09:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page