Viewing CSP specifications with UML-RT diagrams
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.68257
author: Patrícia Ferreira
author: Augusto Sampaio
author: Alexandre Mota
published in: Electronic Notes in Theoretical Computer Science
publication date: 2014-01-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6250195
zbMATH Keywords: CSP
zbMATH Keywords: systematic strategy
zbMATH Keywords: UML-RT
zbMATH Keywords: formal method integration
describes a project that uses: Circus
describes a project that uses: Z
MaRDI profile type: Publication
full work available at URL: j.entcs.2007.08.026
OpenAlex ID: W2030934054
cites work: Q2764111
cites work: Q4845486
cites work: Q3995087
DOI: 10.1016/J.ENTCS.2007.08.026
title: Viewing CSP specifications with UML-RT diagrams
description: scientific article; zbMATH DE number 6250195