Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Using types as search keys in function libraries
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
(invited paper) A new theoretical framework for information retrieval
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Visualization of test information to assist fault localization
Proceedings of the 24th International Conference on Software Engineering
A survey of software reuse libraries
Annals of Software Engineering
Intelligent Support for Selection of COTS Products
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
WS-Specification: Specifying Web Services Using UDDI Improvements
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Introduction to logical information systems
Information Processing and Management: an International Journal
Programming C#
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Arbitrary relations in formal concept analysis and logical information systems
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
| Hi-index | 0.00 |
Logic information systems use formal concept analysis in a novel way to manage information. A file system implementation has been designed under the name of Logic file system. It offers a flexible management of non-hierarchical data. We present several applications of Logic file system to software engineering: multi-criteria indexation of software components, multi-concern browsing of source files, and bug finding in test traces.We detail multi-criteria indexing of software components. Three independent indexing frameworks are developed and merged in a single multi-criteria framework. The three indexing frameworks capture formal criteria like type isomorphisms and inheritance relations, semi-formal criteria like naming conventions, and informal criteria like keywords of comments. We show how the logical orientation of Logic file system helps in capturing all these criteria in a single framework.