Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1989

ESEC '89

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

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)

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    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

  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

  8. Systematic development of formal software process models

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

  11. Industrialising formal methods for telecommunications

    • MT Norris, SG Stockman
    Pages 159-175

  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

  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
Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation