eLABa objektas:   "Agregatinių specifikacijų interaktyvus redagavimas ir imitacinis modeliavimas", 2005,D:20050525:122733-20781
E. dokumentai
ETD (LT)
visi dokumentai ...
URL nuoroda http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2005~D_20050525_122733-20781
Dokumentas Magistro darbas
Prieigos teisės Laisvai prieinamas internete.
Institucija Kauno technologijos universitetas
Mokslo kryptis 07 T - Informatikos inžinerija
Atsakomybė Bakanas, Aivaras - Magistro baigiamojo darbo autorius
Butleris, Rimantas - Magistro baigiamojo darbo vertinimo komisijos narys
Štuikys, Vytautas - Magistro baigiamojo darbo vertinimo komisijos narys
Rubliauskas, Dalius - Magistro baigiamojo darbo vertinimo komisijos narys
Bareiša, Eduardas - Magistro baigiamojo darbo vertinimo komisijos narys
Motiejūnas, Kęstutis - Magistro baigiamojo darbo vertinimo posėdžio sekretorius
Kazanavičius, Egidijus - Magistro baigiamojo darbo vertinimo komisijos narys
Pranevičius, Henrikas - Magistro baigiamojo darbo vadovas
Bareiša, Eduardas - Magistro baigiamojo darbo recenzentas
Stulpinas, Raimundas - Magistro baigiamojo darbo vertinimo komisijos pirmininkas
Šeinauskas, Rimantas - Magistro baigiamojo darbo vertinimo komisijos narys
Kauno technologijos universitetas - Mokslinį laipsnį teikianti institucija
Antraštė (-ės) Agregatinių specifikacijų interaktyvus redagavimas ir imitacinis modeliavimas
Interactive edit of PLA specifications and simulation modeling
Santrauka [EN]

PLA method can be used to formally specify systems. Systems specifications are written as text, what is exhaustive and understandable, but unfortunately are not visual, and user can’t quickly acquaintance with the formalized system.

This article presents a way to represent aggregates specifications visually, which eases an acquaintance with specification. This article also presents a software tool to visually design formal specifications.

Raktažodžiai: specification, agregatinė specifikacija, UML, PLA, PLA-CA, simulation, specifikacija, formal specifications, imitacinis modeliavimas