Carlo Ghezzi, John A. McDermid
Proceedings of the Second European Software Engineering Conference
ESEC, 1989.

@proceedings{ESEC-1989,
	address       = "Coventry, England, United Kingdom",
	editor        = "Carlo Ghezzi and John A. McDermid",
	isbn          = "3-540-51635-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second European Software Engineering Conference}",
	volume        = 387,
	year          = 1989,
}

Contents (28 items)

5 ×#specification
4 ×#development
4 ×#named
3 ×#analysis
3 ×#modelling
3 ×#using
2 ×#ada
2 ×#approach
2 ×#automation
2 ×#design

ESEC-1989-Boehm #risk management

Software Risk Management (BWB), pp. 1–19.

ESEC-1989-WirsingHS #named #reuse #specification #using

MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.

ESEC-1989-Thomas #state of the art

Asking for the Impossible: The State of the Art in Safety-Related Systems (MT), pp. 42–47.

ESEC-1989-FloydRS #development

STEPS to Software Development with Users (CF, FMR, GS), pp. 48–64.

ESEC-1989-Rombach #metric

The Role of Measurement in ISEEs (HDR), pp. 65–85.

ESEC-1989-Ince #analysis #data flow #design #empirical #metric

Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric (DCI), pp. 86–99.

ESEC-1989-DeitersGS #development #formal method #modelling #process

Systematic Development of Formal Software Process Models (WD, VG, WS), pp. 100–117.

ESEC-1989-Armenise #development #framework #process

Software Process Machines: A Framework for Future Software Development Environments (PA), pp. 118–139.

ESEC-1989-Wordsworth #experience #interface #programming #specification

Practical Experience of Formal Specification: A Programming Interface for Communications (JW), pp. 140–158.

ESEC-1989-NorrisS #formal method

Industrialising Formal Methods for Telecommunications (MTN, SGS), pp. 159–175.

ESEC-1989-NardiT #calculus #representation

An Application of the Event Calculus for Representing the History of a Software Project (DN, MT), pp. 176–190.

ESEC-1989-LieDCKHH #version control

Change Oriented Versioning (AL, TD, RC, EAK, SOH, PH), pp. 191–202.

ESEC-1989-AdamsWT #ada

Software Change Dynamics or Half of all Ada Compilations are Redundant (RA, AW, WFT), pp. 203–221.

ESEC-1989-OquendoBGMT #re-engineering

Version Management in the PACT Integrated Software Engineering Environment (FO, KB, FG, RM, IT), pp. 222–242.

ESEC-1989-Dix #re-engineering #refinement

Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.

ESEC-1989-Shutt #development #program analysis #specification #tool support #using

A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.

ESEC-1989-FranceD #analysis #specification #using

Formal Specification Using Structured Systems Analysis (RBF, TWGD), pp. 293–310.

ESEC-1989-LacroixV #integration #tool support

Tool Integration in an Open Environment (ML, MV), pp. 311–323.

ESEC-1989-FastenbauerS #automation #design #generative #named #realtime

HCDM/GSDS — A Design Environment for Real-time Software with Automatic Program Generation (MF, HS), pp. 324–335.

ESEC-1989-Gottler #graph grammar #implementation #paradigm #visual notation

Graph Grammars, a new Paradigm for Implementing Visual Languages (HG), pp. 336–350.

ESEC-1989-Myers #modelling #prolog

Structural Modelling of Prolog for Metrication (MM), pp. 351–375.

ESEC-1989-Hausen #modelling #quality #rule-based

Rule-Based Handling of Software Quality and Productivity Models (HLH), pp. 376–394.

ESEC-1989-ManfrediOT #analysis #approach #object-oriented

An Object-oriented Approach to the System Analysis (FM, GO, PT), pp. 395–410.

ESEC-1989-NiskierMS #approach #knowledge-based #specification

A Pluralistic Knowledge-Based Approach to Software Specification (CN, TSEM, DS), pp. 411–423.

ESEC-1989-BaldassariBRZ #automation #distributed #named #object-oriented

PROTOB — A Hierarchical Object-Oriented CASE Tool for Distributed Systems (MB, GB, VR, RZ), pp. 424–445.

ESEC-1989-Spafford #internet

The Internet Worm Incident (EHS), pp. 446–468.

ESEC-1989-MorascaP #ada #concurrent #execution #source code #symbolic computation #using #validation

Validation of Concurrent ADA Programs using Symbolic Execution (SM, MP), pp. 469–486.

ESEC-1989-LewisBH #named #testing

Assay — A Tool to Support Regression Testing (RL, DWB, JH), pp. 487–496.