Building and maintaining analysis-level class hierarchies using galois lattices

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn Part F129674, Issue , 1993, Pages 394-410

  Godin, Robert ^a   Mili, Hafedh ^a  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS PROGRAMMING; FORMAL METHODS; REUSABILITY;

CLASS HIERARCHIES; CLASS INTERFACES; EXTERNAL BEHAVIOR; GALOIS LATTICES; INCREMENTAL UPDATING; LATTICE STRUCTURES; OBJECT ORIENTATION; UNDERSTANDABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 84990599852     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/165854.165929     Document Type: Conference Paper

References (25)

1. Bergstein91a. P. Bergstein and K. J. Lieberherr, "Incremental class dictionary learning and optimization", in Proceedings of ECOOP'91, ed. Springer Verlag, pp. 377-395, Geneva, Switzerland, 1991.
2. Brachman85a. Ronald J. Brachman and James G. Schmölze, "An Overview of the KL-ONE Knowledge Representation System", Cognitive Science, vol. 9, pp. 171-216, 1985.
3. Coad91a. Peter Coad and Edward Yourdon, in Object-Oriented Analysis, Prentice Hall, 1991. second edition
4. Cook92a. William R. Cook, "Interfaces and Specifications for the Smalltalk-80 Collection Classes", in Proceedings of OOPSLA'92, pp. 1-15, ACM Press, Vancouver, B. C., Canada, October 18-22, 1992.
5. Cox90a. Brad J. Cox, "Planning the Software Revolution", IEEE Software, vol. 7(6), pp. 25-35, November 1990.
6. Ganter86a. B. Ganter, J. Stahl, and R. Wille, "Conceptual Measurement and Many-Valued Contexts", in Classification as a Tool of Research, ed. M. Schader, pp. 169-176, North-Holland, Amsterdam, 1986.
7. Gennari90a. J. H. Gennari, P. Langley, and D. Fisher, "Models of Incremental Concept Formation", in Machine Learning: Paradigms and Methods, ed. J. Carbonell, pp. 11-62, MIT Press, Amsterdam, the Netherlands, 1990.
8. Gibbs90a. S. Gibbs, D Tsichritzis, E. Casais, O. Nierstrasz, and X. Pintado, "Class Management for Software Communities", Communications of the ACM, vol. 33, no. 9, pp. 90-103, 1990.
9. Godin93a. Robert Godin, Rokia Missaoui, and Alain April, "Experimental Comparison of Navigation in a Galois Lattice with Conventional Information Retrieval Methods", International Journal of Man-Machine Studies, 1993. To appear.
10. Godin86a. R. Godin, E. Saunders, and J. Gecsei, "Lattice Models of Browsable Data Spaces", Journal of Information Sciences, vol. 40, pp. 89-116, 1986.
11. Godin91a. R. Godin, R. Missaoui, and H. Alaoui, "Learning Algorithms Using a Galois Lattice Structure", in Proceedings of the Third International Conference on Tools for Artificial Intelligence, pp. 22-29, IEEE Computer Society Press, San Jose, CA, 1991.
12. Li89a. Q. Li and D. McLeod, "Object Flavor Evolution in an Object-Oriented Database System", in Proceedings of the Second International Conference on Expert Database Systems, ed. L. Kershberg, pp. 469-495, Benjamin/Cummings, 1989.
13. Lipkis82a. Thomas A. Lipkis, "A KL-ONE Classifier", in Proceedings of the 1981 KL-ONE Workshop, ed. J. G. Schmölze & R. J. Brachman, pp. 128-145, Bolt Beraneck and Newman, Inc., June, 1982.
14. Meyer88a. Bertrand Meyer, in Object-Oriented Software Construction, ed. Prentice-Hall International, 1988.
15. Mili92b. Ali Mili, Noureddine Boudrigua, and Fathi Elloumi, "The Lattice of Specifications: Applications to a Specification Methodology", Formal Aspects of Computing, Springer-Verlag, 1992. to appear
16. Mili90a. Hafedh Mili, John Sibert, and Yoav Intrator, "An Object-Oriented Model Based on Relations", Journal of Systems and Software, vol. 12, pp. 139-155, 1990.
17. Mili92a. Hafedh Mili and Roy Rada, "A Model of Hierarchies Based on Graph Homomorphisms", Computers and Mathematics with Applications, vol. 23, no. 2-5, pp. 343-361, Winter 1992.
18. Mili92c. Hafedh Mili and Robert Godin, Software Reuse Research Plan for the SYNERGIE Project, p. 16, Department of Maths and Computer Science, Univ. of Quebec at Montreal, November 17, 1992.
19. Mineau90a. G. Mineau, J. Gecsei, and R. Godin, "Structuring Knowledge Bases using Automatic Learning Processes", in Proceedings of the Sixth International Conference on Data Engineering, pp. 274-280, IEEE Computer Society Press, Los Angeles, CA, 1990.
20. Ossher92a. Harold Ossher and William Harrison, "Combination of Inheritance Hierarchies", SIGPLAN Notices, vol. 27, no. 10, pp. 25-40, Vancouver, B. C. (Canada), October 18-22, 1992. Proceedings of OOPSLA'92.
21. Pedersen89a. Claus H. Pedersen, "Extending Ordinary Inheritance Schemes To Include Generalization", SIGPLAN Notices, vol. 24, no. 10, pp. 407-418, New Orleans, Louisiana, October 1-6, 1989. Proceedings of OOPSLA'89.
22. Prieto-Diaz87a. Ruben Prieto-Diaz and Peter Freeman, "Classifying Software for Reusability", IEEE Software, pp. 6-16, January 1987.
23. Rumbaugh91a. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen, in Object-Oriented Modeling and Design, Prentice Hall, 1991.
24. Wille82a. R. Wille, "Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts", in Ordered Sets, ed. I. Rival, pp. 445-470, Reidel, Dordrecht-Boston, 1982.
25. Wirfs-Brock90a. Rebecca Wirfs-Brock, Brian Wilkerson, and Lauren Wiener, in Designing Object-Oriented Software, Prentice-Hall, 1990.