3424 search results - page 331 / 685 » Automated Testing of Classes |
171
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
168
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
160
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
144
click to vote
HUC
2004
Springer
16 years 2 days ago
2004
Springer
We explore the social and technical design issues involved in tracking the effectiveness of educational and therapeutic interventions for children with autism (CWA). Automated capt...
163
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...