This HTML5 document contains 48 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n5http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n17http://purl.org/net/nknouf/ns/bibtex#
n15http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
n16https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216305%3A26230%2F07%3APU70792%21RIV08-MSM-26230___/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216305%3A26230%2F07%3APU70792%21RIV08-MSM-26230___
rdf:type
n14:Vysledek skos:Concept
dcterms: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. 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. Hlavním cílem příspěvku je představení iterativního přístupu k modelování softwarového procesu s využitím aparátu Petriho sítí.
dcterms:title
An iterative software process management using Petri nets Iterativní řízení softwarového procesu s využitím Petriho sítí An iterative software process management using Petri nets
skos:prefLabel
An iterative software process management using Petri nets Iterativní řízení softwarového procesu s využitím Petriho sítí An iterative software process management using Petri nets
skos:notation
RIV/00216305:26230/07:PU70792!RIV08-MSM-26230___
n3:strany
334-341
n3:aktivita
n9:Z
n3:aktivity
Z(MSM0021630528)
n3:dodaniDat
n11:2008
n3:domaciTvurceVysledku
n10:5815266 n10:2629658
n3:druhVysledku
n18:D
n3:duvernostUdaju
n7:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
409352
n3:idVysledku
RIV/00216305:26230/07:PU70792
n3:jazykVysledku
n20:eng
n3:klicovaSlova
Iterative life cycle, Petri nets, MDA, Spiral model, RUP, DSDM&nbsp,
n3:klicoveSlovo
n4:DSDM%26nbsp n4:Spiral%20model n4:MDA n4:Iterative%20life%20cycle n4:Petri%20nets n4:RUP
n3:kontrolniKodProRIV
[6966839950FB]
n3:mistoKonaniAkce
Wroclaw
n3:mistoVydani
Wroclaw
n3:nazevZdroje
Proceedings of the 16th International Conference on Systems Science
n3:obor
n12:JC
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:rokUplatneniVysledku
n11:2007
n3:tvurceVysledku
Květoňová, Šárka Kreslíková, Jitka
n3:typAkce
n5:WRD
n3:zahajeniAkce
2007-09-04+02:00
n3:zamer
n19:MSM0021630528
s:numberOfPages
8
n17:hasPublisher
Politechnika Wrocławska
n16:isbn
978-83-7493-340-7
n15:organizacniJednotka
26230