1. ESEC 1987: Strasbourg, France

I Environments

• Fernand Poncet: SADL: A Software Development Environment for Software Specification, Design and Programming. 3-11
• Heinz Oswald:
  PantaPM: An Integrated Software Development Environment. 12-20
  
• Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean:
  Development of a Programming Environment for Setl. 21-32
  

II Configuration Management

• Yves Bernard, M. Lacroix, Pierre Lavency, M. Vanhoedenaghe:
  Configuration Management in an Open Environment. 35-43
  
• Noureddine Belkhatir, Jacky Estublier:
  Software Management Constraints and Action Triggering in the Adele Program Database. 44-54
  
• Patrizia Asirelli, Paola Inverardi:
  Enhancing Configuration Facilities in Software Development: A Logic Approach. 55-63
  
• Wolfgang Obst:
  Delta Technique and String-to-String Correction. 64-68
  

III The Internals of Environments: The Bones

• Marie-Luise Christ-Neumann, Heinz W. Schmidt:
  ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. 71-79
  
• Gregor Engels, Andy Schürr:
  A Hybrid Interpreter in a Software Development Environment. 80-88
  
• Stephen Beer, Ian Sommerville:
  Software Design Automation in an IPSE. 89-97
  

IV The User Interface

• Walter F. Tichy, Frances J. Newbery:
  Knowledge-based Editors for Directed Graphs. 101-109
  
• David England:
  A User Interface Design Tool. 110-117
  
• Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby:
  Interaction Models and the Principled Design of Interactive Systems. 118-126
  

V The Internals of Environments: The Guts

• John Cartmell, Albert Alderson:
  The Eclipse Two-Tier Database Interface. 129-137
  
• Ian F. Currie, J. M. Foster, P. W. Core:
  Ten15: An Abstract Machine for Portable Environments. 138-148
  
• Gerd Szwillus:
  Using Data Flow Specifications and Interactive Editing in the Operating System User Interface. 149-157
  

VI Formal Specification

• Eric Dubois, Nicole Lévy, Jeanine Souquières:
  Formalising Reconstructuring Operators in a Specification Process. 161-171
  
• Christine Choppy:
  Formal Specifications, Prototyping and Integration Tests. 172-179
  
• Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
  On the Specification of Real-Time Systems Using Logic Programming. 180-190
  

VII Re-Use

• Christian S. Collberg, Magnus G. Krampell:
  A Property-Based Method for Selecting Among Multiple Implementations of Modules. 193-201
  
• R. C. Allen:
  SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems. 202-211
  
• Richard W. Selby:
  Analyzing Software Reuse at the Project and Module Design Levels. 212-220
  
• Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo:
  EIFFEL: Object-Oriented Design for Software Engineering. 221-229
  

VII Validation

• Jean-Claude Laprie:
  The Dependability Approach to Critical Computing Systems. 233-243
  
• Michael A. Hennell, David Hedley, I. J. Riddell:
  Automated Testing Techniques for Real-Time Embedded Software. 244-253
  
• Barbara Raither, Leon J. Osterweil:
  TRICS: A Testing Tool for C. 254-262
  
• Reidar Conradi:
  Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs. 263-275
  

IX Arrows, Boxes, Circles (1)

• Michel Lissandre, Bernard De Vaulx: SPECIF-X: A Tool for CASE. 279-287
• Peter Hruschka:
  ProMod at the Age of 5. 288-296
  
• Sharam Hekmatpour, Mark Woodman:
  Formal Specification of Graphical Notations and Graphical Software Tools. 297-305
  

X Tools for ADA

• Jean-François Caillet, Christian Bonnet, Barbara Raither:
  High Level Interpretaton of Execution Traces of Ada Tasks. 309-317
  
• Malcolm K. Crowe, Clark Nicol, Martin E. Corr, John W. Oram, David G. Jenkins:
  A Software Development Environment for Ada. 318-326
  
• Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
  An Executon Environment for the Formal Definiton of Ada. 327-335
  

XI Arrow, Boxes, Circles (2)

• Daniel Enselme, Gérard Benay, F.-Y. Villemin:
  Automatic Program Synthesis from Data Structures. 339-347
  
• Hans Günter Tempel:
  A Set of Tools supporting the Software Design Based on SDL. 348-356
  
• W. J. Black, Alistair G. Sutcliffe, Pericles Loucopoulos, Paul J. Layzell:
  Translation between Pragmatic Software Development Methods. 357-365
  

XII Specific Topics

• Christoph Knabe:
  The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment. 369-376
  
• H. M. Robinson, J. M. Emms:
  Requirements Analysis for a Database Administration Support Environment. 377-386
  
• Douglas Mullin:
  FORTUNE - A Documentation Support System for Software Engineers. 387-395
  
• Dan Craigen:
  Strengths and Weaknesses of Program Verification Systems. 396-404
  

Last update Fri May 24 18:49:14 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page