Publication detail

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

JANOUŠEK, V. KOČÍ, R.

Original Title

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

English Title

Formal Models and Simulation in the Software System Development

Type

conference paper

Language

Czech

Original 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 formal models and simulation in the process of software systems development.

Keywords

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

Key words in English

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

Authors

JANOUŠEK, V.; KOČÍ, R.

RIV year

2006

Released

12. 9. 2006

Publisher

MARQ

Location

Ostrava

ISBN

8086840263

Book

Proceedings of ASIS'06

Pages from

164

Pages to

169

Pages count

6

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