731 search results - page 90 / 147 » Specification Matching of Software Components |
179
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
162
click to vote
DASIP
2010
15 years 1 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
140
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
142
click to vote
JUCS
2010
15 years 4 months ago
2010
: There are many examples of augmented objects in the literature. Augmented objects should provide intelligence to the ambient where they are located and also they must require a l...
168
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...