Skip to main content
SpringerLink
Log in

Software Engineering - ESEC '93

4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Ian Sommerville
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manfred Paul
    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 717)

Included in the following conference series:

Conference proceedings info: ESEC 1993.

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

  1. Front Matter

    Download chapter PDF

  2. On the decline of classical programming

    • J. N. Buxton
    Pages 1-9

  3. Computers are not omnipotent

    • David Harel
    Pages 10-10

  4. Real-time systems: A survey of approaches to formal specification and verification

    • Carlo Ghezzi, Miguel Felder, Carlo Bellettini
    Pages 11-36

  5. Software engineering in business and academia: How wide is the gap?

    • Ernst Denert
    Pages 37-47

  6. Software faults in evolving a large, real-time system: a case study

    • Dewayne E. Perry, Carol S. Stieg
    Pages 48-67

  7. The Experience Factory and its relationship to other Improvement Paradigms

    • Victor R. Basili
    Pages 68-83

  8. Inconsistency handling in multi-perspective specifications

    • A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, B. Nuseibeh
    Pages 84-99

  9. Requirements engineering: An integrated view of representation, process, and domain

    • Matthias Jarke, Klaus Pohl, Stephan Jacobs, Janis Bubenko, Petia Assenova, Peter Holm et al.
    Pages 100-114

  10. Making changes to formal specifications: Requirements and an example

    • David W. Bustard, Adam C. Winstanley
    Pages 115-126

  11. Formal requirements made practical

    • J. Hagelstein, D. Roelants, P. Wodon
    Pages 127-144

  12. Databases for software engineering environments

    • Wolfgang Emmerich, Wilhelm Schäfer, Jim Welsh
    Pages 145-162

  13. A regression testing database model

    • Lulu Liu, David J. Robson, Rod Ellis
    Pages 163-174

  14. Experiences with a federated environment testbed

    • Alan W. Brown, Edwin J. Morris, Paul F. Zarrella, Fred W. Long, W. Michael Caldwell
    Pages 175-196

  15. Observations on object management systems and process support in environments

    • Ian Thomas
    Pages 197-212

  16. Software technology for a distributed telecommunication system

    • Harald Eggers
    Pages 213-225

  17. Industrial software development — a case study

    • Ulf Cederling
    Pages 226-237

  18. Quantitative approach to software management: the ami method

    • Annie Kuntzmann-Combelles
    Pages 238-250

  19. Preventative software engineering

    • Johannes Reichardt
    Pages 251-262

  20. Distributed information systems: An advanced methodology

    • Alfred Aue, Michael Breu
    Pages 263-282
Back to top

Other volumes

  1. Software Engineering — ESEC '93

Keywords

About this book

This volume contains the proceedings of the fourth European Software Engineering Conference. It contains 6 invited papers and 27 contributed papers selected from more than 135 submissions. The volume has a mixtureof themes. Some, such as software engineering and computer supported collaborative work, are forward-looking and anticipate future developments; others, such as systems engineering, are more concerned with reports of practical industrial applications. Some topics, such as software reuse, reflect the fact that some of the concerns first raised in 1969 when software engineering was born remain unsolved problems. The contributed papers are organized under the following headings: requirements specification, environments, systems engineering, distributed software engineering, real-time systems, software engineering and computer supported collaborative work, software reuse, software process, and formal aspects of software engineering.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation