Visual Specification of Concurrent Systems

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

ŠAFRÁNEK David

Rok publikování 2003
Druh Článek ve sborníku
Konference 18th IEEE International Conference on Automated Software Engineering
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova visual specification; concurrent systems; coordination models
Popis Článek obsahuje presentaci navrhovaného visuálního formalismu pro popis souběžných systémů. Hlavní aspekty formalismu jsou uvažovány s respektem vlastností komponentově orientovaných systémů. Z hlediska sémantiky je důraz kladen na možnost popisu systémů složených z komponent heterogenního charakteru (různých modelů výpočtu).
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.