Detail publikace

System Design with Object Oriented Petri Nets Formalism

KOČÍ Radek a JANOUŠEK Vladimír. System Design with Object Oriented Petri Nets Formalism. In: The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008, s. 421-426. ISBN 978-0-7695-3372-8.
Název česky
System Design with Object Oriented Petri Nets Formalism
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Výzkum v oblasti návrhu systémů se v současné době zaměřuje na efektivnost a spolehlivost vývojových procesů stejně jako na kvalitu výsledného systému. Byly vyvinuty metody návrhu založené na modelech, které jsou známé pod názvem Model-Based Design. Tyto metody používají polo-formální modely umožňující generování kódu. Následný vývoj či ladění systému na úrovni modelů je však nemožná. Článek se věnuje modifikovanému přístupu k návrhu systémů, který je založen na formalismu Objektově orientované Petriho sítě. Tento přístup umožňuje ověřovat správnost (spolehlivost) modelů simulačními technikami a ponechat modely jako součást výsledného systému.

Rok
2008
Strany
421-426
Sborník
The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008
Konference
The Third International Conference on Software Engineering Advances ICSEA 2008, Sliema, MT
ISBN
978-0-7695-3372-8
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, US
BibTeX
@INPROCEEDINGS{FITPUB8776,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "System Design with Object Oriented Petri Nets Formalism",
   pages = "421--426",
   booktitle = "The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008",
   year = 2008,
   location = "Los Alamitos, US",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3372-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8776"
}
Nahoru