| Title |
Automatizuotas formalių PLA specifikacijų sudarymas ir interaktyvusis redagavimas / |
| Translation of Title |
Automated creation and interactive editing of PLA specifications. |
| Authors |
Šuklevičius, Gediminas |
| Full Text |
|
| Pages |
58 |
| Keywords [eng] |
PLA ; formal specifications ; PLA specification editing |
| Abstract [eng] |
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 visually and quite easily write systems specifications using PLA formalization method. This article also presents a software tool to accomplish this task. That’s graphical editor – a subsystem of a formal complex systems integrated analysis automatization system (FSA). |
| Type |
Master thesis |
| Language |
Lithuanian |
| Publication date |
2008 |
