IEEE Transactions on Software Engineering (TSE), Volume 5

Volume 5, Number 1, January 1979

Languages

Methodology

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

Program Analysis and Measurement

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

Tools

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

Special Collection on Software Science

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

Methodology

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

Data Base Design

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

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

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

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

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