↓ Skip to main content
What is this page? Embed badge

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
Attention for Chapter 11: Algebraic Properties of Interfaces
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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.
Chapter title
Algebraic Properties of Interfaces
Chapter number 11
Book title
Formal Methods in Software and Systems Modeling
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/978-3-540-31847-7_11
Book ISBNs
978-3-54-024936-8, 978-3-54-031847-7
Authors

Michael Löwe, Harald König, Christoph Schulz

View on publisher site
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 %
Unknown 1 100%

Demographic breakdown

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

This page is provided by Altmetric.