2873 search results - page 345 / 575 » Model Checking and the Mu-calculus |
128
click to vote
CGF
1999
15 years 3 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
120
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
144
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
116
click to vote
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, software size becomes larger, and consequently, not only a software developer but also a software purchaser suffers considerable losses by software project failure. So av...
162
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...