Formalisation of the component specification

Vaidas Giedrimas; Audronė Lupeikienė

doi:10.15388/LMR.2004.31660

Straipsniai

Vaidas Giedrimas

Institute of Mathematics and Informatics

Audronė Lupeikienė

Institute of Mathematics and Informatics

Publikuota 2004-12-17

https://doi.org/10.15388/LMR.2004.31660

pdf

Kaip cituoti

Giedrimas, V. ir Lupeikienė, A. (2004) „Komponento specifikacijos formalizavimas“, Lietuvos matematikos rinkinys, 44(spec.), p. 276–280. doi:10.15388/LMR.2004.31660.

Atsisiųsti citatas

Anotacija

Santraukos nėra.

pdf

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

Audronė Lupeikienė, Albertas Čaplinskas, Gintautas Dzemyda, Portalo naudotojų elgsenos specifikavimo problemos , Lietuvos matematikos rinkinys: T. 50 (2009)
Albertas Čaplinskas, Audronė Lupeikienė, Programų, informacinių ir verslo sistemoms kurti naudojamų žinių formalizavimo problemos , Lietuvos matematikos rinkinys: T. 41 (2001)
Lina Bagušytė, Audronė Lupeikienė, Jungčių aibė organizacijos informacinės sistemos architektūrai , Lietuvos matematikos rinkinys: T. 50 (2009)
Lina Bagušytė, Audronė Lupeikienė, Komponentinė informacinės sistemos dekompozicija , Lietuvos matematikos rinkinys: T. 47 (2007)
Lina Bagušytė, Audronė Lupeikienė, Programinio komponento ontologijos formalioji specifikacija , Lietuvos matematikos rinkinys: T. 45 (2005)
Vaidas Giedrimas, Audronė Lupeikienė, Komponentinių programų struktūrinės sintezės teorinės problemos , Lietuvos matematikos rinkinys: T. 45 (2005)
Vaidas Giedrimas, Induktyvinis metodas komponentinių programų sintezėje , Lietuvos matematikos rinkinys: T. 46 (2006)
Vaidas Giedrimas, Programų sistemų automatizuoto surinkimo iš gatavų komponentų uždavinys , Lietuvos matematikos rinkinys: T. 43 (2003)