Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
An information retrieval system for software components
ACM SIGIR Forum
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Commitment-Based Software Development
IEEE Transactions on Software Engineering
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Experience with Formal Methods in Critical Systems
IEEE Software
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Artificial Intelligence
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Art of Software Testing
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
Techniques for Partial Specification and Specification of Switching Systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
IBM Systems Journal
Advances in software engineering
A Uniform Approach to Inter-model Transformations
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
An inexact model matching approach and its applications
Journal of Systems and Software
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Ranking and Selecting Services
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Hi-index | 0.00 |
The increasing size and complexity of many software systems demand a greater emphasis on capturing and maintaining knowledge at many different levels within the software development process. This knowledge includes descriptions of the hardware and software components and their behavior, external and internal design specifications, and support for system testing. The Knowledge-based software engineering (KBSE) research paradigm is concerned with systems that use formally represented knowledge, with associated inference precedures, to support the various subactivities of software development. As they growing scale, KBSE systems must balance expressivity and inferential power with the real demands of knowledge base construction, maintenance, performance, and comprehensibility. Description logics (DLs) possess several features—a terminological orientation, a formal semantics, and efficient reasoning procedures—which offer an effective tradeoff of these factors. We discuss three KBSE systems in which DLs capture some of the requisite knowledge needed to support design, coding, and testing activities. We then survey some alternative approaches (to DLs) in KBSE systems. We close with a discussion of the benefits of DLs and ways to address some of their limitations.