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
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
K. Chong ,
P. Hsia :
Diagnostic System for Distributed Software: A Relational Database Approach.
30-43
Distributed Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Krithi Ramamritham :
Resource Controller Tasks in Ada: Their Structure and Semantics.
67-77
Management Issues
export record as
dblp key:
Joseph C. Spicer :
A Spiral Approach to Software Engineering Project Management Education.
78-85
export record as
dblp key:
K. Uemura ,
M. Ohori :
A Cooperative Approach to Software Development by Application Engineers and Software Engineers.
86-96
export record as
dblp key:
Bill Curtis :
Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive Science.
97-107
Programming Environments I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Cost and Productivity Measures
export record as
dblp key:
export record as
dblp key:
conf/icse/VosburghCWAMHL84
export record as
dblp key:
Programming Environments II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
User Interfaces
export record as
dblp key:
B. Friman :
MGEN - A Generator for Menu Driven Programs.
198-206
export record as
dblp key:
export record as
dblp key:
Reliability and Complexity Measures I
export record as
dblp key:
Ramadan Moawad :
Comparison of Concurrent Software Reliability Models.
222-229
export record as
dblp key:
export record as
dblp key:
Kuo-Chung Tai :
A Program Complexity Metric Based on Data Flow Information in Control Graphs.
239-249
Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ira R. Forman :
An Algebra for Data Flow Anomaly Detection.
278-287
Reliability and Complexity Measures II
export record as
dblp key:
export record as
dblp key:
T. J. Emerson :
A Discriminant Metric for Module Cohersion.
294-303
export record as
dblp key:
A. Schroeder :
Integrated Program Measurement and Documentation Tools.
304-313
export record as
dblp key:
Editors
export record as
dblp key:
Steven P. Reiss :
PECAN: Program Development Systems That Support Multiple Views.
323-333
export record as
dblp key:
conf/icse/BiggerstaffEF84
export record as
dblp key:
conf/icse/Donzeau-GougeLM84
Knowledge-Based Software Enginerring
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Design Methods
export record as
dblp key:
export record as
dblp key:
conf/icse/DuncanHBCFKMMS84
export record as
dblp key:
Formal Specifications
export record as
dblp key:
Rudi Studer :
Abstract Models of Dialogue Concepts.
420-429
export record as
dblp key:
export record as
dblp key:
Susan L. Gerhart :
Application of Axiomatic Methods to a Specification Analyser.
441-453
Programming Methodologies
export record as
dblp key:
W. J. Rogers :
A New Program Structure to Improve Accuracy and Readability of Pascal Software.
454-462
export record as
dblp key:
export record as
dblp key:
Verification
export record as
dblp key:
S.-C. Chyou :
Structure Charts and Program Correctness Proofs.
486-498
export record as
dblp key:
Ali Mili ,
Jules Desharnais :
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods.
499-509
export record as
dblp key:
Development Models and Methods
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bruce I. Blum :
Three Paradigms for Developing Information Systems.
534-544