7. ICSE 1984: Orlando, Florida, USA

Error Processing

• Augusto Ciuffoletti: Error Recovery in Systems of Communicating Processes. 6-17
• Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho: Exception Handling: Formal Specification and Systematic Program Construction. 18-29
• K. Chong, P. Hsia: Diagnostic System for Distributed Software: A Relational Database Approach. 30-43

Distributed Systems

• Gruia-Catalin Roman, Mark S. Day: Multifaceted Distributed Systems Specification Using Processes and Event Synchronization. 44-55
• Guy T. Almes, Andrew P. Black, C. Bunje, D. Wiebe: Edmas: A Locally Distributed Mail System. 56-66
• Krithi Ramamritham: Resource Controller Tasks in Ada: Their Structure and Semantics. 67-77

Management Issues

• Joseph C. Spicer: A Spiral Approach to Software Engineering Project Management Education. 78-85
• K. Uemura, M. Ohori: A Cooperative Approach to Software Development by Application Engineers and Software Engineers. 86-96
• Bill Curtis: Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science. 97-107

Programming Environments I

• T. Mohri, E. Ono, S. Uehara, T. Takao, H. Sato: PDAS: An Assistant for Detailed Design and Implementation of Programs. 108-115
• Richard N. Taylor, Thomas A. Standish: Steps to an Advanced Ada Programming Environment. 116-125
• J. Guyard, J.-P. Jacquot: MAIDAY: An Environment for Guided Programming. 126-137

Cost and Productivity Measures

• M. W. Evans, L. M. Picinich: POWER: A Tool for Quantitative Evaluation of Software Project Effectiveness. 138-142
• J. Vosburgh, Bill Curtis, R. Wolverton, B. Albert, H. Malec, S. Hoben, Y. Liu: Productivity Factors and Programming Environments. 143-152
• R. E. Boydston: Programming Cost Estimate: Is It Reasonable? 153-161

Programming Environments II

• H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura: Interactive System for Structured Program Production. 162-171
• Paul A. Scheffer, Albert H. Stone III, William E. Rzepka: A Large System Evaluation of SREM. 172-180
• Warren Teitelman: A Tour Through Cedar. 181-197

User Interfaces

• B. Friman: MGEN - A Generator for Menu Driven Programs. 198-206
• Tom DeMarco, Aurel Soceneantu: SYNCRO: A Dataflow Command Shell for the Lilith/Modula Computer. 207-213
• Stephen W. Draper, Donald A. Norman: Software Engineering for User Interfaces. 214-221

Reliability and Complexity Measures I

• Ramadan Moawad: Comparison of Concurrent Software Reliability Models. 222-229
• John D. Musa, Kazuhira Okumoto: A Logarithmic Poisson Execution Time Model for Software Reliability Measurement. 230-238
• Kuo-Chung Tai: A Program Complexity Metric Based on Data Flow Information in Control Graphs. 239-249

Testing

• Simeon C. Ntafos: An Evaluation of Required Element Testing Strategies. 250-256
• Steven J. Zeil: Perturbation Testing for Computation Errors. 257-265
• Michael A. Hennell, David Hedley, I. J. Riddell: Assessing a Class of Software Tools. 266-277
• Ira R. Forman: An Algebra for Data Flow Anomaly Detection. 278-287

Reliability and Complexity Measures II

• James L. Elshoff: Characteristic Program Complexity Measures. 288-293
• T. J. Emerson: A Discriminant Metric for Module Cohersion. 294-303
• A. Schroeder: Integrated Program Measurement and Documentation Tools. 304-313
• John Beane, N. Giddings, J. Silverman: Quantifying Software Designs. 314-323

Editors

• Steven P. Reiss: PECAN: Program Development Systems That Support Multiple Views. 323-333
• Ted J. Biggerstaff, D. M. Endres, Ira R. Forman: TABLE: Object Oriented Editing of Complex Structures. 334-345
• Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese: Practical Applications of a Syntax Directed Program Manipulation Environment. 346-357

Knowledge-Based Software Enginerring

• G. Fischer, M. Schneider: Knowledge-Based Communication Processes in Software Engineering. 358-368
• W. Lewis Johnson, Elliot Soloway: PROUST: Knowledge-Based Program Understanding. 369-380
• Daniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune: A Knowledge Base for Supporting and Intelligent Program Editor. 381-387

Design Methods

• Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan: The Data Transform Programming Metho: An Example for File Processing Problems. 388-397
• A. G. Duncan, J. S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard: Communication System Design Using Ada. 398-407
• David Lorge Parnas, Paul C. Clements, David M. Weiss: The Modular Structure of Complex Systems. 408-419

Formal Specifications

• Rudi Studer: Abstract Models of Dialogue Concepts. 420-429
• G. B. Clemmensen, Ole N. Oest: Formal Specification and Development of an Ada Compiler - A VDM Case Study. 430-440
• Susan L. Gerhart: Application of Axiomatic Methods to a Specification Analyser. 441-453

Programming Methodologies

• W. J. Rogers: A New Program Structure to Improve Accuracy and Readability of Pascal Software. 454-462
• Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami: Functional Programming and Logical Programming for the Telegram Analysis Problem. 463-472
• Barry W. Boehm, Terence E. Gray, Thomas Seewaldt: Prototyping vs. Specifying: A Multi-Project Experiment. 473-485

Verification

• S.-C. Chyou: Structure Charts and Program Correctness Proofs. 486-498
• Ali Mili, Jules Desharnais: A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods. 499-509
• Pierre Azéma, G. Juandle, E. Sanchis, M. Montbernard: Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets. 510-519

Development Models and Methods

• H. Hozumi, Y. Sekine, H. Ejima: A Method of Large-Scale Software Development. 520-527
• T. S. E. Maibaum, Wladyslaw M. Turski: On What Exactly Is Going On When Software Is Developed Step-by-Step. 528-533
• Bruce I. Blum: Three Paradigms for Developing Information Systems. 534-544