Publication Details

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

JANOUŠEK Vladimír and KOČÍ Radek. Formální modely a simulace ve vývoji softwarových systémů. In: Proceedings of ASIS'06. Ostrava, 2006, pp. 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 FIT BUT)
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)

Keywords

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

Abstract

The paper discuss possible advantages of the application of formal models 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

Place

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"
}