Formalisation of the component specification

Vaidas Giedrimas; Audronė Lupeikienė

doi:10.15388/LMR.2004.31660

Straipsniai

Vaidas Giedrimas

Matematikos ir informatikos institutas

Audronė Lupeikienė

Matematikos ir informatikos institutas

Publikuota 2004-12-17

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

pdf

Kaip cituoti

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

Atsisiųsti citatą

Santrauka

Santraukos nėra.

pdf

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Audronė Lupeikienė, Albertas Čaplinskas, Gintautas Dzemyda, Portalo naudotojų elgsenos specifikavimo problemos , Lietuvos matematikos rinkinys: T 50 (2009)
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)
Vaidas Giedrimas, Induktyvinis metodas komponentinių programų sintezėje , Lietuvos matematikos rinkinys: T 46 (2006)
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, Programų sistemų automatizuoto surinkimo iš gatavų komponentų uždavinys , Lietuvos matematikos rinkinys: T 43 (2003)
Albertas Čaplinskas, Audronė Lupeikienė, Programų, informacinių ir verslo sistemoms kurti naudojamų žinių formalizavimo problemos , Lietuvos matematikos rinkinys: T 41 (2001)