An iterative software process management using Petri nets

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70792" target="_blank" >RIV/00216305:26230/07:PU70792 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

An iterative software process management using Petri nets

Original language description

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.

Czech name

Iterativní řízení softwarového procesu s využitím Petriho sítí

Czech description

Hlavním cílem příspěvku je představení iterativního&nbsp;přístupu k modelování softwarového procesu s využitím aparátu Petriho sítí.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the 16th International Conference on Systems Science

ISBN

978-83-7493-340-7

ISSN

—

e-ISSN

—

Number of pages

8

Pages from-to

334-341

Publisher name

Wroclaw University of Technology

Place of publication

Wroclaw

Event location

Wroclaw

Event date

Sep 4, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—