3547 search results - page 414 / 710 » Pseudo-Exhaustive Testing for Software |
182
click to vote
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
170
Voted
LREC
2008
15 years 8 months ago
2008
In this paper we discuss how linguistic and geographic distances can be related using a 3D visualization. We will convert linguistic data for locations along the German-Dutch bord...
181
Voted
AVI
2004
15 years 8 months ago
2004
Scene-Driver is a software toolkit for the reuse of broadcast animation content to provide new engaging experiences for children. It has been developed and tested using content fr...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
164
click to vote
IJVR
2008
15 years 6 months ago
2008
Based on contemporary Chaos and Complexity Theories, ImaginationTOOLSTM is an innovative Virtual Reality (VR) software architecture which, by means of an agent-based interface, end...