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