Detail publikace

An iterative software process management using Petri nets

Originální název

An iterative software process management using Petri nets

Anglický název

An iterative software process management using Petri nets

Jazyk

en

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.

BibTex


@inproceedings{BUT28594,
  author="Šárka {Květoňová} and Jitka {Kreslíková}",
  title="An iterative software process management using Petri nets",
  annote="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.",
  address="Wroclaw University of Technology",
  booktitle="Proceedings of the  16th International Conference on Systems Science",
  chapter="28594",
  howpublished="print",
  institution="Wroclaw University of Technology",
  year="2007",
  month="april",
  pages="334--341",
  publisher="Wroclaw University of Technology",
  type="conference paper"
}