1782 search results - page 113 / 357 » Tool Support for Proof Engineering |
156
click to vote
DKE
1998
15 years 6 months ago
1998
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
154
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
We motivate the use of desktop assistants in the context of web surfing and show how such a tool may be used to support activities in both cooperative and personal surfing. By coo...
171
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
168
click to vote
ASE
2008
15 years 6 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
125
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...