Sciweavers

Share
25 search results - page 1 / 5
» A JML Compiler Based on AspectJ
Sort
View
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...
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...
COMPSAC
2007
IEEE
9 years 1 months ago
Specifying Pointcuts in AspectJ
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...
Yi Wang, Jianjun Zhao
SIGSOFT
2006
ACM
9 years 1 months ago
From multi-modal scenarios to code: compiling LSCs into aspectJ
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to speciļ¬cation in order to construct a new way of ...
Shahar Maoz, David Harel
AOSD
2005
ACM
9 years 1 months ago
abc: an extensible AspectJ compiler
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
Pavel Avgustinov, Aske Simon Christensen, Laurie J...
books