prikaz prve stranice dokumenta Formalna verifikacija sustava kao mrežna usluga
Rad nije dostupan
diplomski rad
Formalna verifikacija sustava kao mrežna usluga
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. urn:nbn:hr:168:474932
Juratovac, Miroslav
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Juratovac, M. (2014). Formalna verifikacija sustava kao mrežna usluga (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, M. (2014). 'Formalna verifikacija sustava kao mrežna usluga', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 30.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac M. Formalna verifikacija sustava kao mrežna usluga [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2014 [pristupljeno 30.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:474932

M. Juratovac, "Formalna verifikacija sustava kao mrežna usluga", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2014. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:474932

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:474932
Podaci o radu
NaslovFormalna verifikacija sustava kao mrežna usluga
Naslov (engleski)Formal system verification as a web service
AutorMiroslav Juratovac
MentorNikola Bogunović (mentor)
Član povjerenstvaNikola Bogunović (predsjednik povjerenstva)
Član povjerenstvaLeonardo Jelenković (član povjerenstva)
Član povjerenstvaAnte Đerek (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2014-07-08, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
Kroz rad dan je pregled cjelovitog procesa izrade mrežne usluge. Pokazan je proces izrade vlastitog web poslužitelja od temelja do mogućnosti razvoja web aplikacija i web usluga na istom poslužitelju. Rad započinje postavljanjem osnovnih komponenti potrebne programske potpore kako bi se izgradio funkcionalni temelj na kojemu će se temeljiti web aplikacija i web usluga. Oslanjajući se na dobro postavljen sustav nastavljamo s razvojem mrežne usluge za formalnu verifikaciju najprije opisujući što trebamo napraviti kroz specifikaciju zahtjeva. Nakon što smo pokazali što trebamo napraviti bavimo se izradom rješenja te dajemo pregled pojedinih komponenti konačnog funkcionalnog rješenja. Konačno testiramo uslugu kako bi smo završili proces izrade i potvrdili funkcionalnost.
Sažetak (engleski)
Throughout the text we have given an overview for building network services. We have shown the process of building a web server from the ground up, to the point we were able to develop web applications and services. We started by describing and setting up core components upon which we will base our web applications and services. Relying on the integrity of the base components we continued the process of creating network services by specifying what our system should do through the specification of demands. Only once we put the necessary infrastructure in place, we started building a solution simultaneously giving an overview of the whole process. In the end we close the process of building our network services by testing the services to check whether we succeeded in doing what we needed to do.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:474932
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2018-02-06 09:29:34