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. and Dzemyda, G. (2009) “Portalo naudotojų elgsenos specifikavimo problemos”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 3 > >>