Portalo naudotojų elgsenos specifikavimo problemos
Straipsniai
Audronė Lupeikienė
Institute of Mathematics and Informatics image/svg+xml
Albertas Čaplinskas
Institute of Mathematics and Informatics image/svg+xml
Gintautas Dzemyda
Institute of Mathematics and Informatics image/svg+xml
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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 3 > >>