Detail výsledku

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.ISBN: 80-86840-07-7.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Martínek Zdeněk, Mgr., FIT (FIT), UIFS (FIT)
Kreslíková Jitka, doc. RNDr., CSc., UIFS (FIT), UTKO (FEKT)
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

Rok
2005
Strany
1–6
Sborník
New Trends in System Simulation
Konference
NETSS2005 - New Trends in System Simulation
ISBN
80-86840-07-7
Vydavatel
VŠB - Technical University of Ostrava
Místo
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"
}
Výzkumné skupiny
Výzkumná skupina managementu v softwarovém inženýrství (VZ MSWI)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru