Detail publikace

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

BEDNÁŘ, D., KRESLÍKOVÁ, J. Towards verification of processes in object-orineted model of project managmente. In Proceedings of ASIS 2004. ACTA MOSIS No. 98. Ostrava: 2004. p. 251-256. ISBN: 80-86840-03-4.
Název česky
Směrem k verifikaci procesů v objektově-orientovaném modelu projektového řízení
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bednář David, Ing.
Kreslíková Jitka, doc. RNDr., CSc. (UIFS)
Klíčová slova

Projektové řízení, objektově-orientovaný model, komunikující sekvenční procesy, formální specifikace, verifikace, FDR2

Abstrakt

Text je zaměřen na objektově-orientovaný model projektového řízení a popis jeho chování pomocí algebry komunikujících sekvenčních procesů (CSP). Jednoduchý proces projektového řízení je reprezentován diagramem aktivit a formálně definován. Nástroj FDR2 je použit pro analýzu prezentovaného procesu.

Anotace

Text je zaměřen na objektově-orientovaný model projektového řízení a popis jeho chování pomocí algebry komunikujících sekvenčních procesů (CSP). Jednoduchý proces projektového řízení je reprezentován diagramem aktivit a formálně definován. Nástroj FDR2 je použit pro analýzu prezentovaného procesu.

Rok
2004
Strany
251–256
Sborník
Proceedings of ASIS 2004
Řada
ACTA MOSIS No. 98
ISBN
80-86840-03-4
Místo
Ostrava
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"
}
Nahoru