Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

1st ESEC 1987: Strasbourg, France

> Home > Conferences and Workshops > ESEC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esec/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/1987
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

- view
  authority control:
- export record
  dblp key:
  - conf/esec/Poncet87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Poncet87
Fernand Poncet:
SADL: A Software Development Environment for Software Specification, Design and Programming. 3-11
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Oswald87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Oswald87
Heinz Oswald:
PantaPM: An Integrated Software Development Environment. 12-20
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Donzeau-GougeDFJ87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Donzeau-GougeDFJ87
Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean:
Development of a Programming Environment for Setl. 21-32

II Configuration Management

- view
  authority control:
- export record
  dblp key:
  - conf/esec/BernardLLV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/BernardLLV87
Yves Bernard, M. Lacroix, Pierre Lavency, M. Vanhoedenaghe:
Configuration Management in an Open Environment. 35-43
- view
  authority control:
- export record
  dblp key:
  - conf/esec/BelkhatirE87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/BelkhatirE87
Noureddine Belkhatir, Jacky Estublier:
Software Management Constraints and Action Triggering in the Adele Program Database. 44-54
- view
  authority control:
- export record
  dblp key:
  - conf/esec/AsirelliI87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/AsirelliI87
Patrizia Asirelli, Paola Inverardi:
Enhancing Configuration Facilities in Software Development: A Logic Approach. 55-63
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Obst87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Obst87
Wolfgang Obst:
Delta Technique and String-to-String Correction. 64-68

III The Internals of Environments: The Bones

- view
  authority control:
- export record
  dblp key:
  - conf/esec/Christ-NeumannS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Christ-NeumannS87
Marie-Luise Christ-Neumann, Heinz W. Schmidt:
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. 71-79
- view
  authority control:
- export record
  dblp key:
  - conf/esec/EngelsS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/EngelsS87
Gregor Engels, Andy Schürr:
A Hybrid Interpreter in a Software Development Environment. 80-88
- view
  authority control:
- export record
  dblp key:
  - conf/esec/BeerS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/BeerS87
Stephen Beer, Ian Sommerville:
Software Design Automation in an IPSE. 89-97

IV The User Interface

- view
  authority control:
- export record
  dblp key:
  - conf/esec/TichyN87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/TichyN87
Walter F. Tichy, Frances J. Newbery:
Knowledge-based Editors for Directed Graphs. 101-109
- view
  authority control:
- export record
  dblp key:
  - conf/esec/England87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/England87
David England:
A User Interface Design Tool. 110-117
- view
  authority control:
- export record
  dblp key:
  - conf/esec/DixHRT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/DixHRT87
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

- view
  authority control:
- export record
  dblp key:
  - conf/esec/CartmellA87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/CartmellA87
John Cartmell, Albert Alderson:
The Eclipse Two-Tier Database Interface. 129-137
- view
  authority control:
- export record
  dblp key:
  - conf/esec/CurrieFC87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/CurrieFC87
Ian F. Currie, J. M. Foster, P. W. Core:
Ten15: An Abstract Machine for Portable Environments. 138-148
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Szwillus87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Szwillus87
Gerd Szwillus:
Using Data Flow Specifications and Interactive Editing in the Operating System User Interface. 149-157

VI Formal Specification

- view
  authority control:
- export record
  dblp key:
  - conf/esec/DuboisLS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/DuboisLS87
Eric Dubois, Nicole Lévy, Jeanine Souquières:
Formalising Reconstructuring Operators in a Specification Process. 161-171
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Choppy87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Choppy87
Christine Choppy:
Formal Specifications, Prototyping and Integration Tests. 172-179
- view
  authority control:
- export record
  dblp key:
  - conf/esec/GarzottoGMM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/GarzottoGMM87
Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming. 180-190

VII Re-Use

- view
  authority control:
- export record
  dblp key:
  - conf/esec/CollbergK87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/CollbergK87
Christian S. Collberg, Magnus G. Krampell:
A Property-Based Method for Selecting Among Multiple Implementations of Modules. 193-201
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Allen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Allen87
R. C. Allen:
SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems. 202-211
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Selby87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Selby87
Richard W. Selby:
Analyzing Software Reuse at the Project and Module Design Levels. 212-220
- view
  authority control:
- export record
  dblp key:
  - conf/esec/MeyerNM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/MeyerNM87
Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo:
EIFFEL: Object-Oriented Design for Software Engineering. 221-229

VII Validation

- view
  authority control:
- export record
  dblp key:
  - conf/esec/Laprie87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Laprie87
Jean-Claude Laprie:
The Dependability Approach to Critical Computing Systems. 233-243
- view
  authority control:
- export record
  dblp key:
  - conf/esec/HennellHR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/HennellHR87
Michael A. Hennell, David Hedley, I. J. Riddell:
Automated Testing Techniques for Real-Time Embedded Software. 244-253
- view
  authority control:
- export record
  dblp key:
  - conf/esec/RaitherO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/RaitherO87
Barbara Raither, Leon J. Osterweil:
TRICS: A Testing Tool for C. 254-262
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Conradi87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Conradi87
Reidar Conradi:
Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs. 263-275

IX Arrows, Boxes, Circles (1)

- view
  authority control:
- export record
  dblp key:
  - conf/esec/LissandreV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/LissandreV87
Michel Lissandre, Bernard De Vaulx:
SPECIF-X: A Tool for CASE. 279-287
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Hruschka87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Hruschka87
Peter Hruschka:
ProMod at the Age of 5. 288-296
- view
  authority control:
- export record
  dblp key:
  - conf/esec/HekmatpourW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/HekmatpourW87
Sharam Hekmatpour, Mark Woodman:
Formal Specification of Graphical Notations and Graphical Software Tools. 297-305

X Tools for ADA

- view
  authority control:
- export record
  dblp key:
  - conf/esec/CailletBR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/CailletBR87
Jean-François Caillet, Christian Bonnet, Barbara Raither:
High Level Interpretaton of Execution Traces of Ada Tasks. 309-317
- view
  authority control:
- export record
  dblp key:
  - conf/esec/CroweNCOJ87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/CroweNCOJ87
Malcolm K. Crowe, Clark Nicol, Martin E. Corr, John W. Oram, David G. Jenkins:
A Software Development Environment for Ada. 318-326
- view
  authority control:
- export record
  dblp key:
  - conf/esec/FantechiGIM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/FantechiGIM87
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. 327-335

XI Arrow, Boxes, Circles (2)

- view
  authority control:
- export record
  dblp key:
  - conf/esec/EnselmeBV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/EnselmeBV87
Daniel Enselme, Gérard Benay, F.-Y. Villemin:
Automatic Program Synthesis from Data Structures. 339-347
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Tempel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Tempel87
Hans Günter Tempel:
A Set of Tools supporting the Software Design Based on SDL. 348-356
- view
  authority control:
- export record
  dblp key:
  - conf/esec/BlackSLL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/BlackSLL87
W. J. Black, Alistair G. Sutcliffe, Pericles Loucopoulos, Paul J. Layzell:
Translation between Pragmatic Software Development Methods. 357-365

XII Specific Topics

- view
  authority control:
- export record
  dblp key:
  - conf/esec/Knabe87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Knabe87
Christoph Knabe:
The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment. 369-376
- view
  authority control:
- export record
  dblp key:
  - conf/esec/RobinsonE87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/RobinsonE87
H. M. Robinson, J. M. Emms:
Requirements Analysis for a Database Administration Support Environment. 377-386
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Mullin87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Mullin87
Douglas Mullin:
FORTUNE - A Documentation Support System for Software Engineers. 387-395
- view
  authority control:
- export record
  dblp key:
  - conf/esec/Craigen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/Craigen87
Dan Craigen:
Strengths and Weaknesses of Program Verification Systems. 396-404

a service of

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.