Detail výsledku
An iterative software process management using Petri nets
        KVĚTOŇOVÁ, Š.; KRESLÍKOVÁ, J. An iterative software process management using Petri nets. Proceedings of the 16th International Conference on Systems Science. Wroclaw: Wroclaw University of Technology, 2007. p. 334-341.  ISBN: 978-83-7493-340-7.
    
                Typ
            
        
                článek ve sborníku konference
            
        
                Jazyk
            
        
                anglicky
            
        
            Autoři
            
        
                Květoňová Šárka, Ing., Ph.D., FIT (FIT), UIFS (FIT)
                
Kreslíková Jitka, doc. RNDr., CSc., UIFS (FIT), UTKO (FEKT)
        Kreslíková Jitka, doc. RNDr., CSc., UIFS (FIT), UTKO (FEKT)
                    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
                Rok
            
            
                    2007
                    
                
            
                    Strany
                
            
                        334–341
                
            
                        Sborník
                
            
                    Proceedings of the  16th International Conference on Systems Science
                
            
                    Konference
                
            
                    XVI International Conference on Systems Science: ICSS 2007
                
            
                    ISBN
                
            
                    978-83-7493-340-7
                
            
                    Vydavatel
                
            
                    Wroclaw University of Technology
                
            
                    Místo
                
            
                    Wroclaw
                
            
                    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"
}
                Projekty
            
        
        
            
        
    
    
        Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
            
        
                Výzkumné skupiny
            
        
                Pracoviště
            
        
                Ústav informačních systémů 
                (UIFS)