Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 260323

Formalna specifikacija i verifikacija softvera


Novaković, Vedran
Formalna specifikacija i verifikacija softvera, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb


CROSBI ID: 260323 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Formalna specifikacija i verifikacija softvera
(Formal software specification and verification)

Autori
Novaković, Vedran

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Prirodoslovno-matematički fakultet - Matematički odjel

Mjesto
Zagreb

Datum
15.05

Godina
2006

Stranica
86

Mentor
Manger, Robert

Ključne riječi
softversko inženjerstvo; formalna specifikacija; formalna verifikacija
(software engineering; formal specification; formal verification)

Sažetak
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.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika, Računarstvo



POVEZANOST RADA


Projekt / tema
0037104

Ustanove
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Robert Manger (mentor)

Citiraj ovu publikaciju

Novaković, Vedran
Formalna specifikacija i verifikacija softvera, 2006., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
Novaković, V. (2006) 'Formalna specifikacija i verifikacija softvera', diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb.
@phdthesis{phdthesis, author = {Novakovi\'{c}, V.}, year = {2006}, pages = {86}, keywords = {software engineering, formal specification, formal verification}, title = {Formal software specification and verification}, keyword = {software engineering, formal specification, formal verification}, publisherplace = {Zagreb} }