1326 search results - page 131 / 266 » Semantic Coherence in Software Engineering |
WWW
2007
ACM
14 years 11 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
Software Reuse is a concept that is frequently mentioned as a way to improve software developers' productivity. However, there are a number of issues that need to be addresse...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
DLOG
2003
13 years 11 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...