External Links

    Journal: IEEE Trans. Software Eng.

    Volume 3, Issue 6

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

    Volume 3, Issue 5

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

    Volume 3, Issue 4

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

    Volume 3, Issue 3

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

    Volume 3, Issue 2

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

    Volume 3, Issue 1

    2 -- 5Douglas T. Ross. Guest Editorial - Reflections on Requirements
    6 -- 15Douglas T. Ross, Kenneth E. Schoman Jr.. Structured Analysis for Requirements Definition
    16 -- 34Douglas T. Ross. Structured Analysis (SA): A Language for Communicating Ideas
    34 -- 40C. A. Irvine, John W. Brackett. Automated Software Engineering Through Structured Data Management
    41 -- 48Daniel Teichroew, Ernest A. Hershey III. PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems
    49 -- 60Thomas E. Bell, David C. Bixler, Margaret E. Dyer. An Extendable Approach to Computer-Aided Software Requirements Engineering
    60 -- 69Mack W. Alford. A Requirements Engineering Methodology for Real-Time Processing Requirements
    69 -- 84Carl G. Davis, Charles R. Vick. The Software Development System
    85 -- 93Harold S. Stone. Multiprocessor Scheduling with the Aid of Network Flow Algorithms
    94 -- 101Alan Jay Smith. Two Methods for the Efficient Analysis of Memory Address Trace Data
    runs on