1782 search results - page 155 / 357 » Tool Support for Proof Engineering |
162
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
172
click to vote
IWPC
2006
IEEE
16 years 14 days ago
2006
IEEE
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
164
click to vote
AVI
2004
15 years 7 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
147
click to vote
KBSE
2006
IEEE
16 years 14 days ago
2006
IEEE
The widespread adoption of Free and Open Source Software (FOSS) in many strategic contexts of the information technology society has drawn the attention on the issues regarding ho...
157
click to vote
ICSM
2005
IEEE
16 years 2 days ago
2005
IEEE
There can be no doubt that risk management is an important activity in the software engineering area. One proof of this is the large body of work existing in this area. However, w...