Sciweavers

Share
SAC
2008
ACM
8 years 6 months ago
Implementing Java modeling language contracts with AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
Henrique Rebêlo, Sérgio Soares, Ricar...
ICST
2008
IEEE
9 years 1 months ago
A JML Compiler Based on AspectJ
The Java Modeling Language (JML) is a behavioral interface speciļ¬cation language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
books