1492 search results - page 108 / 299 » Automatic Software Model Checking Using CLP |
111
click to vote
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
IUI
2012
ACM
13 years 5 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
QSIC
2007
IEEE
15 years 4 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
GI
2001
Springer
15 years 2 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...