Skip to main content
SpringerLink
Log in

Software Engineering - ESEC '95

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

  • Conference proceedings
  • © 1995

Overview

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)

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

  1. Front Matter

    Download chapter PDF

  2. Demands and perspectives for future software engineers: An industrial viewpoint

    • Heinz Schwärtzel
    Pages 1-2

  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

  5. Distributed modeling and distributed enaction of business processes

    • Günter Graw, Volker Gruhn
    Pages 8-27

  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

  19. A structured analysis formalism with execution semantics to allow unambiguous model interpretation

    • Craig Gaskell, Roger Phillips
    Pages 235-253

  20. An integrated formal model of scenarios based on statecharts

    • Martin Glinz
    Pages 254-271
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation