25 search results - page 1 / 5 » A JML Compiler Based on AspectJ |
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
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...
COMPSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
AOSD
2005
ACM
13 years 10 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...