IEEE Transactions on Software Engineering (TSE), Volume 4

Volume 4, Number 1, January 1978

Perfomance Modeling

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

Data Base Engineering

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

Languages

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

Design of Algorithms

Tools

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

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

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, (comments on this paper: ACM Trans. Database Syst. 6(2): 347-350 (1981))
Uno R. Kodres:
Analysis of Real-Time Systems by Data Flowgraphs. 169-178
Tsun S. Chow:
Testing Software Design Modeled by Finite-State Machines. 178-187
Edward T. Chen:
Program Complexity and Programmer Productivity. 187-194
Per Brinch Hansen:
Network: A Multiprocessor Program. 194-199
Zohar Manna, Richard J. Waldinger:
The Logic of Computer Programming. 199-229
Santosh K. Shrivastava, Jean-Pierre Banâtre:
Reliable Resource Allocation Between Unreliable Processes. 230-241
Alan C. Shaw:
Software Descriptions with Flow Expressions. 242-254
Harold S. Stone:
Critical Load Factors in Two-Processor Distributed Systems. 254-258

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

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

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

Last update Tue May 21 15:54:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page