Diagram Based Formal Specification using CSP

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42524" target="_blank" >RIV/00216305:26230/03:PU42524 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Diagram Based Formal Specification using CSP
Original language description
Formal specification describes exactly a system. Using a CPS (Communicating Sequential Processes) representation allows to describe systems in the semantics meaner, which is very desirable for automated processing. Development of a tool for automated system description from the functional diagram is the main domain of this paper.
Czech name
Forlmální specifikace v CSP založená na diagramech
Czech description
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ů.

Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
ISBN
80-214-2379-X
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
629-633
Publisher name
Faculty of Electrical Engineering and Communication BUT
Place of publication
Brno
Event location
Brno
Event date
Apr 24, 2003
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)