Detail publikace

Automatically Generated CSP Specifications

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

Originální název

Automatically Generated CSP Specifications

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Formal specifications, CSP, reuse, reverse engineering

Autoři

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

Rok RIV

2003

Vydáno

15. 4. 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"
}