završni rad
Formalni dokazi u programiranju

Kristijan Šarić (2016)
Sveučilište Jurja Dobrile u Puli
Odjel za informacijsko-komunikacijske tehnologije
Podaci o radu
NaslovFormalni dokazi u programiranju
AutorKristijan Šarić
Voditelj/MentorKrunoslav Puljić (mentor)
Sažetak rada
Programiranje u moderno doba znači programiranje sa velikom količinom kompleksnosti. Velika kompleksnost znači veliku mogućnost greške. Programiranje u moderno doba znači veliku mogućnost greške. U ovom radu navodimo slučajeve u kojima bi se trebali koristiti formalni dokazi, odnosno verifikacija napisanog programa, kako bi program mogao raditi bez greške. Time se postiže velika sigurnost u radu kritičnih dijelova sustava i samim time, sigurnost za sve koji se takvom sustavu izlažu.
Ključne riječiprogramiranje greške formalni dokazi verifikacija
Naslov na drugom jeziku (engleski)Formaln proofs in programming
Povjerenstvo za obranuVanja Bevanda (član povjerenstva)
Krunoslav Puljić (član povjerenstva)
Goran Matošević (član povjerenstva)
Ustanova koja je dodijelila akademski/stručni stupanjSveučilište Jurja Dobrile u Puli
Ustrojstvena jedinica niže razineOdjel za informacijsko-komunikacijske tehnologije
MjestoPula
Država obraneHrvatska
Znanstveno područje, polje, granaDRUŠTVENE ZNANOSTI
Informacijske i komunikacijske znanosti
Organizacija i informatika
Vrsta studijasveučilišni
Stupanjpreddiplomski
Naziv studijskog programaInformatika
Akademski / stručni nazivsveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike
Kratica akademskog / stručnog nazivauniv.bacc inf.
Vrsta radazavršni rad
Jezik hrvatski
Datum obrane2016-01-18
Sažetak rada na drugom jeziku (engleski)
Programming in the modern era means programming with a large amount of complexity. Large amount of complexity means a significant possibility of error. Programming in the modern era means a significant possibility of error. In this paper we present the cases when the use of formal methods, and verification of the written program, so the program could operate without failure should be used. This achieves a high degree of certainty in the operation of the critical parts of the system and therefore, the safety of all who are exposed to a such system.
Ključne riječi na drugom jeziku (engleski)programming errors formal methods verification
Vrsta resursatekst
Prava pristupaRad u otvorenom pristupu
Uvjeti korištenja radahttp://rightsstatements.org/vocab/InC/1.0/
URN:NBNhttps://urn.nsk.hr/urn:nbn:hr:137:645754
PohranioBarbara Dušan