Detail publikačního výsledku

Towards verification of processes in object-oriented model of project management

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

Originální název

Towards verification of processes in object-oriented model of project management

Anglický název

Towards verification of processes in object-oriented model of project management

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2011

Vydáno

22.09.2004

Nakladatel

Marq software s.r.o.

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-oriented model of project management",
  booktitle="Proceedings of ASIS 2004",
  year="2004",
  series="ACTA MOSIS No. 98",
  pages="251--256",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-03-4"
}