26 search results - page 2 / 6 » An Approach to Detecting Domain Errors Using Formal Specific... |
ICDE
2011
IEEE
12 years 8 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
ICSE
2001
IEEE-ACM
13 years 9 months ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
FIW
2007
13 years 6 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
BPM
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...