Detail publikačního výsledku

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Klíčová slova

Formal specifications, CSP, reuse, reverse engineering

Klíčová slova v angličtině

Formal specifications, CSP, reuse, reverse engineering

Autoři

ŠČUGLÍK, F.; ŠVÉDA, M.

Vydáno

15.04.2003

Nakladatel

University of Stirling

Místo

Huntsville, AL

ISBN

1-85769-189X

Kniha

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003

Strany od

41

Strany do

47

Strany počet

7

BibTex

@inproceedings{BUT13957,
  author="František {Ščuglík} and Miroslav {Švéda}",
  title="Automatically Generated CSP Specifications",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
  year="2003",
  pages="41--47",
  publisher="University of Stirling",
  address="Huntsville, AL",
  isbn="1-85769-189X"
}