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
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
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"
}
Nahoru