Detail publikace

Diagram Based Formal Specification using CSP

ŠČUGLÍK František. Diagram Based Formal Specification using CSP. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 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
angličtina
Autoři
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
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
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ
ISBN
80-214-2379-X
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7170,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Diagram Based Formal Specification using CSP",
   pages = "629--633",
   booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2379-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7170"
}
Nahoru