Detail publikace

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

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

Originální název

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Communicating Sequential Processes (CSP), project management

Autoři

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

Vydáno

22. 2. 2005

Nakladatel

VŠB - Technical University of Ostrava

Místo

Ostrava

ISBN

80-86840-07-7

Kniha

New Trends in System Simulation

Strany od

1

Strany do

6

Strany počet

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