Detail publikace

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

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

Originální název

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

Anglický název

Formal Models and Simulation in the Software System Development

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

čeština

Originální abstrakt

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

Anglický abstrakt

The paper discuss possible advantages of the application of formal models 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 v angličtině

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

Autoři

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

Rok RIV

2006

Vydáno

12. 9. 2006

Nakladatel

MARQ

Místo

Ostrava

ISBN

8086840263

Kniha

Proceedings of ASIS'06

Strany od

164

Strany do

169

Strany počet

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