Publication Details

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, 2006. s. 164-169. ISBN: 8086840263.
English title
Formal Models and Simulation in the Software System Development
Type
conference paper
Language
Czech
Authors
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kočí Radek, Ing., Ph.D. (DITS)
Keywords

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

Abstract

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

Published
2006
Pages
164–169
Proceedings
Proceedings of ASIS'06
Conference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006, Vranov (u Brna), CZ
ISBN
8086840263
Publisher
MARQ
Place
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"
}
Back to top