2881 search results - page 192 / 577 » Model Checking for Programming Languages using Verisoft |
172
Voted
SPLC
2008
15 years 7 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
167
click to vote
TR
2008
15 years 6 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
169
click to vote
AICCSA
2006
IEEE
16 years 13 days ago
2006
IEEE
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
160
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...