Skip to main content
SpringerLink
Log in
Book cover

ESEC '91

3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Axel Lamsweerde
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alfonso Fugetta
    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 550)

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 (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Software configuration management: Past uses and future challenges

    • Stuart I. Feldman
    Pages 1-6

  3. Architectural design for user interfaces

    • Joëlle Coutaz
    Pages 7-22

  4. The Eureka Software Factory: Concepts and accomplishments

    • Christer Fernström
    Pages 23-36

  5. Integrating structured and formal methods: A visual approach to VDM

    • Jeremy Dick, Jérôme Loubersac
    Pages 37-59

  6. Rational design of distributed applications

    • Thierry Cattel
    Pages 60-79

  7. Test data selection from algebraic specifications: Application to an automatic subway module

    • Pierre Dauchy, Bruno Marre
    Pages 80-100

  8. Specification in COLD-1 of a CAD package for drawing shadow masks

    • F. J. van der Linden
    Pages 101-121

  9. ASTRAL: An assertion language for specifying realtime systems

    • Carlo Ghezzi, Richard A. Kemmerer
    Pages 122-146

  10. Execution environment for ELECTRE applications

    • Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach et al.
    Pages 147-165

  11. An engineering approach to hard real-time system design

    • H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, W. Schütz
    Pages 166-188

  12. An application of artificial intelligence to prototyping process in performance design for real-time systems

    • Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh
    Pages 189-209

  13. Dynamically Replaceable Software: A design method

    • Jorge Amador, Belén de Vicente, Alejandro Alonso
    Pages 210-228

  14. Software merge: Models and methods for combining changes to programs

    • Valdis Berzins
    Pages 229-250

  15. A theory for software design extraction

    • Ben A. Sijtsma, Joseph W. L. J. Mager
    Pages 251-265

  16. SESADA: An environment supporting software specialization

    • Alberto Coen-Porisini, Flavio De Paoli
    Pages 266-289

  17. Metric-driven classification analysis

    • Richard W. Selby, R. Kent Madsen
    Pages 290-307

  18. A dynamic failure model for predicting the impact that a program location has on the program

    • Jeffrey Voas
    Pages 308-331

  19. Relation between source code metrics and structure analysis metrics

    • Ivan Rozman, József Györkös, Tomaž DogÅ¡a
    Pages 332-342

  20. Algebraic validation of software metrics

    • Martin Shepperd, Darrel Ince
    Pages 343-363
Back to top

Keywords

About this book

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation