1088 search results - page 50 / 218 » Tools for support of automata-based programming |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
Modern integrated development environments, such as ECLIPSE, provide automated or semi-automated refactoring support. Despite this support, refactorings are often done manually --...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
The errors that Java programmers are likely to encounter can roughly be categorized into three groups: compile-time (semantic and syntactic), logical, and runtime (exceptions). Wh...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...