160 search results - page 15 / 32 » Software Manipulation with Annotations in Java |
ACL
2008
15 years 1 months ago
2008
Yawat1 is a tool for the visualization and manipulation of word- and phrase-level alignments of parallel text. Unlike most other tools for manual word alignment, it relies on dyna...
104
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
109
click to vote
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
101
click to vote
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...