↓ Skip to main content

Fundamental Approaches to Software Engineering

Overview of attention for book
Cover of 'Fundamental Approaches to Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Extreme programming: A humanistic discipline of software development
  3. Altmetric Badge
    Chapter 2 Some mistakes I have and what I have learned from them
  4. Altmetric Badge
    Chapter 3 Specifying and analyzing dynamic software architectures
  5. Altmetric Badge
    Chapter 4 Observational proofs with critical contexts
  6. Altmetric Badge
    Chapter 5 Integrating AORTA with model-based data specification languages
  7. Altmetric Badge
    Chapter 6 Specifying safety-critical embedded systems with statecharts and Z: A case study
  8. Altmetric Badge
    Chapter 7 Specifying embedded systems with statecharts and Z: An agenda for cyclic software components
  9. Altmetric Badge
    Chapter 8 Algebra transformation systems and their composition
  10. Altmetric Badge
    Chapter 9 Navigation expressions in object-oriented modelling
  11. Altmetric Badge
    Chapter 10 Compositional verification of reactive systems specified by graph transformation
  12. Altmetric Badge
    Chapter 11 Reflections on the design of a specification language
  13. Altmetric Badge
    Chapter 12 Constructs, concepts and criteria for reuse in concurrent object-oriented languages
  14. Altmetric Badge
    Chapter 13 Backtracking-free design planning by automatic synthesis in metaframe
  15. Altmetric Badge
    Chapter 14 Model-checking CSP-Z
  16. Altmetric Badge
    Chapter 15 Rule-based refinement of high-level nets preserving safety properties
  17. Altmetric Badge
    Chapter 16 Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms
  18. Altmetric Badge
    Chapter 17 Behaviour analysis and safety conditions: A case study in CML
  19. Altmetric Badge
    Chapter 18 Distributed safety controllers for web services
  20. Altmetric Badge
    Chapter 19 A refinement calculus for statecharts
  21. Altmetric Badge
    Chapter 20 Refining formal specifications of human computer interaction by graph rewrite rules
  22. Altmetric Badge
    Chapter 21 RELVIEW — A system for calculating with relations and relational programming
  23. Altmetric Badge
    Chapter 22 ALBERT: A formal language and its supporting tools for requirements engineering
  24. Altmetric Badge
    Chapter 23 Moby/plc — A design tool for hierarchical real-time automata
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 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
Fundamental Approaches to Software Engineering
Published by
Springer, Berlin, Heidelberg, January 1998
DOI 10.1007/bfb0053578
ISBNs
978-3-54-064303-6, 978-3-54-069723-7
Editors

Egidio Astesiano

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%