Sciweavers

JIPS
2010
107views more  JIPS 2010»
12 years 11 months 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
AOSD
2009
ACM
13 years 2 months ago
Concept analysis for product line requirements
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
Nan Niu, Steve M. Easterbrook
KSEM
2010
Springer
13 years 2 months ago
Large-Scale, Exhaustive Lattice-Based Structural Auditing of SNOMED CT
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
Guo-Qiang Zhang
ICSOC
2010
Springer
13 years 3 months ago
A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection
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...
Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Ma...
ADBIS
2010
Springer
203views Database» more  ADBIS 2010»
13 years 3 months ago
Detecting XML Functional Dependencies through Formal Concept Analysis
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
Katalin Tunde Janosi-Rancz, Viorica Varga, Timea N...
SAC
2008
ACM
13 years 4 months ago
Adding background knowledge to formal concept analysis via attribute dependency formulas
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
Radim Belohlávek, Vilém Vychodil
FUIN
2007
121views more  FUIN 2007»
13 years 4 months ago
A Possibility-Theoretic View of Formal Concept Analysis
Abstract. The paper starts from the standard relational view linking objects and properties in formal concept analysis, here augmented with four modal-style operators (known as suf...
Didier Dubois, Florence Dupin de Saint-Cyr, Henri ...
FSS
2007
176views more  FSS 2007»
13 years 4 months ago
Set approximations in fuzzy formal concept analysis
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
Ming-Wen Shao, Min Liu, Wen-Xiu Zhang
JWSR
2006
63views more  JWSR 2006»
13 years 4 months ago
Using Concept Lattices to Support Service Selection
When building a service
Lerina Aversano, Marcello Bruno, Gerardo Canfora, ...
FUIN
2006
103views more  FUIN 2006»
13 years 4 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...