![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
1st ESEC 1987: Strasbourg, France
- Howard K. Nichols, Dan Simpson:
ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Lecture Notes in Computer Science 289, Springer 1987, ISBN 3-540-18712-X
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.