7. ICSE 1984: Orlando, Florida, USA

Proceedings, 7th International Conference on Software Engineering, March 26-29, 1984, Orlando, Florida. IEEE Computer Society, ISBN 0-8186-0528-6

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

Last update Tue Feb 14 04:02:38 2012 CET by the DBLP Team —

This material is Open Data

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