Skip to main content
SpringerLink
Log in

ESEC '89

2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. C. Ghezzi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. J. A. McDermid
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 387)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Software risk management

    • Barry Boehm
    Pages 1-19

  3. MENU - an example for the systematic reuse of specifications

    • Martin Wirsing, Rolf Hennicker, Robert Stabl
    Pages 20-41

  4. Asking for the impossible: The state of the art in safety-related systems

    • Martyn Thomas
    Pages 42-47

  5. STEPS to software development with users

    • Christiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt
    Pages 48-64

  6. The role of measurement in ISEEs

    • H. Dieter Rombach
    Pages 65-85

  7. An empirical and theoretical analysis of an information flow-based system design metric

    • D. C. Ince, M. J. Shepperd
    Pages 86-99

  8. Systematic development of formal software process models

    • Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer
    Pages 100-117

  9. Software process machines: A framework for future software development environments

    • Pasquale Armenise
    Pages 118-139

  10. Practical experience of formal specification: A programming interface for communications

    • John Wordsworth
    Pages 140-158

  11. Industrialising formal methods for telecommunications

    • MT Norris, SG Stockman
    Pages 159-175

  12. An application of the event calculus for representing the history of a software project

    • Daniele Nardi, Marco Tucci
    Pages 176-190

  13. Change oriented versioning

    • Anund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager
    Pages 191-202

  14. Software change dynamics or half of all Ada compilations are redundant

    • Rolf Adams, Annette Weinert, Walter Tichy
    Pages 203-221

  15. Version management in the PACT integrated software engineering environment

    • Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas
    Pages 222-242

  16. Software engineering implications for formal refinement

    • Alan Dix
    Pages 243-259

  17. A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools

    • RN Shutt
    Pages 260-291

  18. Formal specification using structured systems analysis

    • Robert B. France, Thomas W. G. Docker
    Pages 293-310

  19. Tool integration in an open environment

    • M. Lacroix, M. Vanhoedenaghe
    Pages 311-323

  20. HCDM/GSDS — A design environment for real-time software with automatic program generation

    • Michael Fastenbauer, Heinz Saria
    Pages 324-335
Back to top

Keywords

About this book

The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject material and includes some interesting discussions of the transfer of research ideas into industrial practice.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation