Detail publikace
Formální modely a simulace ve vývoji softwarových systémů
JANOUŠEK Vladimír a KOČÍ Radek. Formální modely a simulace ve vývoji softwarových systémů. In: Proceedings of ASIS'06. Ostrava: MARQ, 2006, s. 164-169. ISBN 8086840263.
Název anglicky
Formal Models and Simulation in the Software System Development
Typ
článek ve sborníku konference
Jazyk
čeština
Autoři
Klíčová slova
Formální modely, Petriho sítě, UML, Model-Based Development
Abstrakt
Článek diskutuje možné výhody aplikace formálních modelů a simulace ve procesu vývoje softwarových systémů.
Rok
2006
Strany
164-169
Sborník
Proceedings of ASIS'06
Konference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006, Vranov (u Brna), CZ
ISBN
8086840263
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB8155, author = "Vladim\'{i}r Janou\v{s}ek and Radek Ko\v{c}\'{i}", title = "Form\'{a}ln\'{i} modely a simulace ve v\'{y}voji softwarov\'{y}ch syst\'{e}m\r{u}", pages = "164--169", booktitle = "Proceedings of ASIS'06", year = 2006, location = "Ostrava, CZ", ISBN = "8086840263", language = "czech", url = "https://www.fit.vut.cz/research/publication/8155" }