Advertisement

Tool Support for FCA

  • Thomas Tilley
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2961)

Abstract

Over the last two decades a number of tools have been developed to support the application of Formal Concept Analysis (FCA) to a wide variety of domains. This paper presents an overview of tool support for FCA.

Keywords

Association Rule Formal Concept Analysis Joint Photographic Expert Group Line Diagram Layout Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Duquenne, V., Chabert, C., Cherfouh, A., Delabar, J.M., Doyen, A.L., Pickering, D.: Structuration of phenotypes/genotypes through galois lattices and implications. In: Nguifo, E., Liquiére, M., Duquenne, V. (eds.) CLKDD 2001: Concept Lattices-based Theory, Methods and Tools for Knowledge Discovery in Databases, vol. 42, pp. 21–32. CEUR (2001)Google Scholar
  2. 2.
    Burmeister, P.: Formal concept analysis with ConImp: Introduction to the basic features. Technical report, TU-Darmstadt, Darmstadt, Germany (1996) Google Scholar
  3. 3.
    Hereth, J.: DOS programs of the Darmstadt research group on formal concept analysis (1999) Google Scholar
  4. 4.
    Becker, P., Correia, J.H.: The ToscanaJ suite for implementing conceptual info. systems. In: Stumme, G., ed.: Proceedings of the First Int’l Conf. on Formal ConceptAnalysis - ICFCA 2003, Springer-Verlag (2003) (to appear)Google Scholar
  5. 5.
    Vogt, F., Wille, R.: TOSCANA- a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol. 894, pp. 226–233. Springer, Heidelberg (1995)Google Scholar
  6. 6.
    Groh, B.: A Contextual-Logic Framework based on Relational Power Context Families. PhD thesis, Griffith Uni., School of Info. and Communication Tech. (2002) Google Scholar
  7. 7.
    Becker, P.: Multi-dimensional representations of conceptual hierarchies. In: Conceptual Structures—Extracting and Representing Semantics, Contributions to ICCS 2001, pp. 145–158 (2001)Google Scholar
  8. 8.
    Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)zbMATHGoogle Scholar
  9. 9.
    Valtchev, P., Gosser, D., Roume, C., Hacene, M.: Galicia: an open platform for lattices. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 241–254. Shaker Verlag, Aachen (2003)Google Scholar
  10. 10.
    Valtchev, P., Missaoui, R., Godin, R., Meridji, M.: Generating frequent itemsets incrementally: two novel approaches based on galois lattice theory. Journal of Experimental and Theoretical Artificial Intelligence (JETAI): Special Issue on Concept Lattice-based theory, methods and tools for Knowledge Discovery in Databases 14, 115–142 (2002)zbMATHGoogle Scholar
  11. 11.
    Valtchev, P., Missaoui, R., Godin, R.: A framework for incremental generation of frequent closed itemsets. In: Proceedings of theWorkshop on Discrete Mathematics and Data Mining (DM&DM 2002), Arlington, VA (2002)Google Scholar
  12. 12.
    Huchard, M., Roume, C., Valtchev, P.: When concepts point at other concepts: the case of UML diagram reconstruction. In: Advances in Formal Concept Analysis for Knowledge Discovery in Databases, FCAKDD 2002, pp. 32–43 (2002)Google Scholar
  13. 13.
    Düwel, S.: BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung. PhD thesis, Philipps-Universität, Marburg (2000) Google Scholar
  14. 14.
    Taran, T., Tkachev, O.: Applications of formal concept analysis in humane studies. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 271–274. Shaker Verlag, Aachen (2003)Google Scholar
  15. 15.
    Cole, R., Eklund, P.: Scalability in formal concept analysis. Computational Intelligence 15, 11–27 (1999)CrossRefGoogle Scholar
  16. 16.
    Cole, R., Eklund, P., Stumme, G.: CEM - A program for visualization and discovery in email. In: Zighed, D.A., Komorowski, J., Żytkow, J.M. (eds.) PKDD 2000. LNCS (LNAI), vol. 1910, pp. 367–374. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  17. 17.
    Lindig, C., Snelting, G.: Assessing modular structure of legacy code based on mathematical concept analysis. In: Proceedings of the Int’l Conf. on Software Eng. (ICSE 1997), Boston, pp. 349–359 (1997)Google Scholar
  18. 18.
    Snelting, G.,Tip, F.: Reengineering class hierarchies using concept analysis. Technical Report RC 21164(94592)24APR97, IBM T.J. Watson Research Center, IBM T.J. Watson Research Center, P.O. Box 704,Yorktown Heights, NY 10598, USA (1997) Google Scholar
  19. 19.
    Lindig, C.: Concept-based component retrieval. In: Köhler, J., Giunchiglia, F., Green, C., Walther, C. (eds.) Working Notes of the IJCAI 1995 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pp. 21–25 (1995)Google Scholar
  20. 20.
    van Deursen, A., Kuipers, T.: Identifying objects using cluster and concept analysis. In: Proceedings of the 21st Int’l Conf. on Software Eng., ICSE-1999, pp. 246–255. ACM, New York (1999)CrossRefGoogle Scholar
  21. 21.
    Kuipers, T., Moonen, L.: Types and concept analysis for legacy systems. Technical Report SEN-R0017, Centrum voor Wiskunde en Informatica (2000) Google Scholar
  22. 22.
    Eisenbarth, T., Koschke, R., Simon, D.: Locating features in source code. IEEE Transactions on Software Eng. 29, 195–209 (2003)CrossRefGoogle Scholar
  23. 23.
    Ammons, G., Mandelin, D., Bodik, R., Larus, J.: Debugging temporal specifications with concept analysis. In: Proceedings of the Conf. on Programming Language Design and Implementation PLDI 2003, ACM, New York (2003)Google Scholar
  24. 24.
    Bojic, D., Velasevic, D.: Reverse eng. of use case realizations in UML. In: Symposium on Applied Computing - SAC 2000, ACM, New York (2000)Google Scholar
  25. 25.
    Böttger, K., Schwitter, R., Richards, D., Aguilera, O., Mollá, D.: Reconciling use cases via controlled language and graphical models. In: INAP 2001 - Proc. of the 14th Int’l Conf. on Applications of Prolog, Japan, Uni. of Tokyo, pp. 20–22 (2001)Google Scholar
  26. 26.
    Tonella, P.: Concept analysis for module restructuring. IEEE Transactions on Software Eng. 27, 351–363 (2001)CrossRefGoogle Scholar
  27. 27.
    Antoniol, G., Fiutem, R., Lutteri, G., Tonella, P., Zanfei, S.: Program understanding and maintenance with the CANTO environment. In: Proceedings Int’l Conf. on Software Maintenance, pp. 72–81 (1997)Google Scholar
  28. 28.
    Arévalo, G.: Understanding behavioral dependencies in class hierarchies using concept analysis. In: Proceedings of LMO 2003 (Langages et Modéles á Object), Paris, France, Hermes (2003)Google Scholar
  29. 29.
    Arévalo, G., Ducass, S., Nierstrasz, O.: Understanding classes using x-ray views. In: MASPEGHI 2003, MAnaging SPEcialization/Generalization HIerarchies (MASPEGHI) Workshop at ASE 2003, Montreal, Canada (2003); Preliminary VersionGoogle Scholar
  30. 30.
    Buchli, F.: Detecting software patterns using formal concept analysis. Technical Report IAM- 03-010, Institut für Informatik und angewandte Mathematik, Universität Bern, Switzerland (2003) Google Scholar
  31. 31.
    Tilley, T.: Towards an FCA based tool for visualising formal specifications. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, pp. 227–240. Shaker Verlag, Aachen (2003)Google Scholar
  32. 32.
    Spivey, J.: The Z notation: a reference manual. Prentice-Hall Int’l, Englewood Cliffs (1989)zbMATHGoogle Scholar
  33. 33.
    Sun, J., Dong, J., Lui, J., Wang, H.: Object-Z web environment and projections to UML. In: WWW10 - 10th Int’l World Wide Web Conf., pp. 725–734. ACM, New York (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Thomas Tilley
    • 1
  1. 1.School of Information Technology and Electrical EngineeringUniversity of QueenslandBrisbaneAustralia

Personalised recommendations