234 search results - page 8 / 47 » Validation of requirement models by automatic prototyping |
107
Voted
GI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
112
Voted
ICSOC
2010
Springer
14 years 9 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
SE
2007
15 years 8 days ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
120
click to vote
TVLSI
2008
14 years 10 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
AMR
2006
Springer
15 years 2 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...