Skip to main content
SpringerLink
Log in

Software Engineering - ESEC-FSE '97

6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Mehdi Jazayeri
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Schauer
    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 1301)

Included in the following conference series:

Conference proceedings info: ESEC 1997, SIGSOFT FSE 1997.

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

  1. Front Matter

    Download chapter PDF

  2. Software Engineering: An unconsummated marriage (extended abstract)

    • David Lorge Parnas
    Pages 1-3

  3. Subtypes for specifications

    • John Rushby
    Pages 4-19

  4. Developing multimedia applications with the WinWin Spiral Model

    • Barry Boehm, Alex Egyed, Julie Kwan, Ray Madachy
    Pages 20-39

  5. What we teach sofware engineers in the university: Do we take engineering seriously?

    • TSE Maibaum
    Pages 40-50

  6. What we expect from software engineers in the industry

    • Jürgen Uhl
    Pages 51-51

  7. Security issues in distributed software

    • Richard A. Kemmerer
    Pages 52-59

  8. A framework for classifying and comparing architecture description languages

    • Nenad Medvidovic, Richard N. Taylor
    Pages 60-76

  9. Applying static analysis to software architectures

    • Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
    Pages 77-93

  10. Making design patterns explicit in FACE

    • Theo Dirk Meijler, Serge Demeyer, Robert Engel
    Pages 94-110

  11. TTM15 — a large multi-site improvement project

    • Graham Allen, Leighton Davies, Göran Lindmark, Even-André Karlsson
    Pages 111-124

  12. Change management needs integrated process and configuration management

    • Gregor Joeris
    Pages 125-141

  13. The design of a next-generation process language

    • Stanley M. Sutton Jr., Leon J. Osterweil
    Pages 142-158

  14. Software release management

    • André van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf
    Pages 159-175

  15. A contextual approach for process-integrated tools

    • Klaus Pohl, Klaus Weidenhaupt
    Pages 176-192

  16. Generic fuzzy reasoning nets as a basis for reverse engineering relational database applications

    • Jens H. Jahnke, Wilhelm Schäfer, Albert Zündorf
    Pages 193-210

  17. Providing automated support to deductive analysis of time critical systems

    • Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
    Pages 211-226

  18. Verification of liveness properties using compositional reachability analysis

    • Shing Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
    Pages 227-243

  19. Model checking graphical user interfaces using abstractions

    • Matthew B. Dwyer, Vicki Carr, Laura Hines
    Pages 244-261

  20. Comparing and combining software defect detection techniques: A replicated empirical study

    • Murray Wood, Marc Roper, Andrew Brooks, James Miller
    Pages 262-277
Back to top

Other volumes

  1. Software Engineering — ESEC/FSE'97

Keywords

About this book

This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich, Switzerland in September 1997.
The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. The papers are organized in topical sections on software engineering education, software architecture, processes, configuration and process tools, formal analysis, empirical studies, system modelling, testing, program analysis, and decomposition and distribution.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation