Conference paper

KVĚTOŇOVÁ Šárka and KRESLÍKOVÁ Jitka. An iterative software process management using Petri nets. In: Proceedings of the 16th International Conference on Systems Science. Wroclaw: Wroclaw University of Technology, 2007, pp. 334-341. ISBN 978-83-7493-340-7.
Publication language:english
Original title:An iterative software process management using Petri nets
Title (cs):Iterativní řízení softwarového procesu s využitím Petriho sítí
Pages:334-341
Proceedings:Proceedings of the 16th International Conference on Systems Science
Conference:XVI International Conference on Systems Science: ICSS 2007
Place:Wroclaw, PL
Year:2007
ISBN:978-83-7493-340-7
Publisher:Wroclaw University of Technology
Keywords
Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM 
Annotation
The main purpose of this submission is to introduce an iterative approach to software process modelling by Petri Nets. It is the basic idea how we can use the iterative life cycle of software development process to a process oriented model creation. Then, this model is used for furter work related to implementation and verification of a system. We assume, too, that our approach should improve security of software development through decreasing the number of faults. Especially through the automated control of the whole software development process by a Petri net verification tool.
Abstract
This submission presents a new approach to processes modelling of software project management. It describes how we can use the iterative and incremental software development life cycle in association with Petri nets technique. Firstly, the model of a software process is created and than every activity of this software process is mapped into a Petri net, where it can be verified by the concrete verification tool. 
BibTeX:
@INPROCEEDINGS{
   author = {{\v{S}}{\'{a}}rka Kv{\v{e}}to{\v{n}}ov{\'{a}} and Jitka
	Kresl{\'{i}}kov{\'{a}}},
   title = {An iterative software process management using Petri nets},
   pages = {334--341},
   booktitle = {Proceedings of the  16th International Conference on Systems
	Science},
   year = {2007},
   location = {Wroclaw, PL},
   publisher = {Wroclaw University of Technology},
   ISBN = {978-83-7493-340-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8322}
}

Your IPv4 address: 54.161.73.123
Switch to IPv6 connection

DNSSEC [dnssec]