1940 search results - page 87 / 388 » Dependable Software: An Oxymoron |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Successful employment of semantic web services depends on the availability of high quality ontologies to describe the domains of these services. As always, building such ontologies...
HVC
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
ERSHOV
2006
Springer
14 years 17 days ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
AICCSA
2001
IEEE
14 years 17 days ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
IJCAI
2007
13 years 10 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...