Sciweavers

1736 search results - page 1 / 348
» Semantic Annotation for Java
Sort
View
JOT
2010
114views more  JOT 2010»
13 years 2 months ago
Semantic Annotation for Java
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
Douglas Lyon
IFIP12
2009
13 years 1 months ago
Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...
Zinon Zygkostiotis, Dimitris Dranidis, Dimitrios K...
ECOOP
2007
Springer
13 years 7 months ago
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
Patrice Chalin, Perry R. James
JTRES
2010
ACM
13 years 3 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 3 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert