3742 search results - page 402 / 749 » On the Use of Formal Techniques for Validation |
152
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
170
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
173
click to vote
HIS
2009
15 years 4 months ago
2009
In this quickly developed and shifting era of Internet, how to make use of webpage indexing structure or search engines which let information demanders fast and precisely search a...
186
click to vote
EDBT
2011
ACM
14 years 10 months ago
2011
ACM
This demonstration paper presents a probabilistic XML data merging tool, that represents the outcome of semi-structured document integration as a probabilistic tree. The system is...
204
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...