783 search results - page 108 / 157 » Compositional Reasoning in Model Checking |
137
Voted
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
132
click to vote
IEE
2008
15 years 2 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
123
Voted
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
156
Voted
ENTCS
2006
15 years 2 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
129
click to vote
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...