Informační systém Masarykovy univerzity 

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

česky | in English

ŠAFRÁNEK, David a Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg: Springer, 2005. s. 320-330, 10 s. ISBN 3-540-24302-X.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
Název česky VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur
Autoři ŠAFRÁNEK, David (203 Česká republika, garant) a Jiří ŠIMŠA (203 Česká republika).
Vydání Heidelberg, SOFSEM 2005: Theory and Practice of Computer Science, od s. 320-330, 10 s. 2005.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.402
Kód RIV RIV/00216224:14330/05:00012664
Organizační jednotka Fakulta informatiky
ISBN 3-540-24302-X
ISSN 0302-9743
UT WoS 000228554400035
Klíčová slova anglicky visual coordination diagrams; labelled transition systems; visual specification; concurrent systems
Štítky concurrent systems, labelled transition systems, visual coordination diagrams, visual specification
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 9. 4. 2010 16:08.
Anotace
A visual formalism called Visual Coordination Diagrams (VCD) for high-level design of heterogeneous systems is presented in this paper. The language is based on a state-transition operational semantics, which allows application of formal methods to software design. Formal definition of VCD is included in the paper. Moreover, an example of use of the language is also given.
Anotace česky
Visuální formalismus nazvaný Vizuální Coordinační Diagramy (VCD) pro popis heterogenních systémů je presentován v tomto článku. Jazyk je založen na přechodových systémech s návěštími, které tvoří jeho sémantiku. Toto umožňuje aplikaci formálních metod. Formální definice VCD je obsažena v článku a rovněž příklad použití.
Návaznosti
GA201/03/0509, projekt VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
VytisknoutZobrazeno: 20. 9. 2017 23:47

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:47, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému