Refinement and verification in component-based model-driven design

DOI10.1016/j.scico.2008.08.003zbMath1178.68158MaRDI QIDQ1004291

Naijun Zhan, Zhi-Ming Liu, Volker Stolz, Zhenbang Chen, Anders P. Ravn

Publication date: 2 March 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.08.003

zbMATH Keywords

formal methods; UML; tool design; multi-view modelling; rcos; software design process

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N99: Theory of software

Related Items

Refinement and verification in component-based model-driven design

Uses Software

• rCOS
• TCOZ
• SPIN
• Eiffel
• Spec#
• Uppaal
• ESC/Java
• Z
• UNITY
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A refinement strategy for Circus
• rCOS: a refinement calculus of object systems
• Refinement and verification in component-based model-driven design
• A calculus of communicating systems
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• Specification and (property) inheritance in CSP-OZ
• Uppaal in a nutshell
• Harnessing rCOS for Tool Support —The CoCoME Experience
• Refinement Calculus
• Theoretical Aspects of Computing – ICTAC 2005
• Separation of Concerns and Consistent Integration in Requirements Modelling