Publication detail

An iterative software process management using Petri nets

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