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.
| Identifer | oai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2005~D_20050525_122733-20781 |
| Date | 25 May 2005 |
| Creators | Bakanas, Aivaras |
| Contributors | Butleris, Rimantas, Štuikys, Vytautas, Rubliauskas, Dalius, Bareiša, Eduardas, Motiejūnas, Kęstutis, Kazanavičius, Egidijus, Pranevičius, Henrikas, Stulpinas, Raimundas, Šeinauskas, Rimantas, Kaunas University of Technology |
| Publisher | Lithuanian Academic Libraries Network (LABT), Kaunas University of Technology |
| Source Sets | Lithuanian ETD submission system |
| Language | Lithuanian |
| Detected Language | English |
| Type | Master thesis |
| Format | application/pdf |
| Source | http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2005~D_20050525_122733-20781 |
| Rights | Unrestricted |
Page generated in 0.0018 seconds