3742 search results - page 103 / 749 » On the Use of Formal Techniques for Validation |
148
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
160
click to vote
CLA
2006
15 years 7 months ago
2006
Formal Concept Analysis (FCA) considers attributes as a non-ordered set. This is appropriate when the data set is not structured. When an attribute taxonomy exists, existing techni...
180
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
163
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
168
click to vote
VLSID
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...