Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
An algorithm for insertion into a lattice: application to type classification
3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
Knowledge acquisition by methods of formal concept analysis
Proceedings of the conference on Data analysis, learning symbolic and numeric knowledge
Object-preserving class transformations
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Eiffel: the language
From objects to classes: algorithms for optimal objection-oriented design
Software Engineering Journal
Combination of inheritance hierarchies
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Prototype-based languages: from a new taxonomy to constructive proposals and their validation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Creating abstract superclasses by refactoring
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Proposal for a monotonic multiple inheritance linearization
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Automatic inheritance hierarchy restructuring and method refactoring
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Structuring Knowledge Bases Using Automatic Learning
Proceedings of the Sixth International Conference on Data Engineering
An Incremental Class Reorganization Approach
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Automatic inheritance hierarchy restructuring and method refactoring
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic method refactoring using weighted dependence graphs
Proceedings of the 21st international conference on Software engineering
Computing iceberg concept lattices with TITANIC
Data & Knowledge Engineering
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Efficient Data Mining Based on Formal Concept Analysis
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Applying traits to the smalltalk collection classes
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Relational concept discovery in structured datasets
Annals of Mathematics and Artificial Intelligence
Discovering shared conceptualizations in folksonomies
Web Semantics: Science, Services and Agents on the World Wide Web
Redesigning with traits: the Nile stream trait-based library
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Traits at work: The design of a new trait-based stream library
Computer Languages, Systems and Structures
Generating a catalog of unanticipated schemas in class hierarchies using Formal Concept Analysis
Information and Software Technology
Building abstractions in class models: formal concept analysis in a model-driven approach
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Formal concept analysis-based class hierarchy design in object-oriented software development
Formal Concept Analysis
Hi-index | 0.00 |
Several algorithms [Cas92, MS89, Run92, DDHL94a, DDHL95, GMM95] have been proposed to automatically insert a class into an inheritance hierarchy. But actual hierarchies all include overriden and overloaded properties that these algorithms handle either very partially or not at all. Partially handled means handled provided there is a separate given function f able to compare overloaded properties [DDHL95, GMM95].In this paper, we describe a new version of our algorithm (named Ares) which handles automatic class insertion more efficiently using such a function f. Although impossible to fully define, this function can be computed for a number of well defined cases of overloading and overriding. We give a classification of such cases and describe the computation process for a well-defined set of nontrivial cases.The algorithm preserves these important properties:- preservation of the maximal factorization of properties- preservation of the underlying structure (Galois lattice) of the input hierarchy- conservation of relevant classes of the input hierarchy with their properties.