488 search results - page 54 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
127
click to vote
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
151
Voted
APSCC
2006
IEEE
15 years 7 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
132
click to vote
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
This contribution addresses the problem of obtaining photorealistic 3D models of a scene from images alone with a structure-from-motion approach. The 3D scene is observed from mul...
143
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
116
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...