1001 search results - page 58 / 201 » Testing Formal Dialectic |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
PPSN
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we present the Dinosaur Hypothesis, which states that the behaviour of a market never settles down and that the population of predictors continually co-evolves with t...
HCI
2009
13 years 7 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...
JSS
2002
13 years 9 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
GI
2001
Springer
14 years 1 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...