Detail publikace

Formální modely a simulace ve vývoji softwarových systémů

JANOUŠEK, V.; KOČÍ, R. 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
česky
Autoři
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kočí Radek, Ing., Ph.D. (UITS)
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
ISBN
8086840263
Vydavatel
MARQ
Místo
Ostrava
BibTeX 
@inproceedings{BUT22254,
  author="Vladimír {Janoušek} and Radek {Kočí}",
  title="Formální modely a simulace ve vývoji softwarových systémů",
  booktitle="Proceedings of ASIS'06",
  year="2006",
  pages="164--169",
  publisher="MARQ",
  address="Ostrava",
  isbn="8086840263"
}
Nahoru