Detail výsledku

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ů. Proceedings of ASIS'06. Ostrava: Marq software s.r.o., 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)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Abstrakt

Článek diskutuje možné výhody aplikace formálních modelů a simulace ve procesu vývoje softwarových systémů.

Abstrakt anglicky

The paper discuss possible advantages of the application of formalmodels and simulation in the process of software systems development.

Klíčová slova

Formální modely, Petriho sítě, UML, Model-Based Development

Klíčová slova anglicky

Formal models, Petri Nets, Object Oriented Petri Nets, UML, Model Based Development

Rok
2006
Strany
164–169
Sborník
Proceedings of ASIS'06
Konference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006
ISBN
8086840263
Vydavatel
Marq software s.r.o.
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 software s.r.o.",
  address="Ostrava",
  isbn="8086840263"
}
Projekty
Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GAČR, Standardní projekty, GA102/04/0780, zahájení: 2004-01-01, ukončení: 2006-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru