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