Detail publikace

Diagram Based Formal Specification using CSP

ŠČUGLÍK, F. Diagram Based Formal Specification using CSP. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 629-633. ISBN: 80-214-2379-X.
Název česky
Forlmální specifikace v CSP založená na diagramech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

CSP, diagram, process, tool, formal specification

Abstrakt

Formální specifikace přesně popisuje systém a jeho chování. Použitím CSP je možné specifikovat systémy způsobem, který se jeví jako vhodný pro automatizované zpracování. Tato práce se zabývá návrhem nástroje pro automatizované specifikování systémů na základě funkcionálních diagramů.

Rok
2003
Strany
629–633
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
Student EEICT 2003, Brno, CZ
ISBN
80-214-2379-X
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT13965,
  author="František {Ščuglík}",
  title="Diagram Based Formal Specification using CSP",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="629--633",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2379-X"
}
Nahoru