


default search action
2nd ESEC 1989: Warwick, Coventry, UK
- Carlo Ghezzi, John A. McDermid:

ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, ISBN 3-540-51635-2
Keynote Paper
- Barry W. Boehm:

Software Risk Management. 1-19
Invited Papers
- Martin Wirsing, Rolf Hennicker, Robert Stabl:

MENU - An Example for the Systematic Reuse of Specifications. 20-41 - Martyn Thomas:

Asking for the Impossible: The State of the Art in Safety-Related Systems. 42-47 - Christiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt:

STEPS to Software Development with Users. 48-64
Measurement
- H. Dieter Rombach:

The Role of Measurement in ISEEs. 65-85 - Darrel C. Ince:

Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric. 86-99
Software Processes Modelling
- Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer:

Systematic Development of Formal Software Process Models. 100-117 - Pasquale Armenise:

Software Process Machines: A Framework for Future Software Development Environments. 118-139
Practical Experience with Formal Methods
- John Wordsworth:

Practical Experience of Formal Specification: A Programming Interface for Communications. 140-158 - Mark T. Norris, Sinclair Guillaume Stockman:

Industrialising Formal Methods for Telecommunications. 159-175
Software Configuration Management
- Daniele Nardi

, Marco Tucci:
An Application of the Event Calculus for Representing the History of a Software Project. 176-190 - Anund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager:

Change Oriented Versioning. 191-202 - Rolf Adams, Annette Weinert, Walter F. Tichy:

Software Change Dynamics or Half of all Ada Compilations are Redundant. 203-221 - Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas:

Version Management in the PACT Integrated Software Engineering Environment. 222-242
Formal Approaches
- Alan J. Dix:

Software Engineering Implications for Formal Refinement. 243-259 - R. N. Shutt:

A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. 260-291 - Robert B. France, Thomas W. G. Docker:

Formal Specification Using Structured Systems Analysis. 293-310
Tools and Environments
- M. Lacroix, M. Vanhoedenaghe:

Tool Integration in an Open Environment. 311-323 - Michael Fastenbauer, Heinz Saria:

HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. 324-335 - Herbert Göttler:

Graph Grammars, a new Paradigm for Implementing Visual Languages. 336-350
Software Metrics
- Margaret Myers:

Structural Modelling of Prolog for Metrication. 351-375 - Hans-Ludwig Hausen:

Rule-Based Handling of Software Quality and Productivity Models. 376-394
Requirements Engineering
- F. Manfredi, G. Orlando, P. Tortorici:

An Object-oriented Approach to the System Analysis. 395-410 - Celso Niskier, T. S. E. Maibaum, Daniel Schwabe

:
A Pluralistic Knowledge-Based Approach to Software Specification. 411-423 - Marco Baldassari, Giorgio Bruno, Vincenzo Russi, Roberto Zompi:

PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems. 424-445
Analysis and Validation
- Eugene H. Spafford:

The Internet Worm Incident. 446-468 - Sandro Morasca, Mauro Pezzè:

Validation of Concurrent ADA Programs using Symbolic Execution. 469-486 - R. Lewis, D. W. Beck, J. Hartmann:

Assay - A Tool to Support Regression Testing. 487-496

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














