↓ Skip to main content

ESEC '89

Overview of attention for book
Cover of 'ESEC '89'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 29 Software risk management
  3. Altmetric Badge
    Chapter 30 MENU - an example for the systematic reuse of specifications
  4. Altmetric Badge
    Chapter 31 Asking for the impossible: The state of the art in safety-related systems
  5. Altmetric Badge
    Chapter 32 STEPS to software development with users
  6. Altmetric Badge
    Chapter 33 The role of measurement in ISEEs
  7. Altmetric Badge
    Chapter 34 An empirical and theoretical analysis of an information flow-based system design metric
  8. Altmetric Badge
    Chapter 35 Systematic development of formal software process models
  9. Altmetric Badge
    Chapter 36 Software process machines: A framework for future software development environments
  10. Altmetric Badge
    Chapter 37 Practical experience of formal specification: A programming interface for communications
  11. Altmetric Badge
    Chapter 38 Industrialising formal methods for telecommunications
  12. Altmetric Badge
    Chapter 39 An application of the event calculus for representing the history of a software project
  13. Altmetric Badge
    Chapter 40 Change oriented versioning
  14. Altmetric Badge
    Chapter 41 Software change dynamics or half of all Ada compilations are redundant
  15. Altmetric Badge
    Chapter 42 Version management in the PACT integrated software engineering environment
  16. Altmetric Badge
    Chapter 43 Software engineering implications for formal refinement
  17. Altmetric Badge
    Chapter 44 A rigorous development strategy using the OBJ specification language and the MALPAS program analysis tools
  18. Altmetric Badge
    Chapter 45 Formal specification using structured systems analysis
  19. Altmetric Badge
    Chapter 46 Tool integration in an open environment
  20. Altmetric Badge
    Chapter 47 HCDM/GSDS — A design environment for real-time software with automatic program generation
  21. Altmetric Badge
    Chapter 48 Graph grammars, a new paradigm for implementing visual languages
  22. Altmetric Badge
    Chapter 49 Structural modelling of Prolog for metrication
  23. Altmetric Badge
    Chapter 50 Rule-based handling of software quality and productivity models
  24. Altmetric Badge
    Chapter 51 An object-oriented approach to the system analysis
  25. Altmetric Badge
    Chapter 52 A pluralistic knowledge-based approach to software specification
  26. Altmetric Badge
    Chapter 53 PROTOB a hierarchical object-oriented CASE tool for distributed systems
  27. Altmetric Badge
    Chapter 54 The internet worm incident
  28. Altmetric Badge
    Chapter 55 Validation of concurrent Ada™ programs using symbolic execution
  29. Altmetric Badge
    Chapter 56 Assay-a tool to support regression testing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
ESEC '89
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-51635-2
ISBNs
978-3-54-051635-4, 978-3-54-046723-6
Editors

Ghezzi, C., McDermid, J. A.

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Student > Bachelor 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Business, Management and Accounting 1 25%
Unknown 1 25%