Abstract is missing.
- SADL: A Software Development Environment for Software Specification, Design and ProgrammingFernand Poncet. 3-11
- PantaPM: An Integrated Software Development EnvironmentHeinz Oswald. 12-20
- Development of a Programming Environment for SetlVéronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean. 21-32
- Configuration Management in an Open EnvironmentYves Bernard, M. Lacroix, Pierre Lavency, M. Vanhoedenaghe. 35-43
- Software Management Constraints and Action Triggering in the Adele Program DatabaseNoureddine Belkhatir, Jacky Estublier. 44-54
- Enhancing Configuration Facilities in Software Development: A Logic ApproachPatrizia Asirelli, Paola Inverardi. 55-63
- Delta Technique and String-to-String CorrectionWolfgang Obst. 64-68
- ASDL - An Object-Oriented Specification Language for Syntax-Directed EnvironmentsMarie-Luise Christ-Neumann, Heinz W. Schmidt. 71-79
- A Hybrid Interpreter in a Software Development EnvironmentGregor Engels, Andy Schürr. 80-88
- Software Design Automation in an IPSEStephen Beer, Ian Sommerville. 89-97
- Knowledge-based Editors for Directed GraphsWalter F. Tichy, Frances J. Newbery. 101-109
- A User Interface Design ToolDavid England. 110-117
- Interaction Models and the Principled Design of Interactive SystemsAlan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby. 118-126
- The Eclipse Two-Tier Database InterfaceJohn Cartmell, Albert Alderson. 129-137
- Ten15: An Abstract Machine for Portable EnvironmentsIan F. Currie, J. M. Foster, P. W. Core. 138-148
- Using Data Flow Specifications and Interactive Editing in the Operating System User InterfaceGerd Szwillus. 149-157
- Formalising Reconstructuring Operators in a Specification ProcessEric Dubois, Nicole Lévy, Jeanine Souquières. 161-171
- Formal Specifications, Prototyping and Integration TestsChristine Choppy. 172-179
- On the Specification of Real-Time Systems Using Logic ProgrammingFranca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti. 180-190
- A Property-Based Method for Selecting Among Multiple Implementations of ModulesChristian S. Collberg, Magnus G. Krampell. 193-201
- SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management SystemsR. C. Allen. 202-211
- Analyzing Software Reuse at the Project and Module Design LevelsRichard W. Selby. 212-220
- EIFFEL: Object-Oriented Design for Software EngineeringBertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo. 221-229
- The Dependability Approach to Critical Computing SystemsJean-Claude Laprie. 233-243
- Automated Testing Techniques for Real-Time Embedded SoftwareMichael A. Hennell, David Hedley, I. J. Riddell. 244-253
- TRICS: A Testing Tool for CBarbara Raither, Leon J. Osterweil. 254-262
- Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 ProgramsReidar Conradi. 263-275
- SPECIF-X: A Tool for CASEMichel Lissandre, Bernard De Vaulx. 279-287
- ProMod at the Age of 5Peter Hruschka. 288-296
- Formal Specification of Graphical Notations and Graphical Software ToolsS. Hekmatpour, Mark Woodman. 297-305
- High Level Interpretaton of Execution Traces of Ada TasksJean-François Caillet, Christian Bonnet, Barbara Raither. 309-317
- A Software Development Environment for AdaMalcolm K. Crowe, Clark Nicol, Martin E. Corr, John W. Oram, David G. Jenkins. 318-326
- An Executon Environment for the Formal Definiton of AdaAlessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari. 327-335
- Automatic Program Synthesis from Data StructuresDaniel Enselme, Gérard Benay, F.-Y. Villemin. 339-347
- A Set of Tools supporting the Software Design Based on SDLHans Günter Tempel. 348-356
- Translation between Pragmatic Software Development MethodsW. J. Black, Alistair G. Sutcliffe, Pericles Loucopoulos, Paul J. Layzell. 357-365
- The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering EnvironmentChristoph Knabe. 369-376
- Requirements Analysis for a Database Administration Support EnvironmentH. M. Robinson, J. M. Emms. 377-386
- FORTUNE - A Documentation Support System for Software EngineersDouglas Mullin. 387-395
- Strengths and Weaknesses of Program Verification SystemsDan Craigen. 396-404