Formalna specifikacija i verifikacija softvera (CROSBI ID 344776)
Ocjenski rad | diplomski rad
Podaci o odgovornosti
Novaković, Vedran
Manger, Robert
hrvatski
Formalna specifikacija i verifikacija softvera
Rad pruža pregled malog ali konherentnog dijela osnovnih pojmova, koncepata i težnji modernih formalnih metoda u softverskom inženjerstvu. Izlaže se jedan od mogućih pogleda na formalnu specifikaciju i verifikaciju objektno orijentiranih softverskih sustava, oslanjajući se većinom na projekte Microsoft Research-a. Prvo poglavlje rada bavi se formalnom specifikacijom objektno orijentiranih sustava u okvirima Spec# metodologije. Drugo poglavlje adresira jedan aspekt modularne statičke analize, odnosno verifikacije programa, kakvu provodi Spec#-ov verifikator Boogie. U trećem poglavlju opisuje se testiranje bazirano na modelu i na korištenju alata Spec Explorer. Četvrto poglavlje namijenjeno je studijskom primjeru. Rad se zaključuje pregledom korištenih matematičkih koncepata i bibliografijom.
softversko inženjerstvo; formalna specifikacija; formalna verifikacija
nije evidentirano
engleski
Formal software specification and verification
nije evidentirano
software engineering; formal specification; formal verification
nije evidentirano
Podaci o izdanju
86
15.05.2006.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb