Formalna verifikacija sustava kao mrežna usluga
Sažetak na hrvatskom: 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 k...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:45498/Details |
|---|---|
| Glavni autor: | Juratovac, Miroslav (-) |
| Ostali autori: | Bogunović, Nikola (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
M. Juratovac,
2014.
|
| Predmet: |
formalna verifikacija
> mrežna usluga
> web usluga
> web aplikacija
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
formal verification
> web service
> web application
> PHP
> MySQL
> Apache
> Ubuntu
> REST
> OAuth
> VIS
> NuSMV
|
| LEADER | 02805na a2200241 4500 | ||
|---|---|---|---|
| 003 | HR-ZaFER | ||
| 005 | 20160516012020.0 | ||
| 008 | 160221s2014 ci ||||| m||| 00| 0 hr d | ||
| 035 | |a (HR-ZaFER)ferid1483 | ||
| 040 | |a HR-ZaFER |b hrv |c HR-ZaFER |e ppiak | ||
| 100 | 1 | |a Juratovac, Miroslav |9 35095 | |
| 245 | |a Formalna verifikacija sustava kao mrežna usluga : |b diplomski rad / |c Miroslav Juratovac ; [mentor Nikola Bogunović]. | ||
| 246 | 1 | |a Formal system verification as a web service |i Naslov na engleskom: | |
| 260 | |a Zagreb, |b M. Juratovac, |c 2014. | ||
| 300 | |a 70 str. ; |c 30 cm + |e CD-ROM | ||
| 502 | |b diplomski studij |c Fakultet elektrotehnike i računarstva u Zagrebu |g smjer: Programsko inženjerstvo i informacijski sustavi, šifra smjera: 54, datum predaje: 2014-06-30, datum završetka: 2014-07-08 | ||
| 520 | 3 | |a Sažetak na hrvatskom: 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. | |
| 520 | 3 | |a Sažetak na engleskom: 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. | |
| 653 | 1 | |a formalna verifikacija |a mrežna usluga |a web usluga |a web aplikacija |a PHP |a MySQL |a Apache |a Ubuntu |a REST |a OAuth |a VIS |a NuSMV | |
| 653 | 1 | |a formal verification |a web service |a web application |a PHP |a MySQL |a Apache |a Ubuntu |a REST |a OAuth |a VIS |a NuSMV | |
| 700 | 1 | |a Bogunović, Nikola |4 ths |9 9941 | |
| 942 | |c Y |2 udc | ||
| 999 | |c 45498 |d 45498 | ||