2638 search results - page 121 / 528 » A Framework for Automatic Debugging |
163
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
167
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
201
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
188
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
197
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...