Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 40021

Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa


Mikuc, Miljenko
Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa, 1997., doktorska disertacija, Fakultet Elektrotehnike i računarstva, Zagreb


CROSBI ID: 40021 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa
(Methods for checking specification correctness of telecommunication processes)

Autori
Mikuc, Miljenko

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet Elektrotehnike i računarstva

Mjesto
Zagreb

Datum
16.07

Godina
1997

Stranica
117

Mentor
Kunštić, Marijan

Ključne riječi
telekomunikacije; specifikacija; verifikacija; procesi; softver; razvojna okolina
(telecommunications; specification; verification; process; software; development environment)

Sažetak
U disertaciji su opisani postupci specifikacije i provjere ispravnosti specifikacije telekomunikacijskih procesa s posebnim naglaskom na formalnim metodama. Osnovni cilj formalnih metoda je pomoć inženjerima pri konstrukciji pouzdanijih sustava. Provjera specifikacije uključuje validaciju i verifikaciju. Neformalno se može reći: validacija je pokazivanje da su dobro postavljeni zahtjevi a verifikacija da je sustav izgrađen u skladu sa zahtjevima. Verifikacijske metode svrstane su u dvije grupe koje koriste dokazivanje teorema ili provjeru modela. Posebno su istaknute integracije različitih pristupa verifikaciji s naglaskom na učinkovitost provjere specifikacijske ispravnosti. Postupci provjere ispravnosti specifikacije te njihov preslik u odgovarajuće pomagalo kao sastavnice inteligentne razvojne okoline za razvoj telekomunikacijskog softvera predloženi su u obliku reprezentativnog laboratorijskog modela. Prikazani su modeli i metode transpozicije iz domene znanja o telekomunikacijskim procesima u jezični prostor te kriteriji izbora tipa jezika koji premošćuje relaciju između znanja i procesa temeljem ponuđene tehnologije. Niti jedna od poznatih metoda ne zadovoljava sve potrebe te je istraživanje formalnih specifikacijskih jezika koji bi se upotrebljavali u području programskog inženjeringa još uvijek značajno područje aktivnog istraživanja. Jedno od predloženih rješenja je integriranje dokazivača teorema opće namjene sa specifičnim tehnikama provjere modela. Formalne tehnike mogu osigurati ispravno provođenje međukoraka dizajna ali i dalje ostaje problem ispravnog postavljanja specifikacije na najvišem nivou.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA


Projekti:
036004

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (mentor)

Avatar Url Miljenko Mikuc (autor)


Citiraj ovu publikaciju

Mikuc, Miljenko
Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa, 1997., doktorska disertacija, Fakultet Elektrotehnike i računarstva, Zagreb
Mikuc, M. (1997) 'Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa', doktorska disertacija, Fakultet Elektrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Mikuc, M.}, year = {1997}, pages = {117}, keywords = {telekomunikacije, specifikacija, verifikacija, procesi, softver, razvojna okolina}, title = {Postupci provjere ispravnosti specifikacije telekomunikacijskih procesa}, keyword = {telekomunikacije, specifikacija, verifikacija, procesi, softver, razvojna okolina}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Mikuc, M.}, year = {1997}, pages = {117}, keywords = {telecommunications, specification, verification, process, software, development environment}, title = {Methods for checking specification correctness of telecommunication processes}, keyword = {telecommunications, specification, verification, process, software, development environment}, publisherplace = {Zagreb} }




Contrast
Increase Font
Decrease Font
Dyslexic Font