Refinement and verification in component-based model-driven design
type: Item
instance of: scholarly article
title: Refinement and verification in component-based model-driven design
zbMATH Open document ID: 1178.68158
author: Zhenbang Chen
author: Anders P. Ravn
author: Volker Stolz
author: Naijun Zhan
author: Zhiming Liu
published in: Science of Computer Programming
publication date: 2009-03-02T00:00:00Z
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5522247
zbMATH Keywords: formal methods
zbMATH Keywords: multi-view modelling
zbMATH Keywords: rcos
zbMATH Keywords: software design process
zbMATH Keywords: tool design
zbMATH Keywords: UML
describes a project that uses: TCOZ
describes a project that uses: Spec#
describes a project that uses: UNITY
describes a project that uses: rCOS
describes a project that uses: Circus
describes a project that uses: SPIN
describes a project that uses: Eiffel
describes a project that uses: Uppaal
describes a project that uses: ESC/Java
describes a project that uses: Z
MaRDI profile type: Publication
full work available at URL: j.scico.2008.08.003
OpenAlex ID: W2024034783
cites work: Refinement Calculus
cites work: Q4493905
cites work: A refinement strategy for Circus
cites work: Q4692502
cites work: Separation of Concerns and Consistent Integration in Requirements Modelling
cites work: Harnessing rCOS for Tool Support —The CoCoME Experience
cites work: Q3122694
cites work: Theoretical Aspects of Computing – ICTAC 2005
cites work: rCOS: a refinement calculus of object systems
cites work: Q3777424
cites work: Unifying theories for logic programming
cites work: Q3997074
cites work: Uppaal in a nutshell
cites work: Deep semantic links of TCSP and Object-Z: TCOZ approach.
cites work: Q4024014
cites work: A calculus of communicating systems
cites work: Q4301161
cites work: Specification and (property) inheritance in CSP-OZ
cites work: Q4940107
cites work: Q4301167
DOI: 10.1016/J.SCICO.2008.08.003
description: scientific article; zbMATH DE number 5522247