IEEE Transactions on Software Engineering (TSE), Volume 5

Volume 5, Number 1, January 1979

• James R. McGraw, Gregory R. Andrews: Access Control in Parallel Programs. 1-9 BibTeX

• Carl Hewitt, Russell R. Atkinson: Specification and Proof Techniques for Serializers. 10-23 BibTeX

• John T. Robinson: Some Analysis Techniques for Asynchronous Multiprocessor Algorithms. 24-31 BibTeX
• Taylor L. Booth: Performance Optimization of Software Systems Processing Information Sequences Modeled by Probabilistic Languages. 31-44 BibTeX
• Martin R. Woodward, Michael A. Hennell, David Hedley: A Measure of Control Flow Complexity in Program Text. 45-50 BibTeX
• Douglas W. Clark: Measurements of Dynamic List Structure Use in Lisp. 51-59 BibTeX

• Janis Bicevskis, Juris Borzovs, Uldis Straujums, Andris Zarins, Edward F. Miller Jr.: SMOTL - A System to Construct Samples for Data Processing Program Debugging. 60-66 BibTeX

Volume 5, Number 2, March 1979

• Raymond T. Yeh: In Memory of Maurice H. Halstead. 74 BibTeX
• Maurice H. Halstead: Guest Editorial on Software Science. 74-75 BibTeX
• Scott N. Woodfield: An Experiment on Unit Increase in Problem Complexity. 76-79 BibTeX
• Ronald D. Gordon: Measuring Improvements in Program Clarity. 79-90 BibTeX
• Stuart H. Zweben, Maurice H. Halstead: The Frequency Distribution of Operators in PL/I Programs. 91-95 BibTeX
• Bill 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. 96-104 BibTeX
• Douglas Comer, Maurice H. Halstead: A Simple Experiment in Top-Down Design. 105-109 BibTeX
• Albert L. Baker, Stuart H. Zweben: The Use of Software Science in Evaluating Modularity Concepts. 110-120 BibTeX
• Ronald D. Gordon: A Qualitative Justification for a Measure of Program Clarity. 121-128 BibTeX

• David Lorge Parnas: Designing Software for Ease of Extension and Contraction. 128-138 BibTeX
• Gregory R. Andrews: The Design of a Message Switching System: An Application and Evaluation of Modula. 138-147 BibTeX
• Maarten H. van Emden: Programming with Verification Conditions. 148-159 BibTeX

• W. C. Lin, Richard C. T. Lee, David Hung-Chang Du: Common Properties of Some Multiattribute File Systems. 160-174 BibTeX

Volume 5, Number 3, May 1979

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

Volume 5, Number 4, July 1979

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

Volume 5, Number 5, September 1979

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

Volume 5, Number 6, November 1979

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