Detail publikace
Automatically Generated CSP Specifications
ŠČUGLÍK, F., ŠVÉDA, M.
Originální název
Automatically Generated CSP Specifications
Anglický název
Automatically Generated CSP Specifications
Jazyk
en
Originální abstrakt
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.
Anglický abstrakt
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.
Dokumenty
BibTex
@inproceedings{BUT13957,
author="František {Ščuglík} and Miroslav {Švéda}",
title="Automatically Generated CSP Specifications",
annote="Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.",
address="University of Stirling",
booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
chapter="13957",
institution="University of Stirling",
year="2003",
month="april",
pages="41--47",
publisher="University of Stirling",
type="conference paper"
}