prikaz prve stranice dokumenta Formalna verifikacija sustava kao mrežna usluga
No public access
master's thesis
Formalna verifikacija sustava kao mrežna usluga
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. urn:nbn:hr:168:474932
Juratovac, Miroslav
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Juratovac, M. (2014). Formalna verifikacija sustava kao mrežna usluga (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, Miroslav. "Formalna verifikacija sustava kao mrežna usluga." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2014. https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac, M. (2014). 'Formalna verifikacija sustava kao mrežna usluga', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 09 May 2024, https://urn.nsk.hr/urn:nbn:hr:168:474932

Juratovac M. Formalna verifikacija sustava kao mrežna usluga [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2014 [cited 2024 May 09] Available at: https://urn.nsk.hr/urn:nbn:hr:168:474932

M. Juratovac, "Formalna verifikacija sustava kao mrežna usluga", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2014. Available at: https://urn.nsk.hr/urn:nbn:hr:168:474932

Metadata
TitleFormalna verifikacija sustava kao mrežna usluga
Title (english)Formal system verification as a web service
AuthorMiroslav Juratovac
MentorNikola Bogunović (mentor)
Committee memberNikola Bogunović (predsjednik povjerenstva)
Committee memberLeonardo Jelenković (član povjerenstva)
Committee memberAnte Đerek (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2014-07-08, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
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.
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:474932
Study programmeTitle: Computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2018-02-06 09:29:34