↓ Skip to main content

Formal Methods in Software and Systems Modeling

Overview of attention for book
Cover of 'Formal Methods in Software and Systems Modeling'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Concurrent Semantics of Algebraic Graph Grammars
  3. Altmetric Badge
    Chapter 2 From Graph Transformation to Software Engineering and Back
  4. Altmetric Badge
    Chapter 3 Flexible Interconnection of Graph Transformation Modules
  5. Altmetric Badge
    Chapter 4 Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation
  6. Altmetric Badge
    Chapter 5 Graph Processes with Fusions: Concurrency by Colimits, Again
  7. Altmetric Badge
    Chapter 6 Graph Transformation with Variables
  8. Altmetric Badge
    Chapter 7 Graph Transformation in Molecular Biology
  9. Altmetric Badge
    Chapter 8 Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
  10. Altmetric Badge
    Chapter 9 Modules, Brains and Schemas
  11. Altmetric Badge
    Chapter 10 From Conditional Specifications to Interaction Charts
  12. Altmetric Badge
    Chapter 11 Algebraic Properties of Interfaces
  13. Altmetric Badge
    Chapter 12 ∈ T -Integration of Logics
  14. Altmetric Badge
    Chapter 13 Functorial Semantics of Rewrite Theories
  15. Altmetric Badge
    Chapter 14 Expander2
  16. Altmetric Badge
    Chapter 15 Relationships Between Equational and Inductive Data Types
  17. Altmetric Badge
    Chapter 16 Cofree Coalgebras for Signature Morphisms
  18. Altmetric Badge
    Chapter 17 Nested Constraints and Application Conditions for High-Level Structures
  19. Altmetric Badge
    Chapter 18 Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
  20. Altmetric Badge
    Chapter 19 Main Concepts of Networks of Transformation Units with Interlinking Semantics
  21. Altmetric Badge
    Chapter 20 Embeddings and Contexts for Link Graphs
  22. Altmetric Badge
    Chapter 21 Towards Architectural Connectors for UML
  23. Altmetric Badge
    Chapter 22 Loose Semantics of Petri Nets
  24. Altmetric Badge
    Chapter 23 A Formal Framework for the Development of Concurrent Object-Based Systems
  25. Altmetric Badge
    Chapter 24 A Formal Description of the Basic Concepts of System Theory for Transportation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
37 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
Formal Methods in Software and Systems Modeling
Published by
Springer, Berlin, Heidelberg, February 2005
DOI 10.1007/b106390
ISBNs
978-3-54-024936-8, 978-3-54-031847-7
Editors

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 3%
Colombia 1 3%
Germany 1 3%
Unknown 34 92%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 8%
Researcher 3 8%
Student > Ph. D. Student 2 5%
Professor 1 3%
Professor > Associate Professor 1 3%
Other 0 0%
Unknown 27 73%
Readers by discipline Count As %
Computer Science 7 19%
Engineering 2 5%
Agricultural and Biological Sciences 1 3%
Unknown 27 73%