Formalni dokazi u programiranju

Šarić, Kristijan

prikaz prve stranice dokumenta Formalni dokazi u programiranju

Preuzmi
PDF 971.45 KB

završni rad

Formalni dokazi u programiranju

Pula: Sveučilište Jurja Dobrile u Puli, 2016. urn:nbn:hr:137:645754

Šarić, Kristijan

Sveučilište Jurja Dobrile u Puli
Fakultet informatike u Puli

Citirajte ovaj rad

APA 6th Edition

Šarić, K. (2016). Formalni dokazi u programiranju (Završni rad). Pula: Sveučilište Jurja Dobrile u Puli. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:137:645754

MLA 8th Edition

Šarić, Kristijan. "Formalni dokazi u programiranju." Završni rad, Sveučilište Jurja Dobrile u Puli, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Chicago 17th Edition

Šarić, Kristijan. "Formalni dokazi u programiranju." Završni rad, Sveučilište Jurja Dobrile u Puli, 2016. https://urn.nsk.hr/urn:nbn:hr:137:645754

Harvard

Šarić, K. (2016). 'Formalni dokazi u programiranju', Završni rad, Sveučilište Jurja Dobrile u Puli, citirano: 23.04.2024., https://urn.nsk.hr/urn:nbn:hr:137:645754

Vancouver

Šarić K. Formalni dokazi u programiranju [Završni rad]. Pula: Sveučilište Jurja Dobrile u Puli; 2016 [pristupljeno 23.04.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:137:645754

IEEE

K. Šarić, "Formalni dokazi u programiranju", Završni rad, Sveučilište Jurja Dobrile u Puli, Pula, 2016. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:137:645754

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:137:645754

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.

Podaci o radu

Naslov	Formalni dokazi u programiranju
Naslov (engleski)	Formaln proofs in programming
Autor	Kristijan Šarić
Mentor	Krunoslav Puljić (mentor)
Član povjerenstva	Vanja Bevanda (član povjerenstva)
Član povjerenstva	Krunoslav Puljić (član povjerenstva)
Član povjerenstva	Goran Matošević (član povjerenstva)
Ustanova koja je dodijelila akademski / stručni stupanj	Sveučilište Jurja Dobrile u Puli (Fakultet informatike u Puli) Pula
Datum i država obrane	2016-01-18, Hrvatska
Znanstveno / umjetničko područje, polje i grana	DRUŠTVENE ZNANOSTI Informacijske i komunikacijske znanosti Organizacija i informatika
Sažetak	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.
Sažetak (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
Ključne riječi (engleski)
Jezik	hrvatski
URN:NBN	urn:nbn:hr:137:645754
Studijski program	Naziv: Informatika Vrsta studija: sveučilišni Stupanj studija: preddiplomski Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (univ.bacc inf.)
Vrsta resursa	Tekst
Način izrade datoteke	Izvorno digitalna
Prava pristupa	Otvoreni pristup
Uvjeti korištenja
Repozitorij	Digitalni repozitorij Sveučilišta Jurja Dobrile u Puli
Datum i vrijeme pohrane	2016-05-18 12:26:35

Nacionalna i sveučilišna knjižnica u Zagrebu

Dabar