403 search results - page 30 / 81 » Integrating Z into Large Projects Tools and Techniques |
107
click to vote
ECLIPSE
2007
ACM
15 years 3 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
The topic of reusable software in robotics is now largely addressed. Components based architectures, where components are independent units that can be reused accross applications,...
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
110
click to vote
MLMI
2004
Springer
15 years 5 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...
CAE
2005
15 years 2 months ago
2005
Labels effectively convey co-referential relations between textual and visual elements and are a powerful tool to support learning tasks. Therefore, almost all illustrations in sc...