Detail publikace

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

MARTÍNEK Zdeněk a KRESLÍKOVÁ Jitka. How to utilise algebra of Communicating Sequential Processes in modelling of software product development. In: New Trends in System Simulation. Ostrava: VŠB - Technická univerzita Ostrava, 2005, s. 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
angličtina
Autoři
Martínek Zdeněk, Mgr. (UIFS FIT VUT)
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT)
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
Konference
NETSS2005 - New Trends in System Simulation, Krnov, CZ
ISBN
80-86840-07-7
Vydavatel
VŠB - Technická univerzita Ostrava
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7712,
   author = "Zden\v{e}k Mart\'{i}nek and Jitka Kresl\'{i}kov\'{a}",
   title = "How to utilise algebra of Communicating Sequential Processes in modelling of software product development",
   pages = "1--6",
   booktitle = "New Trends in System Simulation",
   year = 2005,
   location = "Ostrava, CZ",
   publisher = "V\v{S}B - Technical University of Ostrava",
   ISBN = "80-86840-07-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7712"
}
Nahoru