Result 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.
Type
conference paper
Language
English
Authors
Martínek Zdeněk, Mgr., DIFS (FIT)
Kreslíková Jitka, doc. RNDr., CSc., DIFS (FIT), UTKO (FEEC)
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.

Keywords

Communicating Sequential Processes (CSP), project management

Published
2005
Pages
1–6
Proceedings
New Trends in System Simulation
Conference
NETSS2005 - 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"
}
Research groups
Management of software engineering Research Group (RG MSWI)
Departments
Department of Information Systems (DIFS)
Back to top