Sciweavers

Share
FASE
2001
Springer
13 years 2 months ago
A Logic for the Java Modeling Language JML
Abstract. This paper describes a specialised logic for proving speciļ¬cations in the Java Modeling Language (JML). JML is an interface speciļ¬cation language for Java. It allows ...
Bart Jacobs, Erik Poll
OOPSLA
2005
Springer
13 years 3 months ago
Micro patterns in Java code
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
Joseph Gil, Itay Maman
books