Detail publikace

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

Originální název

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

Anglický název

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

Jazyk

en

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.

Anglický 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.

BibTex


@inproceedings{BUT17587,
  author="David {Bednář} and Jitka {Kreslíková}",
  title="Towards verification of processes in object-orineted model of project managmente",
  annote="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.",
  booktitle="Proceedings of ASIS 2004",
  chapter="17587",
  edition="ACTA MOSIS No. 98",
  year="2004",
  month="september",
  pages="251--256",
  type="conference paper"
}