Sciweavers

194 search results - page 3 / 39
» Formal concept analysis applied to fault localization
Sort
View
FM
2003
Springer
139views Formal Methods» more  FM 2003»
13 years 11 months ago
Combining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
Andreas Schäfer
JIPS
2010
107views more  JIPS 2010»
13 years 16 days ago
Incremental Model-based Test Suite Reduction with Formal Concept Analysis
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
Pin Ng, Richard Y. K. Fung, Ray W. M. Kong
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
13 years 11 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
MIE
2008
150views Healthcare» more  MIE 2008»
13 years 7 months ago
Mining for Adverse Drug Events with Formal Concept Analysis
: The pharmacovigilance databases consist of several case reports involving drugs and adverse events (AEs). Some methods are applied consistently to highlight all signals, i.e. all...
Alexander Estacio-Moreno, Yannick Toussaint, C&eac...
SAC
2010
ACM
14 years 18 days ago
Background knowledge in formal concept analysis: constraints via closure operators
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...
Radim Belohlávek, Vilém Vychodil