Publication Details

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

MARTÍNEK Zdeněk and 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 - Technical University of Ostrava, 2005, pp. 1-6. ISBN 80-86840-07-7.
Czech title
Užití algebry komunikujících sekvenčních procesů v modelování vývoje softwarového produktu
Type
conference paper
Language
english
Authors
Martínek Zdeněk, Mgr. (DIFS FIT BUT)
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT)
Keywords

Communicating Sequential Processes (CSP), project management

Abstract

This paper gives short introduction to algebra of Communicating Sequential Processes (CSP) and then demonstrates its application for project description. Main advantage of this description is possibility of verification with whichever tool based on CSP. Final chapter propose additional directions of research.

Published
2005
Pages
1-6
Proceedings
New Trends in System Simulation
Conference
NETSS2005 - New Trends in System Simulation, Krnov, CZ
ISBN
80-86840-07-7
Publisher
VŠB - Technical University of Ostrava
Place
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"
}
Back to top