1856 search results - page 30 / 372 » Formal Dialectic Specification |
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
100
click to vote
MPC
1998
Springer
15 years 6 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
118
click to vote
CALCO
2007
Springer
15 years 5 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
115
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...