Conference paper

BEDNÁŘ David and KRESLÍKOVÁ Jitka. Towards verification of processes in object-orineted model of project managmente. In: Proceedings of ASIS 2004. Ostrava, 2004, pp. 251-256. ISBN 80-86840-03-4.
Publication language:english
Original title:Towards verification of processes in object-oriented model of project management
Title (cs):Směrem k verifikaci procesů v objektově-orientovaném modelu projektového řízení
Pages:251-256
Proceedings:Proceedings of ASIS 2004
Conference:ASIS2004 - 26th International Autumn Colloquium - Advanced Simulation of Systems
Series:ACTA MOSIS No. 98
Place:Ostrava, CZ
Year:2004
ISBN:80-86840-03-4
Keywords
Project management, object-oriented model, communication sequential processes, formal specification, verification, FDR2
Annotation
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.
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7649}
}

Your IPv4 address: 54.224.43.96
Switch to IPv6 connection

DNSSEC [dnssec]