Sciweavers

13 search results - page 1 / 3
» ibmsj 2002
Sort
View
IBMSJ
2002
41views more  IBMSJ 2002»
13 years 5 months ago
XQuery: An XML query language
Donald D. Chamberlin
IBMSJ
2002
44views more  IBMSJ 2002»
13 years 5 months ago
Software debugging, testing, and verification
Brent Hailpern, Padmanabhan Santhanam
IBMSJ
2002
63views more  IBMSJ 2002»
13 years 5 months ago
XML programming with SQL/XML and XQuery
John E. Funderburk, Susan Malaika, Berthold Reinwa...
IBMSJ
2002
42views more  IBMSJ 2002»
13 years 5 months ago
Web services and business process management
Frank Leymann, Dieter Roller, Marc-Thomas Schmidt
IBMSJ
2002
36views more  IBMSJ 2002»
13 years 5 months ago
FLAVERS: A finite state verification technique for software systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste...