Sciweavers

Share
325 search results - page 1 / 65
» Implementing Java modeling language contracts with AspectJ
Sort
View
SAC
2008
ACM
8 years 11 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 5 months ago
A JML Compiler Based on AspectJ
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...
Henrique Rebêlo, Ricardo Massa Ferreira Lima...
GPCE
2004
Springer
9 years 4 months ago
Generating AspectJ Programs with Meta-AspectJ
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
David Zook, Shan Shan Huang, Yannis Smaragdakis
ECOOP
2001
Springer
9 years 3 months ago
An Overview of AspectJ
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik K...
ICSE
2007
IEEE-ACM
9 years 5 months ago
Aspect-Oriented Design in Java/AspectJ and Ruby
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
Dean Wampler
books