Detail publikačního výsledku

An iterative software process management using Petri nets

KVĚTOŇOVÁ, Š.; KRESLÍKOVÁ, J.

Originální název

An iterative software process management using Petri nets

Anglický název

An iterative software process management using Petri nets

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM 

Klíčová slova v angličtině

Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM 

Autoři

KVĚTOŇOVÁ, Š.; KRESLÍKOVÁ, J.

Vydáno

26.04.2007

Nakladatel

Wroclaw University of Technology

Místo

Wroclaw

ISBN

978-83-7493-340-7

Kniha

Proceedings of the 16th International Conference on Systems Science

Strany od

334

Strany do

341

Strany počet

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