Proceedings of the Second European Software Engineering Conference
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.