- Alan R. Hevner, S. Bing Yao:
Query Processing in Distributed Database Systems. IEEE Trans. Software Eng. 5(3): 177-187 (1979) - Carl Hewitt, Russell R. Atkinson:
Specification and Proof Techniques for Serializers. IEEE Trans. Software Eng. 5(1): 10-23 (1979) - David K. Hsiao, Douglas S. Kerr, Chen-Jen Nee:
Database Access Control in the Presence of Context Dependent Protection Requirement. IEEE Trans. Software Eng. 5(4): 349-358 (1979) - J. C. Huang:
Detection of Data Flow Anomaly Through Program Instrumentation. IEEE Trans. Software Eng. 5(3): 226-236 (1979) - Jacob Katzenelson:
Clusters and Dialogues for Set Implementations. IEEE Trans. Software Eng. 5(3): 256-275 (1979) - W. C. Lin, Richard C. T. Lee, David Hung-Chang Du:
Common Properties of Some Multiattribute File Systems. IEEE Trans. Software Eng. 5(2): 160-174 (1979) - Barbara H. Liskov, Alan Snyder:
Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558 (1979) - Carlos José Pereira de Lucena, Tarcisio H. C. Pequeno:
Program Derivation Using Data Types: A Case Study. IEEE Trans. Software Eng. 5(6): 586-592 (1979) - Zohar Manna, Richard J. Waldinger:
Synthesis: Dreams - Programs. IEEE Trans. Software Eng. 5(4): 294-328 (1979) - Raymond A. Marie:
An Approximate Analytical Method for General Queueing Networks. IEEE Trans. Software Eng. 5(5): 530-538 (1979) - Takashi Masuda:
Methods for the Measurement of Memory Utilization and the Improvement of Program Locality. IEEE Trans. Software Eng. 5(6): 618-631 (1979) - James R. McGraw, Gregory R. Andrews:
Access Control in Parallel Programs. IEEE Trans. Software Eng. 5(1): 1-9 (1979) - Daniel A. Menascé, Richard R. Muntz:
Locking and Deadlock Detection in Distributed Data Bases. IEEE Trans. Software Eng. 5(3): 195-202 (1979) - Mark Moriconi:
A Designer/Verifiers's Assistant. IEEE Trans. Software Eng. 5(4): 387-401 (1979) - Simeon C. Ntafos, S. Louis Hakimi:
On Path Cover Problems in Digraphs and Applications to Program Testing. IEEE Trans. Software Eng. 5(5): 520-529 (1979) - R. R. Oldehoeft, Leonard J. Bass:
Dynamic Software Science with Applications. IEEE Trans. Software Eng. 5(5): 497-504 (1979) - Linda M. Ottenstein:
Quantitative Estimates of Debugging Requirements. IEEE Trans. Software Eng. 5(5): 504-514 (1979) - David Lorge Parnas:
Designing Software for Ease of Extension and Contraction. IEEE Trans. Software Eng. 5(2): 128-138 (1979) - Wolfgang Polak:
An Exercise in Automatic Program Verification. IEEE Trans. Software Eng. 5(5): 453-458 (1979) - John T. Robinson:
Some Analysis Techniques for Asynchronous Multiprocessor Algorithms. IEEE Trans. Software Eng. 5(1): 24-31 (1979) - Nick Roussopoulos:
CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications. IEEE Trans. Software Eng. 5(5): 481-496 (1979) - Barbara G. Ryder:
Constructing the Call Graph of a Program. IEEE Trans. Software Eng. 5(3): 216-226 (1979) - David J. Rypka, Anthony P. Lucido:
Deadlock Detection and Avoidance for Shared Logical Resources. IEEE Trans. Software Eng. 5(5): 465-471 (1979) - Norman F. Schneidewind, Heinz-Michael Hoffmann:
An Experiment in Software Error Data Collection and Analysis. IEEE Trans. Software Eng. 5(3): 276-286 (1979) - Henrik A. Schutz:
On the Design of a Language for Programming Real-Time Concurrent Processes. IEEE Trans. Software Eng. 5(3): 248-255 (1979) - Abraham Silberschatz:
Communication and Synchronization in Distributed Systems. IEEE Trans. Software Eng. 5(6): 542-546 (1979) - Jeffrey R. Spirn:
Queuing Networks with Random Selection for Service. IEEE Trans. Software Eng. 5(3): 287-289 (1979) - Michael Stonebraker:
Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. IEEE Trans. Software Eng. 5(3): 188-194 (1979) - Edwin Towster:
A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data. IEEE Trans. Software Eng. 5(4): 374-386 (1979) - Kishor S. Trivedi, Robert A. Wagner:
A Decision Model for Closed Queuing Networks. IEEE Trans. Software Eng. 5(4): 328-332 (1979)
