Sciweavers

2 search results - page 1 / 1
» jContractor: Bytecode Instrumentation Techniques for Impleme...
Sort
View
SAC
2008
ACM
13 years 10 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...