Error detection in Specifications based on Ontologies
Kalfoglou, Yannis and Robertson, Dave (1998) Error detection in Specifications based on Ontologies.
The problem of conceptual errors in the early stages of a software development is of a great concern for the engineering community. The side effects of these errors are pernicious because they reflect a misunderstanding of the application domain resulting in undesirable behaviour of the software system. They are not easily detected since they may be mathematically elegant but inappropriate to the domain. The field of Ontologies, which forge agreements on the use of terminology for particular domains is, potentially, a prospective solution to the problem. We present a method which is capable of detecting such errors in specifications by utilising ontologies as a supplement to the normal checking procedure.
|Item Type:||Monograph (Technical Report)|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science
|Date Deposited:||17 Feb 2005|
|Last Modified:||02 Mar 2012 12:21|
|Contributors:||Kalfoglou, Yannis (Author)
Robertson, Dave (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)