RCOS: a formal model-driven engineering method for component-based software

MaRDI QIDQ1762176zbMATH OpenFDO

Authors Wei Ke, Xiaoshan Li, Volker Stolz, Zhiming Liu

Publication date 15 November 2012

Published in Frontiers of Computer Science (Search for Journal in Brave)

zbMATH Keywords

verificationmodelstool supportcomponent-based designmodel transformations

Mathematics Subject Classification ID

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

Recommendations

• rCOS: defining meanings of component-based software architectures
• Refinement and verification in component-based model-driven design
• Model-driven architecture for embedded software: A synopsis and an example
• A model-based development approach for model transformations
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(9)

• Reasoning about iteration and recursion uniformly based on big-step semantics
• rCOS: defining meanings of component-based software architectures
• Using formal methods with SysML in aerospace design and engineering
• Refinement and verification in component-based model-driven design
• A multi-dimensional separation of concerns approach for model driven process framework
• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation
• A graph-based generic type system for object-oriented programs
• Linking formal methods in software development. A reflection on the development of rCOS
• Harnessing rCOS for Tool Support —The CoCoME Experience

Describes a project that uses

Uses Software

• Z
• rCOS

This page was built for publication: RCOS: a formal model-driven engineering method for component-based software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1762176)