IEEE Transactions on Software Engineering (TSE), Volume 4

Volume 4, Number 1, January 1978

• Erol Gelenbe, Alain Kurinckx: Random Injection Control of Multiprogramming in Virtual Memory. 2-17 BibTeX

• Shi-Kuo Chang, Wu-Haung Cheng: Database Skeleton and Its Application to Logical Database Synthesis. 18-30 BibTeX
• Shi-Kuo Chang, Jyh-Sheng Ke: Database Skeleton and Its Application to Fuzzy Query Translation. 31-44 BibTeX

• Seymour Ginsburg, Erica M. Rounds: Dynamic Syntax Specification Using Grammar Forms. 44-55 BibTeX
• Marvin V. Zelkowitz, Howard J. Larsen: Implementation of a Capability-Based Data Abstraction. 56-64 BibTeX

• Jayadev Misra: A Technique of Algorithm Construction on Sequences. 65-69 BibTeX

• William E. Howden: DISSECT-A Symbolic Evaluation and Program Testing System. 70-73 BibTeX
• Richard A. DeMillo, David P. Dobkin, Richard J. Lipton: Even Data Bases That Lie Can Be Compromised. 73-75 BibTeX
• Sukhamay Kundu: Note on a Constrained-Path Problem in Program Testing. 75-76 BibTeX
• Barry K. Rosen: The Toy Language Syndrome. 76-77 BibTeX

Volume 4, Number 2, March 1978

• Terrence W. Pratt: Control Computations and the Design of Loop Control Structures. 81-89 BibTeX
• David Gries: The Multiple Assignment Statement. 89-93 BibTeX
• Robert Balzer, Neil M. Goldman, David S. Wile: Informality in Program Specifications. 94-103 BibTeX
• George J. Schick, Ray W. Wolverton: An Analysis of Competing Software Reliability Models. 104-120 BibTeX
• Alan Jay Smith: A Comparative Study of Set Associative Memory Mapping Algorithms and Their Use for Cache and Main Memory. 121-130 BibTeX
• G. David Ripley, Ralph E. Griswold, David R. Hanson: Performance of Storage Management in an Implementation of SNOBOL4. 130-137 BibTeX
• Harold S. Stone: Sorting on STAR. 138-146 BibTeX
• Robert A. Ellis: On the Interactiave Use of a Macroprocessor to Generate Operating System Batch Streams. 146-148 BibTeX

Volume 4, Number 3, May 1978

• Philip A. Bernstein, James B. Rothnie Jr., Nathan Goodman, Christos H. Papadimitriou: The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case). 154-168 BibTeX , comments on this paper: ACM Trans. Database Syst. 6(2): 347-350(1981) BibTeX
• Uno R. Kodres: Analysis of Real-Time Systems by Data Flowgraphs. 169-178 BibTeX
• Tsun S. Chow: Testing Software Design Modeled by Finite-State Machines. 178-187 BibTeX
• Edward T. Chen: Program Complexity and Programmer Productivity. 187-194 BibTeX
• Per Brinch Hansen: Network: A Multiprocessor Program. 194-199 BibTeX
• Zohar Manna, Richard J. Waldinger: The Logic of Computer Programming. 199-229 BibTeX
• Santosh K. Shrivastava, Jean-Pierre Banâtre: Reliable Resource Allocation Between Unreliable Processes. 230-241 BibTeX
• Alan C. Shaw: Software Descriptions with Flow Expressions. 242-254 BibTeX
• Harold S. Stone: Critical Load Factors in Two-Processor Distributed Systems. 254-258 BibTeX

Volume 4, Number 4, July 1978

• Laszlo A. Belady: Guest Editorial for the Special Collection from the Third International Conference on Software Engineering. 261-262 BibTeX
• Jan T. Pedersen, John K. Buckle: Kongsberg's Road to an Industrial Software Methodology. 263-269 BibTeX
• Wolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt: User-Perceived Quality of Interactive Systems. 270-276 BibTeX
• Donald L. Boyd, Antonio Pizzarello: Introduction to the WELLMADE Design Methodology. 276-282 BibTeX
• William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely: Behavior Modeling During Software Design. 283-292 BibTeX
• William E. Howden: Theoretical and Empirical Studies of Program Testing. 293-298 BibTeX
• Hannes Goullon, Rainer Isle, Klaus-Peter Löhr: Dynamic Restructuring in an Experimental Operating System. 298-307 BibTeX
• Richard E. Merwin: Guest Editorial - Software Management: We Must Find a Way. 307-308 BibTeX
• Barry C. De Roze, Thomas H. Nyman: The Software Life Cycle-A Management and Technological Challenge in the Department of Defense. 309-318 BibTeX
• John D. Cooper: Corporate Level Software Management. 319-326 BibTeX
• William C. Cave, Alan B. Salisbury: Controlling the Software Life Cycle-The Project Management Task. 326-334 BibTeX
• Robert C. McHenry, Claude E. Walston: Software Life Cycle Management: Weapons Process Developer. 334-344 BibTeX
• Lawrence H. Putnam: A General Empirical Solution to the Macro Software Sizing and Estimating Problem. 345-361 BibTeX

Volume 4, Number 5, September 1978

• Per Brinch Hansen, Jørgen Staunstrup: Specification and Implementation of Mutual Exclusion. 365-370 BibTeX
• Nissim Francez: An Application of a Method for Analysis of Cyclic Programs. 371-378 BibTeX
• Shmuel Katz: Program Optimization Using Invariants. 378-389 BibTeX
• Thomas F. Gannon, Stephen D. Shapiro: An Optimal Approach to Fault Tolerant Software Systems Design. 390-409 BibTeX , Comments: IEEE Trans. Software Eng. 7(6): 608-610(1981) BibTeX , IEEE Trans. Software Eng. 7(6): 610-611(1981) BibTeX
• Jayadev Misra: An Approach to Formal Definitions and Proofs of Programming Principles. 410-413 BibTeX
• Kuo-Chung Tai: Syntactic Error Correction in Programming Languages. 414-425 BibTeX
• Armin B. Cremers, Thomas N. Hibbard: Formal Modeling of Virtual Machines. 426-436 BibTeX
• Y. H. Chin: An Analysis of ``Distributed Free Space'' in an Operating and Data Management Systems Environment. 436-440 BibTeX
• Richard C. T. Lee, James R. Slagle, C. T. Mong: Towards Automatic Auditing of Records. 441-448 BibTeX

Volume 4, Number 6, November 1978

• Warwick S. Ford: Implementation of a Generalized Critical Region Construct. 449-455 BibTeX
• Charles Rich, Howard E. Shrobe: Initial Report on a Lisp Programmer's Apprentice. 456-467 BibTeX
• Richard B. Kieburtz, Abraham Silberschatz: Capability Managers. 467-477 BibTeX
• Jayadev Misra: Some Aspects of the Verification of Loop Computations. 478-486 BibTeX
• Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava: A Model of Recoverability in Multilevel Systems. 486-494 BibTeX
• Lawrence A. Rowe, Fred M. Tonge: Automating the Selection of Implementation Structures. 494-506 BibTeX
• Eralp A. Akkoyunlu, Arthur J. Bernstein, Fred B. Schneider, Abraham Silberschatz: Conditions for the Equivalence of Synchronous and Asynchronous Systems. 507-516 BibTeX
• Gregor von Bochmann: Compile Time Memory Allocation for Parallel Processes. 517-520 BibTeX
• Uno R. Kodres: Discrete Systems and Flowcharts. 521-525 BibTeX
• Charles E. Hughes, Charles P. Pfleeger: ASSIST-V: An Environment Simulator for IBM 360 Systems Software Development. 526-530 BibTeX
• George I. Davida, David J. Linton, C. Russel Szelag, David L. Wells: Database Security. 531-533 BibTeX