External Links

    Journal: IEEE Trans. Software Eng.

    Volume 5, Issue 6

    542 -- 546Abraham Silberschatz. Communication and Synchronization in Distributed Systems
    546 -- 558Barbara Liskov, Alan Snyder. Exception Handling in CLU
    558 -- 574Alan F. Babich. Proving Total Correctness of Parallel Programs
    575 -- 586Virgil D. Gligor. Review and Revocation of Access Privileges Distributed Through Capabilities
    586 -- 592Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno. Program Derivation Using Data Types: A Case Study
    593 -- 606Jacques Cohen, Robin Sitver. A Case Study in Program Transformation: Translation into Polish
    607 -- 611Virgil D. Gligor, Bruce G. Lindsay. Object Migration and Authentication
    612 -- 617Paul W. Abrahams, Lori A. Clarke. Compile-Time Analysis of Data List-Format List Correspondences
    618 -- 631Takashi Masuda. Methods for the Measurement of Memory Utilization and the Improvement of Program Locality
    631 -- 642Paul Caseau, Guy Pujolle. Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room
    643 -- 652Anthony L. Barrese, Stephen D. Shapiro. Structuring Programs for Efficient Operation in Virtual Memory Systems
    653 -- 659Gaston H. Gonnet, David E. Morgan. Analysis of Closed Queuing Networks with Periodic Servers

    Volume 5, Issue 5

    429 -- 439Gregor von Bochmann, Joachim Tankoano. Development and Structure of an X.25 Implementation
    440 -- 452K. Mani Chandy, Jayadev Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
    453 -- 458Wolfgang Polak. An Exercise in Automatic Program Verification
    458 -- 464Kattamuri Ekanadham, Arthur J. Bernstein. Conditional Capabilities
    465 -- 471David J. Rypka, Anthony P. Lucido. Deadlock Detection and Avoidance for Shared Logical Resources
    472 -- 480Jacques Cohen, Robin Sitver, David Auty. Evaluating and Improving Recursive Descent Parsers
    481 -- 496Nick Roussopoulos. CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications
    497 -- 504R. R. Oldehoeft, Leonard J. Bass. Dynamic Software Science with Applications
    504 -- 514Linda M. Ottenstein. Quantitative Estimates of Debugging Requirements
    514 -- 520Charles Wetherell, Alfred Shannon. Tidy Drawings of Trees
    520 -- 529Simeon C. Ntafos, S. Louis Hakimi. On Path Cover Problems in Digraphs and Applications to Program Testing
    530 -- 538Raymond A. Marie. An Approximate Analytical Method for General Queueing Networks

    Volume 5, Issue 4

    294 -- 328Zohar Manna, Richard J. Waldinger. Synthesis: Dreams - Programs
    328 -- 332Kishor S. Trivedi, Robert A. Wagner. A Decision Model for Closed Queuing Networks
    333 -- 340Jon Louis Bentley. Multidimensional Binary Search Trees in Database Applications
    341 -- 349Shahid H. Bokhari. Dual Processor Scheduling with Dynamic Reassignment
    349 -- 358David K. Hsiao, Douglas S. Kerr, Chen-Jen Nee. Database Access Control in the Presence of Context Dependent Protection Requirement
    359 -- 367David B. Wortman. On Legality Assertions in Euclid
    367 -- 373William H. Harrison. A New Strategy for Code Generation - the General-Purpose Optimizing Compiler
    374 -- 386Edwin Towster. A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data
    387 -- 401Mark Moriconi. A Designer/Verifiers s Assistant
    402 -- 417Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley. Symbolic Evaluation and the Analysis of Programs
    418 -- 425Ronald F. Boisvert, John R. Rice, Elias N. Houstis. A System for Performance Evaluation of Partial Differential Equations Software
    426 -- 428Richard E. Fairley. ALADDIN: Assembly Language Assertion Driven Debugging Interpreter

    Volume 5, Issue 3

    177 -- 187Alan R. Hevner, S. Bing Yao. Query Processing in Distributed Database Systems
    188 -- 194Michael Stonebraker. Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES
    195 -- 202Daniel A. Menascé, Richard R. Muntz. Locking and Deadlock Detection in Distributed Data Bases
    203 -- 216Philip A. Bernstein, David W. Shipman, Wing S. Wong. Formal Aspects of Serializability in Database Concurrency Control
    216 -- 226Barbara G. Ryder. Constructing the Call Graph of a Program
    226 -- 236J. C. Huang. Detection of Data Flow Anomaly Through Program Instrumentation
    237 -- 247Richard C. Waters. A Method for Analyzing Loop Programs
    248 -- 255Henrik Schutz. On the Design of a Language for Programming Real-Time Concurrent Processes
    256 -- 275Jacob Katzenelson. Clusters and Dialogues for Set Implementations
    276 -- 286Norman F. Schneidewind, Heinz-Michael Hoffmann. An Experiment in Software Error Data Collection and Analysis
    287 -- 289Jeffrey R. Spirn. Queuing Networks with Random Selection for Service

    Volume 5, Issue 2

    74 -- 75Maurice H. Halstead. Guest Editorial on Software Science
    74 -- 0Raymond T. Yeh. In Memory of Maurice H. Halstead
    76 -- 79Scott N. Woodfield. An Experiment on Unit Increase in Problem Complexity
    79 -- 90Ronald D. Gordon. Measuring Improvements in Program Clarity
    91 -- 95Stuart H. Zweben, Maurice H. Halstead. The Frequency Distribution of Operators in PL/I Programs
    96 -- 104Bill Curtis, Sylvia B. Sheppard, Phil Milliman, M. A. Borst, Tom Love. Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics
    105 -- 109Douglas Comer, Maurice H. Halstead. A Simple Experiment in Top-Down Design
    110 -- 120Albert L. Baker, Stuart H. Zweben. The Use of Software Science in Evaluating Modularity Concepts
    121 -- 128Ronald D. Gordon. A Qualitative Justification for a Measure of Program Clarity
    128 -- 138David Lorge Parnas. Designing Software for Ease of Extension and Contraction
    138 -- 147Gregory R. Andrews. The Design of a Message Switching System: An Application and Evaluation of Modula
    148 -- 159Maarten H. van Emden. Programming with Verification Conditions
    160 -- 174W. C. Lin, Richard C. T. Lee, David Hung-Chang Du. Common Properties of Some Multiattribute File Systems

    Volume 5, Issue 1

    1 -- 9James R. McGraw, Gregory R. Andrews. Access Control in Parallel Programs
    10 -- 23Carl Hewitt, Russell R. Atkinson. Specification and Proof Techniques for Serializers
    24 -- 31John T. Robinson. Some Analysis Techniques for Asynchronous Multiprocessor Algorithms
    31 -- 44Taylor L. Booth. Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages
    45 -- 50Martin R. Woodward, Michael A. Hennell, David Hedley. A Measure of Control Flow Complexity in Program Text
    51 -- 59Douglas W. Clark. Measurements of Dynamic List Structure Use in Lisp
    60 -- 66Janis Bicevskis, Juris Borzovs, Uldis Straujums, Andris Zarins, Edward F. Miller Jr.. SMOTL - A System to Construct Samples for Data Processing Program Debugging
    runs on