A practical approach to software quality assurance
ACM SIGSOFT Software Engineering Notes
Developing knowledge-based systems: reorganizing the system development life cycle
Communications of the ACM
Managing the software process
Fundamentals of software engineering
Fundamentals of software engineering
Towards a unification of knowledge modelling approaches
Second generation expert systems
Toward a quality assessment framework for knowledge-based systems
Journal of Systems and Software - Special issue on software quality in knowledge-based systems
CYC: a large-scale investment in knowledge infrastructure
Communications of the ACM
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Using meta-knowledge within a multilevel framework for KBS development
International Journal of Human-Computer Studies
A survey of tools for the validation and verification of knowledge-based systems: 1985–1995
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Specifications in software prototyping
Journal of Systems and Software - Special issue on software engineering and knowledge engineering
The unified software development process
The unified software development process
Journal of Systems and Software
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Knowledge engineering and management: the CommonKADS methodology
Knowledge engineering and management: the CommonKADS methodology
Abstract data types and the development of data structures
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies
A Task-Based Methodology for Specifying Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
Verification and validation of the SACHEM Conceptual model
International Journal of Human-Computer Studies
On the Verification of Modular Logical Knowledge Bases
EUROVAV '93 Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems
Prototype-Oriented Development of High-performance Systems
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Quality Measures and Assurance for AI (Artificial Intelligence) Software
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review
The Kadess knowledge-based system: employing the Kads methodology in an engineering application
IEA/AIE'93 Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Proceedings of the 2008 Spring simulation multiconference
Extensible Prototyping for pragmatic engineering of knowledge-based systems
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Knowledge-based systems have often been criticised for the limited theoretical base upon which they are constructed. This view asserts that systems are often developed in an ad hoc, individual way that leads to unmaintainable, unreliable and non-rigorous systems. The last decade, however, has seen an increased effort to produce methodologies to counter this view as well as continued research into validation and verification techniques. This paper presents a brief discussion of some of the important research in knowledge-based system life cycles and development methods. Methodologies are considered and are discussed in light of two sets of quality assurance criteria.