Refinement and verification in component-based model-driven design

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

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

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 methodsUMLtool designmulti-view modellingrcossoftware design process

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (5)

rCOS: Defining Meanings of Component-Based Software Architectures ⋮ A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs ⋮ Refinement and verification in component-based model-driven design ⋮ Graph-Based Object-Oriented Hoare Logic ⋮ A Rigorous Model of Service Component Architecture

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

This page was built for publication: Refinement and verification in component-based model-driven design