Result 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 software s.r.o., 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 (FIT)
Kočí Radek, Ing., Ph.D., DITS (FIT)
Abstract

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

English abstract

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

Keywords

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

English keywords

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

Published
2006
Pages
164–169
Proceedings
Proceedings of ASIS'06
Conference
28th International Autumn Colloquium Advanced Simulation of Systems - ASIS 2006
ISBN
8086840263
Publisher
Marq software s.r.o.
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 software s.r.o.",
  address="Ostrava",
  isbn="8086840263"
}
Projects
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-12-31, completed
Research groups
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top