Publication detail

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

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

Original Title

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

English Title

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

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

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

RIV year

2004

Released

22.09.2004

Location

Ostrava

ISBN

80-86840-03-4

Book

Proceedings of ASIS 2004

Edition

ACTA MOSIS No. 98

Pages from

251

Pages to

256

Pages count

6

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