Viewing CSP specifications with UML-RT diagrams
DOI10.1016/J.ENTCS.2007.08.026zbMATH Open1279.68257OpenAlexW2030934054MaRDI QIDQ2873608FDOQ2873608
Authors: Patrícia Ferreira, Augusto Sampaio, Alexandre Mota
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
Recommendations
- scientific article; zbMATH DE number 1693515
- scientific article; zbMATH DE number 1949609
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
- scientific article; zbMATH DE number 1956483
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (6)
- A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
- Title not available (Why is that?)
- Automatic Generation of CSP || B Skeletons from xUML Models
- Toward extracting \(\pi\)-calculus from UML sequence and state diagrams
- Title not available (Why is that?)
- Formal specification generation from requirement documents
Uses Software
This page was built for publication: Viewing CSP specifications with UML-RT diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2873608)