473 search results - page 72 / 95 » Aspect Validation Using Model Checking |
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
COLING
1996
14 years 12 days ago
1996
The paper presents a consolidated set of principles of cooperative spoken human-machine dialogue which have the potential tor being turned into practically applicable design guide...
JUCS
2010
13 years 5 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
SAC
2010
ACM
13 years 11 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
AMOST
2007
ACM
14 years 3 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...