Automatically Generated CSP Specifications
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42515" target="_blank" >RIV/00216305:26230/03:PU42515 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Automatically Generated CSP Specifications
Popis výsledku v původním jazyce
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 onUML 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.
Název v anglickém jazyce
Automatically Generated CSP Specifications
Popis výsledku anglicky
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 onUML 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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
ISBN
1-85769-189X
ISSN
—
e-ISSN
—
Počet stran výsledku
7
Strana od-do
41-47
Název nakladatele
University of Stirling
Místo vydání
Huntsville, AL
Místo konání akce
Huntsville, AL
Datum konání akce
9. 4. 2003
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—