Přístupnostní navigace
E-application
Search Search Close
Publication detail
KVĚTOŇOVÁ, Š. KRESLÍKOVÁ, J.
Original Title
An iterative software process management using Petri nets
Type
conference paper
Language
English
Original Abstract
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.
Keywords
Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM
Authors
KVĚTOŇOVÁ, Š.; KRESLÍKOVÁ, J.
RIV year
2007
Released
26. 4. 2007
Publisher
Wroclaw University of Technology
Location
Wroclaw
ISBN
978-83-7493-340-7
Book
Proceedings of the 16th International Conference on Systems Science
Pages from
334
Pages to
341
Pages count
8
BibTex
@inproceedings{BUT28594, author="Šárka {Květoňová} and Jitka {Kreslíková}", title="An iterative software process management using Petri nets", booktitle="Proceedings of the 16th International Conference on Systems Science", year="2007", pages="334--341", publisher="Wroclaw University of Technology", address="Wroclaw", isbn="978-83-7493-340-7" }