Viewing CSP Specifications with UML-RT Diagrams

DOI10.1016/j.entcs.2007.08.026zbMath1279.68257OpenAlexW2030934054MaRDI QIDQ2873608

Augusto Sampaio, Alexandre Mota, Patrícia Ferreira

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.08.026

zbMATH Keywords

CSPUML-RTformal method integrationsystematic strategy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Formal Specification Generation from Requirement Documents

Uses Software

• Z
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Viewing CSP Specifications with UML-RT Diagrams