898 search results - page 102 / 180 » The Certification of Software Tools with respect to Software... |
168
click to vote
DOA
2000
15 years 7 months ago
2000
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
139
click to vote
PTS
2010
15 years 4 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
163
click to vote
IFIP12
2009
15 years 4 months ago
2009
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...
153
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
151
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...