Detail publikace

How to utilise algebra of Communicating Sequential Processes in modelling of software product development

MARTÍNEK, Z.; KRESLÍKOVÁ, J. How to utilise algebra of Communicating Sequential Processes in modelling of software product development. New Trends in System Simulation. Ostrava: VŠB - Technical University of Ostrava, 2005. p. 1-6. ISBN: 80-86840-07-7.
Název česky
Užití algebry komunikujících sekvenčních procesů v modelování vývoje softwarového produktu
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Martínek Zdeněk, Mgr.
Kreslíková Jitka, doc. RNDr., CSc. (UIFS)
Klíčová slova

Komunikující sekvenční procesy, projektové řízení

Abstrakt

Příspěvek poskytuje krátký úvod do algebry komunikujících sekvenčních procesů (CSP) a demonstruje využití pro popis projektů. Hlavní výhodou tohoto přístupu je možnost verifikace modelu libovolným nástrojem založeným na CSP. Závěrečná kapitola nabízí další možné směry výzkumu.

Rok
2005
Strany
1–6
Sborník
New Trends in System Simulation
ISBN
80-86840-07-7
Vydavatel
VŠB - Technical University of Ostrava
Místo
Ostrava
BibTeX 
@inproceedings{BUT21446,
  author="Zdeněk {Martínek} and Jitka {Kreslíková}",
  title="How to utilise algebra of Communicating Sequential Processes in modelling of software product development",
  booktitle="New Trends in System Simulation",
  year="2005",
  pages="1--6",
  publisher="VŠB - Technical University of Ostrava",
  address="Ostrava",
  isbn="80-86840-07-7"
}
Nahoru