Publication detail

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

MARTÍNEK, Z., KRESLÍKOVÁ, J.

Original Title

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

Type

conference paper

Language

English

Original 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

Authors

MARTÍNEK, Z., KRESLÍKOVÁ, J.

Released

22. 2. 2005

Publisher

VŠB - Technical University of Ostrava

Location

Ostrava

ISBN

80-86840-07-7

Book

New Trends in System Simulation

Pages from

1

Pages to

6

Pages count

5

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