| Naslov: | Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture : magistrsko delo |
|---|
| Avtorji: | ID Dedič, David (Avtor)
ID Brezočnik, Zmago (Mentor) Več o mentorju...  |
|---|
| Datoteke: |  MAG_Dedic_David_i2016.pdf (4,89 MB)
MD5: 642E5C6EFBEA27A903EB5A3D7AE84C18
|
|---|
| Jezik: | Slovenski jezik |
|---|
| Vrsta gradiva: | Magistrsko delo |
|---|
| Tipologija: | 2.09 - Magistrsko delo |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Opis: | V sodobnem svetu elektronskega poslovanja je storitveno usmerjena arhitektura vse pogosteje uporabljen koncept. Omogoča nam, da lahko prek spletnih storitev dostopamo do funkcionalnosti spletnih aplikacij. Uporaba spletnih aplikacij ima pred aplikacijami, ki tečejo na lokalnem računalniku, številne prednosti: aplikacij ni potrebno nameščati lokalno, uporabljamo jih lahko na različnih napravah in platformah, hkrati jih lahko neodvisno uporablja več uporabnikov, do njih lahko dostopamo od koderkoli, potrebujemo le spletni brskalnik in povezavo z internetom. V okviru magistrskega dela smo izdelali spletno aplikacijo, ki prek spletnih storitev omogoča uporabo orodja EST za formalno verifikacijo. Uspešnost in uporabniško izkušnjo razvitega spletnega okolja smo pokazali na več primerih sistemov s sočasnostjo, katerih pravilnost smo verificirali s testiranjem ekvivalence in preverjanjem modelov. |
|---|
| Ključne besede: | storitveno usmerjena arhitektura, spletne storitve, formalna verifikacija, preverjanje podatkov, EST, magistrske naloge |
|---|
| Kraj izida: | [Maribor |
|---|
| Kraj izvedbe: | [Maribor |
|---|
| Založnik: | D. Dedič |
|---|
| Leto izida: | 2016 |
|---|
| Leto izvedbe: | 2016 |
|---|
| Št. strani: | XX, 141 str. |
|---|
| PID: | 20.500.12556/DKUM-64511 |
|---|
| UDK: | 004.273:004.777(043) |
|---|
| COBISS.SI-ID: | 19862806 |
|---|
| NUK URN: | URN:SI:UM:DK:8T65BEJK |
|---|
| Datum objave v DKUM: | 12.10.2016 |
|---|
| Število ogledov: | 2003 |
|---|
| Število prenosov: | 146 |
|---|
| Metapodatki: |    |
|---|
| Področja: | KTFMB - FERI
|
|---|
|
:
|
Kopiraj citat |
|---|
| | | | Skupna ocena: | (0 glasov) |
|---|
| Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
|---|
| Objavi na: |  |
|---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
