Portalo naudotojų elgsenos specifikavimo problemos
Straipsniai
Audronė Lupeikienė
Institute of Mathematics and Informatics
Albertas Čaplinskas
Institute of Mathematics and Informatics
Gintautas Dzemyda
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.67
PDF

Reikšminiai žodžiai

portalas
naudotojo elgsenos specifikavimas
laiko ir veiksmų logika

Kaip cituoti

Lupeikienė A., Čaplinskas A. ir Dzemyda G. (2009) „Portalo naudotojų elgsenos specifikavimo problemos“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 380–385. doi: 10.15388/LMR.2009.67.

Santrauka

Straipsnyje yra išsakoma  autorių pozicija korporacijų portalų kūrimo klausimais. Jame teigiama, kad kuriant portalus šiuo metu dažniausiai naudojami nepakankamai formalūs metodai. Autoriai gina teigini, kad prielaidos apie prognozuojamą naudotojų elgseną turėtų būti formuluojamos išreikštiniu būdu ir siūlo tokias prielaidas užrašyti specifikavimo kalba, kuri būtų grindžiama atitinkamai praplėstu laiko ir veiksmų logikos formalizmu.

PDF
Kūrybinių bendrijų licencija

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

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.

Skaitomiausi šio autoriaus(ų) straipsniai