rCOS: Defining Meanings of Component-Based Software Architectures

DOI10.1007/978-3-642-39721-9_1zbMath1444.68047OpenAlexW205712290MaRDI QIDQ2948228

Ruzhen Dong, Zhi-Ming Liu, Wei Ke, Johannes Faber

Publication date: 30 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39721-9_1

zbMATH Keywords

verificationobject-oriented designmodel transformationmodel refinementcomponent-based architecture

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• rCOS
• SPIN
• Rodin
• CESAR
• Z
• UNITY
• Circus

Cites Work

• Channel-based coordination via constraint satisfaction
• rCOS: a refinement calculus of object systems
• Refinement and verification in component-based model-driven design
• Graph transformations for object-oriented refinement
• RCOS: a formal model-driven engineering method for component-based software
• The origins of structural operational semantics
• A Model of Component-Based Programming
• The B-Book
• Theoretical Aspects of Computing – ICTAC 2005
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: rCOS: Defining Meanings of Component-Based Software Architectures