2493 search results - page 116 / 499 » Tool Support for Design by Contract |
SIGDOC
2006
ACM
15 years 3 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
DBA
2004
2004
A Tool for Transforming Conceptual Schemas of Spatio-Temporal Databases with Multiple Representation
14 years 11 months ago
Nowadays, classical conceptual models (such as ER or UML) are used for designing database applications. These classical conceptual models usually come with associated CASE tools a...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
This paper discusses the functionality of GraphicsMentor. GraphicsMentor permits a student to modify many parameters of the camera, objects, and light sources interactively, and t...
110
click to vote
CIKM
2008
Springer
14 years 12 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...