• ToscanaJ

  • Referenced in 19 articles [sw05411]
  • Java reimplementation of the classic Formal Concept Analysis frontend Toscana. It was built using software...
  • FCALGS

  • Referenced in 13 articles [sw29550]
  • standalone tools implementing algorithms for Formal Concept Analysis (FCA) – a method of qualitative data analysis ... performance command-line tools for computing formal concepts, (frequent) itemsets, nonredundant bases, boolean matrix decompositions...
  • ConExp

  • Referenced in 2 articles [sw06723]
  • tool for data analysis based on formal concept analysis Formal Concept Analysis is a useful ... introduced the formal context of functional dependencies. In this context, implications hold for functional dependencies ... formal context of functional dependencies. We use Conexp to build the concept lattice and implications...
  • Ginsim

  • Referenced in 29 articles [sw09090]
  • qualitative modelling, analysis and simulation of genetic regulatory networks. Formally, our approach leans on discrete ... mathematical and graph-theoretical concepts. GINsim encompasses an intuitive graph editor, enabling the definition ... approach is illustrated by a preliminary model analysis of the inter-cellular regulatory network activating...
  • CreChainDo

  • Referenced in 3 articles [sw11686]
  • system for Web search using Formal Concept Analysis (FCA). FCA provides a natural...
  • LatViz

  • Referenced in 2 articles [sw31670]
  • practical tool for performing interactive exploration over concept lattices. With the increase ... analysis and discovery have surfaced. One of the basic building blocks of data analysis ... Many studies have been conducted concerning Formal Concept Analysis (FCA) and its variants over...
  • FooCA

  • Referenced in 2 articles [sw11688]
  • FooCA: web information retrieval with formal concept analysis. ... A generalization of Web search results ... build a formal context and an appropriate concept lattice. In order to generate a well...
  • FcaBedrock

  • Referenced in 2 articles [sw29547]
  • tool for creating context files for Formal Concept Analysis. It can convert existing data sets...
  • fca

  • Referenced in 1 article [sw13738]
  • Python package for formal concept analysis...
  • Henshin

  • Referenced in 14 articles [sw10085]
  • these concepts, Henshin offers a visual syntax, sophisticated editing functionalities, execution and analysis tools ... offer a formal foundation for validation of EMF model transformations. The transformation concepts are demonstrated...
  • FCbO

  • Referenced in 1 article [sw29549]
  • standalone tools implementing algorithms for Formal Concept Analysis (FCA) – a method of qualitative data analysis ... performance command-line tools for computing formal concepts, (frequent) itemsets, nonredundant bases, boolean matrix decompositions...
  • fca.sty

  • Referenced in 1 article [sw29546]
  • typesettig papers on Formal Concept Analysis with LaTeX, the style file fca.sty may be useful...
  • HOLyHammer

  • Referenced in 26 articles [sw11553]
  • upload and automatically process an arbitrary formal development (project) based on HOL Light ... attack arbitrary conjectures that use the concepts defined in some of the uploaded projects ... recent versions of the Flyspeck, Multivariate Analysis and Complex Analysis libraries. The service runs...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • prototype tool. The concepts, techniques and decisions discussed here have been formalized and published. References ... leading to further integration with transformation and analysis plug-ins is delineated...
  • In-Close

  • Referenced in 9 articles [sw29548]
  • miner. In-Close is a fast Formal Concept Miner and Tree Builder for FCA files ... support for intent and extent, output of analysis data, output of concepts, output of reduced...
  • SearchSleuth

  • Referenced in 3 articles [sw11687]
  • experiment with a form of automatic local analysis that extends the standard Web search interface ... conceptual neighbourhood focused on a formal concept derived from the query. The conceptual neighbourhood...
  • MOFLON

  • Referenced in 9 articles [sw06922]
  • tools offering uniform support for metamodel definition, analysis, transformation, and integration. In this paper ... standards with graph transformations and their formal semantics. MOFLON provides a combination of visual ... textual notations and offers powerful modularization concepts. Using MOFLON, developers can generate code for specific...
  • ANNA

  • Referenced in 10 articles [sw36323]
  • much as possible on notation and concepts of ADA. 2. ANNA should possess language features ... within which the various established theories of formally specifying programs may be applied ... applications include not only testing, debugging and formal verification of a finished program, but also ... parts during the earlier stages of requirements analysis and program design...
  • Quasar

  • Referenced in 3 articles [sw01278]
  • which uses fully the concept of patterns. The analysis of a concurrent Ada program ... translation of the simplified program into a formal model using predefined patterns that are combined...