Howard K. Nichols, Dan Simpson
Proceedings of the First European Software Engineering Conference
ESEC, 1987.

@proceedings{ESEC-1987,
	address       = "Strasbourg, France",
	editor        = "Howard K. Nichols and Dan Simpson",
	isbn          = "3-540-18712-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First European Software Engineering Conference}",
	volume        = 289,
	year          = 1987,
}

Contents (40 items)

9 ×#named
7 ×#design
7 ×#development
7 ×#specification
4 ×#automation
3 ×#ada
3 ×#approach
3 ×#database
3 ×#re-engineering
3 ×#realtime

ESEC-1987-Poncet #design #development #named #programming #specification

SADL: A Software Development Environment for Software Specification, Design and Programming (FP), pp. 3–11.

ESEC-1987-Oswald #development #named

PantaPM: An Integrated Software Development Environment (HO), pp. 12–20.

ESEC-1987-Donzeau-GougeDFJ #development #programming

Development of a Programming Environment for Setl (VDG, CD, PF, FJ), pp. 21–32.

ESEC-1987-BernardLLV #configuration management

Configuration Management in an Open Environment (YB, ML, PL, MV), pp. 35–43.

ESEC-1987-BelkhatirE #constraints #database

Software Management Constraints and Action Triggering in the Adele Program Database (NB, JE), pp. 44–54.

ESEC-1987-AsirelliI #approach #development #logic

Enhancing Configuration Facilities in Software Development: A Logic Approach (PA, PI), pp. 55–63.

ESEC-1987-Obst #string

Delta Technique and String-to-String Correction (WO), pp. 64–68.

ESEC-1987-Christ-NeumannS #named #object-oriented #specification

ASDL — An Object-Oriented Specification Language for Syntax-Directed Environments (MLCN, HWS), pp. 71–79.

ESEC-1987-EngelsS #development #hybrid #interpreter

A Hybrid Interpreter in a Software Development Environment (GE, AS), pp. 80–88.

ESEC-1987-BeerS #automation #design

Software Design Automation in an IPSE (SB, IS), pp. 89–97.

ESEC-1987-TichyN #editing #graph #knowledge-based

Knowledge-based Editors for Directed Graphs (WFT, FJN), pp. 101–109.

ESEC-1987-England #design #user interface

A User Interface Design Tool (DE), pp. 110–117.

ESEC-1987-DixHRT #design #interactive #modelling

Interaction Models and the Principled Design of Interactive Systems (AJD, MDH, CR, HWT), pp. 118–126.

ESEC-1987-CartmellA #database #eclipse #interface

The Eclipse Two-Tier Database Interface (JC, AA), pp. 129–137.

ESEC-1987-CurrieFC #automaton #named

Ten15: An Abstract Machine for Portable Environments (IFC, JMF, PWC), pp. 138–148.

ESEC-1987-Szwillus #data flow #editing #interactive #operating system #specification #user interface #using

Using Data Flow Specifications and Interactive Editing in the Operating System User Interface (GS), pp. 149–157.

ESEC-1987-DuboisLS #formal method #process #specification

Formalising Reconstructuring Operators in a Specification Process (ED, NL, JS), pp. 161–171.

ESEC-1987-Choppy #integration #prototype #specification #testing

Formal Specifications, Prototyping and Integration Tests (CC), pp. 172–179.

ESEC-1987-GarzottoGMM #logic programming #on the #realtime #specification #using

On the Specification of Real-Time Systems Using Logic Programming (FG, CG, DM, AM), pp. 180–190.

ESEC-1987-CollbergK #implementation #multi

A Property-Based Method for Selecting Among Multiple Implementations of Modules (CSC, MGK), pp. 193–201.

ESEC-1987-Allen #approach #data transformation #distributed #named #re-engineering #realtime

SOFTBUS — An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems (RCA), pp. 202–211.

ESEC-1987-Selby #design #reuse

Analyzing Software Reuse at the Project and Module Design Levels (RWS), pp. 212–220.

ESEC-1987-MeyerNM #design #eiffel #named #object-oriented #re-engineering

EIFFEL: Object-Oriented Design for Software Engineering (BM, JMN, MM), pp. 221–229.

ESEC-1987-Laprie #approach #dependence

The Dependability Approach to Critical Computing Systems (JCL), pp. 233–243.

ESEC-1987-HennellHR #automation #embedded #realtime #testing

Automated Testing Techniques for Real-Time Embedded Software (MAH, DH, IJR), pp. 244–253.

ESEC-1987-RaitherO #c #named #testing

TRICS: A Testing Tool for C (BR, LJO), pp. 254–262.

ESEC-1987-Conradi #documentation #experience #fault #fortran #source code #verification

Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs (RC), pp. 263–275.

ESEC-1987-LissandreV #automation #named

SPECIF-X: A Tool for CASE (ML, BDV), pp. 279–287.

ESEC-1987-Hruschka

ProMod at the Age of 5 (PH), pp. 288–296.

ESEC-1987-HekmatpourW #specification #tool support #visual notation

Formal Specification of Graphical Notations and Graphical Software Tools (SH, MW), pp. 297–305.

ESEC-1987-CailletBR #ada #execution

High Level Interpretaton of Execution Traces of Ada Tasks (JFC, CB, BR), pp. 309–317.

ESEC-1987-CroweNCOJ #ada #development

A Software Development Environment for Ada (MKC, CN, MEC, JWO, DGJ), pp. 318–326.

ESEC-1987-FantechiGIM #ada

An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.

ESEC-1987-EnselmeBV #automation #data type #synthesis

Automatic Program Synthesis from Data Structures (DE, GB, FYV), pp. 339–347.

ESEC-1987-Tempel #design #set #tool support

A Set of Tools supporting the Software Design Based on SDL (HGT), pp. 348–356.

ESEC-1987-BlackSLL #development

Translation between Pragmatic Software Development Methods (WJB, AGS, PL, PJL), pp. 357–365.

ESEC-1987-Knabe #exception #fault #industrial #re-engineering #safety

The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.

ESEC-1987-RobinsonE #analysis #database #requirements

Requirements Analysis for a Database Administration Support Environment (HMR, JME), pp. 377–386.

ESEC-1987-Mullin #documentation #named

FORTUNE — A Documentation Support System for Software Engineers (DM), pp. 387–395.

ESEC-1987-Craigen #verification

Strengths and Weaknesses of Program Verification Systems (DC), pp. 396–404.