Detail publikace

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

BEDNÁŘ David a KRESLÍKOVÁ Jitka. Towards verification of processes in object-oriented model of project management. In: Proceedings of ASIS 2004. ACTA MOSIS No. 98. Ostrava: MARQ, 2004, s. 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
angličtina
Autoři
Bednář David, Ing. (UIFS FIT VUT)
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT)
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
Konference
ASIS2004 - 26th International Autumn Colloquium - Advanced Simulation of Systems, Sv. Hostýn, CZ
ISBN
80-86840-03-4
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7649,
   author = "David Bedn\'{a}\v{r} and Jitka Kresl\'{i}kov\'{a}",
   title = "Towards verification of processes in object-oriented model of project management",
   pages = "251--256",
   booktitle = "Proceedings of ASIS 2004",
   series = "ACTA MOSIS No. 98",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-86840-03-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7649"
}
Nahoru