Automatizuotas formalių PLA specifikacijų sudarymas ir interaktyvusis redagavimas

Automatizuotas formalių PLA specifikacijų sudarymas ir interaktyvusis redagavimas

PLA (Atkarpomis tiesinių agregatų) formalizavimo metodas gali būti naudojamas sistemų formalių specifikacijų sudarinėjimui. Sistemų formalios specifikacijos gali būti užrašomos tekstiniu pavidalu, tačiau tai yra labai varginantis procesas, ko pasėkoje gautas rezultatas yra vaizdiniai neinformatyvus...

Full description

Bibliographic Details
Main Author: Šuklevičius, Gediminas
Other Authors: Stulpinas, Raimundas
Format: Dissertation
Language:Lithuanian
Published: Lithuanian Academic Libraries Network (LABT) 2008
Subjects:
Informatics Engineering
PLA
Formali specifikacija
PLA specifikacijų redagavimas
Formal specifications
PLA specification editing
Online Access:http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2008~D_20080710_111851-31550/DS.005.0.02.ETD

Internet

http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2008~D_20080710_111851-31550/DS.005.0.02.ETD

Similar Items