2493 search results - page 434 / 499 » Tool Support for Design by Contract |
GCC
2003
Springer
15 years 3 months ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...
ISI
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
100
click to vote
KBSE
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...