809 search results - page 100 / 162 » Formal Semantics for the Java Modeling Language |
131
Voted
ROOM
2000
15 years 4 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
160
Voted
CAV
2009
Springer
15 years 6 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
132
Voted
IEE
2008
15 years 2 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
113
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology...
126
Voted
IFM
2007
Springer
15 years 8 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...