Detail publikace

Towards verification of processes in object-orineted model of project managmente

BEDNÁŘ, D. KRESLÍKOVÁ, J.

Originální název

Towards verification of processes in object-orineted model of project managmente

Typ

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

Jazyk

angličtina

Originální abstrakt

Text is focused on the object-oriented model of project management and description of its behavior by the algebra of communication sequential processes (CSP). The simple process of project management is presented by the activity diagram and formally defined. The tool Failure-divergence Refinement (FDR2) is used for analyze of presented process.

Klíčová slova

Project management, object-oriented model, communication sequential processes, formal specification, verification, FDR2

Autoři

BEDNÁŘ, D.; KRESLÍKOVÁ, J.

Rok RIV

2004

Vydáno

22. 9. 2004

Místo

Ostrava

ISBN

80-86840-03-4

Kniha

Proceedings of ASIS 2004

Edice

ACTA MOSIS No. 98

Strany od

251

Strany do

256

Strany počet

6

BibTex

@inproceedings{BUT17587,
  author="David {Bednář} and Jitka {Kreslíková}",
  title="Towards verification of processes in object-orineted model of project managmente",
  booktitle="Proceedings of ASIS 2004",
  year="2004",
  series="ACTA MOSIS No. 98",
  pages="251--256",
  address="Ostrava",
  isbn="80-86840-03-4"
}