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

Software Engineering - ESEC '95

5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings

Editors:

  1. Wilhelm Schäfer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pere Botella
    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 989)

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

  1. Front Matter

    PDF

  3. Why we need object databases

    • François Bancilhon
    Pages 3-4

  4. A personal commitment to software quality

    • Watts S. Humphrey
    Pages 5-7

  6. Improvise: Interactive multimedia process visualization environment

    • Naser S. Barghouti, Eleftherios Koutsofios, Edith Cohen
    Pages 28-43

  7. Design process improvement case study using process waiver data

    • Lawrence G. Votta, Mary L. Zajac
    Pages 44-58

  8. Using a symbolic model checker for verify safety properties in SA/RT models

    • Javier Tuya, Luciano Sánchez, Jose A. Corrales
    Pages 59-75

  9. Instrumentation of Synchronous Reactive Models for performance engineering

    • Alberto Valderruten Vidal, Manuel Vilares Ferro, Jorge Graña Gil
    Pages 76-89

  10. A formal framework for ASTRAL inter-level proof obligations

    • Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
    Pages 90-108

  11. An objective reuse metric: Model and methodology

    • Yih -Farn Chen, Balachander Krishnamurthy, Kiem -Phong Vo
    Pages 109-123

  12. Measuring product attributes of object-oriented systems

    • Martin Hitz, Behzad Montazeri
    Pages 124-136

  13. Specifying distributed software architectures

    • Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
    Pages 137-153

  14. A specification-based methodology for testing concurrent programs

    • Kuo-Chung Tai, Richard H. Carver
    Pages 154-172

  15. Dynamic configuration abstraction

    • Ian Warren, Ian Sommerville
    Pages 173-190

  16. Handling version sets through feature logic

    • Andreas Zeller, Gregor Snelting
    Pages 191-204

  17. Integrating incremental analysis with version management

    • Tim A. Wagner, Susan L. Graham
    Pages 205-218

  18. Graph grammar engineering with PROGRES

    • Andy Schürr, Andreas J. Winter, Albert Zündorf
    Pages 219-234
Back to top

About this book

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.
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