Elektroninių paslaugų modelių verifikavimo galimybių tyrimas

Elektroninių paslaugų modelių verifikavimo galimybių tyrimas

Web services provide means to computerize e-business processes. To be able to satisfy business requirements web services must be developed rapidly and in high quality. Code generation techniques are frequently employed. In such context, verification of web service models emerges as a relevant issue:...

Full description

Bibliographic Details
Main Author: Mickūnas, Viktoras
Other Authors: Jasinevičius, Raimundas
Format: Dissertation
Language:Lithuanian
Published: Lithuanian Academic Libraries Network (LABT) 2005
Subjects:
Informatics
webservices
Algoritmai
UML
Algorithms
Verifikavimas
State machines
Elektroninės paslaugos
Būsenų mašinos
Verification
Online Access:http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2005~D_20050524_175118-23127/DS.005.0.02.ETD

Internet

http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2005~D_20050524_175118-23127/DS.005.0.02.ETD

Similar Items