Abstract is missing.
- Error Recovery in Systems of Communicating ProcessesAugusto Ciuffoletti. 6-17
- Exception Handling: Formal Specification and Systematic Program ConstructionMichel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho. 18-29
- Diagnostic System for Distributed Software: A Relational Database ApproachK. Chong, P. Hsia. 30-43
- Multifaceted Distributed Systems Specification Using Processes and Event SynchronizationGruia-Catalin Roman, Mark S. Day. 44-55
- Edmas: A Locally Distributed Mail SystemGuy T. Almes, Andrew P. Black, C. Bunje, D. Wiebe. 56-66
- Resource Controller Tasks in Ada: Their Structure and SemanticsKrithi Ramamritham. 67-77
- Fifteen Years of Psychology in Software Engineering: Individual Differences and Cognitive ScienceBill Curtis. 97-107
- Steps to an Advanced Ada Programming EnvironmentRichard N. Taylor, Thomas A. Standish. 116-125
- MAIDAY: An Environment for Guided ProgrammingJ. Guyard, J.-P. Jacquot. 126-137
- Productivity Factors and Programming EnvironmentsJ. Vosburgh, Bill Curtis, R. Wolverton, B. Albert, H. Malec, S. Hoben, Y. Liu. 143-152
- Interactive System for Structured Program ProductionH. Maezawa, M. Kobayashi, K. Saito, Y. Futamura. 162-171
- A Large System Evaluation of SREMPaul A. Scheffer, Albert H. Stone III, William E. Rzepka. 172-180
- SYNCRO: A Dataflow Command Shell for the Lilith/Modula ComputerTom DeMarco, Aurel Soceneantu. 207-213
- Software Engineering for User InterfacesStephen W. Draper, Donald A. Norman. 214-221
- A Logarithmic Poisson Execution Time Model for Software Reliability MeasurementJohn D. Musa, Kazuhira Okumoto. 230-238
- A Program Complexity Metric Based on Data Flow Information in Control GraphsKuo-Chung Tai. 239-249
- An Evaluation of Required Element Testing StrategiesSimeon C. Ntafos. 250-256
- Perturbation Testing for Computation ErrorsSteven J. Zeil. 257-265
- Assessing a Class of Software ToolsMichael A. Hennell, David Hedley, I. J. Riddell. 266-277
- An Algebra for Data Flow Anomaly DetectionIra R. Forman. 278-287
- Characteristic Program Complexity MeasuresJames L. Elshoff. 288-293
- A Discriminant Metric for Module CohersionT. J. Emerson. 294-303
- Integrated Program Measurement and Documentation ToolsA. Schroeder. 304-313
- Quantifying Software DesignsJohn Beane, N. Giddings, J. Silverman. 314-323
- PECAN: Program Development Systems That Support Multiple ViewsSteven P. Reiss. 323-333
- TABLE: Object Oriented Editing of Complex StructuresTed J. Biggerstaff, D. M. Endres, Ira R. Forman. 334-345
- Practical Applications of a Syntax Directed Program Manipulation EnvironmentVéronique Donzeau-Gouge, Bernard Lang, Bertrand Melese. 346-357
- Knowledge-Based Communication Processes in Software EngineeringG. Fischer, M. Schneider. 358-368
- PROUST: Knowledge-Based Program UnderstandingW. Lewis Johnson, Elliot Soloway. 369-380
- A Knowledge Base for Supporting and Intelligent Program EditorDaniel G. Shapiro, Jeffrey S. Dean, Brian P. McCune. 381-387
- The Data Transform Programming Metho: An Example for File Processing ProblemsCarlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan. 388-397
- Communication System Design Using AdaA. G. Duncan, J. S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard. 398-407
- The Modular Structure of Complex SystemsDavid Lorge Parnas, Paul C. Clements, David M. Weiss. 408-419
- Abstract Models of Dialogue ConceptsRudi Studer. 420-429
- Formal Specification and Development of an Ada Compiler - A VDM Case StudyG. B. Clemmensen, Ole N. Oest. 430-440
- Application of Axiomatic Methods to a Specification AnalyserSusan L. Gerhart. 441-453
- Functional Programming and Logical Programming for the Telegram Analysis ProblemKoji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami. 463-472
- Prototyping vs. Specifying: A Multi-Project ExperimentBarry W. Boehm, Terence E. Gray, Thomas Seewaldt. 473-485
- A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification MethodsAli Mili, Jules Desharnais. 499-509
- Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri NetsPierre Azéma, G. Juandle, E. Sanchis, M. Montbernard. 510-519
- On What Exactly Is Going On When Software Is Developed Step-by-StepT. S. E. Maibaum, Wladyslaw M. Turski. 528-533
- Three Paradigms for Developing Information SystemsBruce I. Blum. 534-544