Identifying and specifying crosscutting contracts with AspectJML

Authors:
Henrique Rebêlo
Affiliations:
Federal University of Pernambuco, Recife, Brazil
Venue:
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity
Year:
2013

Citing 9
Cited 0

Eiffel: the language

Eiffel: the language
Getting started with ASPECTJ

Communications of the ACM
Implementing distribution and persistence aspects with aspectJ

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Applying "Design by Contract"

Computer
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes
Jose: Aspects for Design by Contract80-89

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
The paradoxical success of aspect-oriented programming

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Can aspects implement contracts?

RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
JML’s rich, inherited specifications for behavioral subtypes

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

I propose AspectJML, a simple and practical aspect-oriented extension to JML. It supports the specification of crosscutting contracts for Java code in a modular way while keeping the benefits of a design by contract language, like documentation and modular reasoning.