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

Institucijski repozitorij: Digitalni repozitorij Sveučilišta Jurja Dobrile u Puli

Citirajte ovaj rad

Š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

Š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

Š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

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

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

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
Podaci o radu
NaslovFormalni dokazi u programiranju
Naslov (engleski)Formaln proofs in programming
AutorKristijan Šarić
MentorKrunoslav Puljić (mentor)
Član povjerenstvaVanja Bevanda (član povjerenstva)
Član povjerenstvaKrunoslav Puljić (član povjerenstva)
Član povjerenstvaGoran 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 obrane2016-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)
Jezikhrvatski
URN:NBNurn:nbn:hr:137:645754
Studijski programNaziv: 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 resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2016-05-18 12:26:35