Detail publikačního výsledku

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

Paper in proceedings outside WoS and Scopus

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 formalmodels 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.

Released

12.09.2006

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

8086840263

Book

Proceedings of ASIS'06

Pages from

164

Pages to

169

Pages count

6

Full text in the Digital Library

http://hdl.handle.net/

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