714 search results - page 46 / 143 » Verification and Compliance Testing |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
HT
2004
ACM
14 years 1 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
CODES
2000
IEEE
14 years 22 hour ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...