Publication Details

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.
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.
Kreslíková Jitka, doc. RNDr., CSc. (DIFS)
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
ISBN
80-86840-07-7
Publisher
VŠB - Technical University of Ostrava
Place
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"
}
Back to top