Výsledky vyhľadávania
- Verifikácia konkurentných programov napísaných v jazyku C
Mészáros Martin ; E Fogel Jaroslav (škol.) ; E200
Bratislava : STU v Bratislave FEI, 2011 . - 64 s
Aplikovaná informatika Applied Infromatics verifikácia projektového plánu
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71816
diplomová prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 0 0 0 1 
kniha
- An Ontology Driven Approach to Software Process Engineering
Návrat Pavol ; I200 Líška Miroslav ; I200
WIKT 2010. Proceedings, 5th Workshop on Intelligent and Knowledge oriented Technologies, November 11-12, 2010 Bratislava, Slovakia . s.82-85
SPEM OWL jazyk webových ontológií verifikácia projektového plánu
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
článok
- Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology
Líška Miroslav ; I200 Návrat Pavol (škol.) ; I200
Bratislava : STU v Bratislave FIIT, 2010 . - 75 s
SPEM OWL metamodel softvérového inžinierstva validácia modelu verifikácia projektového plánu
dizertačná práca
DAI - Dizertačné a habilitačné práceFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 0 1 0 0 kniha