Architectural Specifications: Modeling and Structuring Behavior Through Rules

This publication has 17 references indexed in Scilit:

• An Overview of Larch/C++: Behavioral Specifications for C++ Modules
  Published by Springer Nature ,2007
• Introducing OBJ
  Published by Springer Nature ,2000
• Interconnecting formalisms
  Published by Association for Computing Machinery (ACM) ,1995
• Specification and analysis of system architecture using Rapide
  IEEE Transactions on Software Engineering, 1995
• Specifying distributed software architectures
  Published by Springer Nature ,1995
• Object inheritance beyond subtyping
  Acta Informatica, 1994
• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• A categorial theory of objects as observed processes
  Published by Springer Nature ,1991
• Contracts: specifying behavioral compositions in object-oriented systems
  ACM SIGPLAN Notices, 1990
• A Categorical Approach to General Systems
  Published by Springer Nature ,1978