Tool support for FCA

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2961, Issue , 2004, Pages 104-111

  Tilley, Thomas ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION ANALYSIS; CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER GRAPHICS; FORTRAN (PROGRAMMING LANGUAGE); JAVA PROGRAMMING LANGUAGE; PERSONAL COMPUTERS; PLOTTERS (COMPUTER); STATISTICS; VISUALIZATION;

FORMAL CONCEPT ANALYSES (FCA); TOOL SUPPORT;

FORMAL CONCEPT ANALYSIS; DOS;

APPLIED STATISTICS; DOS-BASED TOOLS; FINITE LATTICES; FORMAL CONCEPT LATTICES;

EID: 9444243851     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24651-0_11     Document Type: Conference Paper

References (33)

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'01: Concept Lattices-based Theory, Methods and Tools for Knowledge Discovery in Databases. Volume 42., CEUR (2001) 21-32
2. Burmeister, P.: Formal concept analysis with ConImp: Introduction to the basic features. Technical report, TU-Darmstadt, Darmstadt, Germany (1996)
3. Hereth, J.: DOS programs of the Darmstadt research group on formal concept analysis (1999)
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'03, Springer-Verlag (2003) to appear.
5. Vogt, F.,Wille, R.: TOSCANA- a graphical tool for analyzing and exploring data. InTamassia, R., Tollis, I., eds.: Proceedings of the DIMACS Int'lWorkshop on Graph Drawing (GD'94). Lecture Notes in Comp. Sci. 894, Berlin-Heidelberg, Springer-Verlag (1995) 226-233
6. Groh, B.: A Contextual-Logic Framework based on Relational Power Context Families. PhD thesis, Griffith Uni., School of Info. and Communication Tech. (2002)
7. Becker, P.: Multi-dimensional representations of conceptual hierarchies. In: Conceptual Structures - Extracting and Representing Semantics, Contributions to ICCS 2001. (2001) 145-158
8. Ganter, B.,Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer-Verlag, Berlin (1999)
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, Shaker Verlag (2003) 241-254
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 (2002) 115-142
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&DM2002), Arlington, VA (2002)
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. (2002) 32-43
13. Düwel, S.: BASE - ein begriffsbasiertes Analyseverfahren für die Software-Entwicklung. PhD thesis, Philipps-Universität, Marburg (2000)
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, Shaker Verlag (2003) 271-274
15. Cole, R., Eklund, P.: Scalability in formal concept analysis. Computational Intelligence, 15 (1999) 11-27
16. R. Cole, P.E., Stumme, G.: CEM - a program for visualization and discovery in email. In Zighed, D., Kormorowski, J., Zytkow, J., eds.: Proceedings of PKDD 2000. LNAI 1910, Berlin, Springer-Verlag (2000) 367-374
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 97), Boston (1997) 349-359
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)
19. Lindig, C.: Concept-based component retrieval. In Köhler, J., F., Giunchiglia, Green, C., Walther, C., eds.: Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs. (1995) 21-25
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-99, ACM (1999) 246-255
21. Kuipers, T., Moonen, L.: Types and concept analysis for legacy systems. Technical Report SEN-R0017, Centrum voorWiskunde en Informatica (2000)
22. Eisenbarth, T., Koschke, R., Simon, D.: Locating features in source code. IEEE Transactions on Software Eng. 29 (2003) 195-209
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'03, ACM (2003)
24. Bojic, D., Velasevic, D.: Reverse eng. of use case realizations in UML. In: Symposium on Applied Computing - SAC2000, ACM (2000)
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 (2001) 20-22
26. Tonella, P.: Concept analysis for module restructuring. IEEE Transactions on Software Eng. 27 (2001) 351-363
27. Antoniol, G., Fiutem, R., Lutteri, G., Tonella, P., Zanfei, S.: Program understanding and maintenance with the CANTOenvironment. In: Proceedings Int'l Conf. on Software Maintenance. (1997) 72-81
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)
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 Version.
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)
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, Shaker Verlag (2003) 227-240
32. Spivey, J.: The Z notation : a reference manual. Prentice-Hall Int'l (1989)
33. Sun, J., Dong, J., Lui, J.,Wang, H.: Object-Z web environment and projections to UML. In: WWW10 - 10th Int'lWorldWideWeb Conf., NewYork, ACM (2001) 725-734