1782 search results - page 67 / 357 » Tool Support for Proof Engineering |
160
click to vote
OHS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
158
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
We present a tool which helps domain experts capture and maintain constraints. The tool displays parts of an ontology (as classes, sub-classes and properties) in the form of a tree...
172
click to vote
FDG
2009
ACM
15 years 10 months ago
2009
ACM
The tremendous advances in gaming technologies over the past decade have focused primarily on the physical realism of the game environment and game characters, and the complexity ...
133
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
153
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
This tool demo paper describes a tool called XToF which is being developed through a collaboration between the University of Victoria, the University of Namur and the University of...