RCOS: a formal model-driven engineering method for component-based software
From MaRDI portal
Publication:1762176
zbMath1251.68078MaRDI QIDQ1762176
Volker Stolz, Wei Ke, Xiaoshan Li, Zhi-Ming Liu
Publication date: 15 November 2012
Published in: Frontiers of Computer Science (Search for Journal in Brave)
Related Items (3)
Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ A graph-based generic type system for object-oriented programs
Uses Software
This page was built for publication: RCOS: a formal model-driven engineering method for component-based software
