410 search results - page 39 / 82 » Tool Support for Invariant Based Programming |
OOPSLA
2004
Springer
14 years 28 days ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
STORYTELLING
2007
Springer
14 years 1 months ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
CRV
2007
IEEE
14 years 1 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...