1856 search results - page 147 / 372 » Formal Dialectic Specification |
140
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
135
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
132
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
125
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
133
click to vote
ENTCS
2006
15 years 4 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...