7. ICSE 1984: Orlando, Florida, USA

Terry A. Straeter, William E. Howden, Jean-Claude Rault (Eds.): Proceedings, 7th International Conference on Software Engineering, Orlando, Florida, USA, March 26-29, 1984. IEEE Computer Society 1984, 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, Nancy Giddings, Jon 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 Sat May 18 18:52:34 2013 CET by the DBLP Team —

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