Contracts for aspect-oriented design

Authors:
Sérgio Agostinho;Ana Moreira;Pedro Guerreiro
Affiliations:
Universidade Nova de Lisboa, Caparica, Portugal;Universidade Nova de Lisboa, Caparica, Portugal;Universidade do Algarve, Faro, Portugal
Venue:
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
Year:
2008

Citing 28
Cited 5

Mixin-based inheritance

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Adaptive Programming

IEEE Transactions on Software Engineering
Eiffel: the language

Eiffel: the language
Subject-oriented programming: a critique of pure objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
An axiomatic basis for computer programming

Communications of the ACM
Behavioral contracts and behavioral subtyping

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Contract Soundness for object-oriented languages

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modularisation and composition of aspectual requirements

Proceedings of the 2nd international conference on Aspect-oriented software development
Aspect Composition Applying the Design by Contract Principle

GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING

FAMILY VALUES: A BEHAVIORAL NOTION OF SUBTYPING
Adding Contracts to Java with Handshake

Adding Contracts to Java with Handshake
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

Formal Methods in System Design
Modular Software Design with Crosscutting Interfaces

IEEE Software
Discovering Early Aspects

IEEE Software
Harmless advice

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools

Eclipse aspectj: aspect-oriented programming with aspectj and the eclipse aspectj development tools
Pipa: a behavioral interface specification language for aspectJ

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Domain models are NOT aspect free

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Can aspects implement contracts?

RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Open modules: modular reasoning about advice

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
An overview of caesarj

Transactions on Aspect-Oriented Software Development I
A symmetric and unified approach towards combining aspect-oriented and component-based software development

CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering

Design by contract for aspects, by aspects

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Applying design by contract to feature-oriented programming

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Family-based deductive verification of software product lines

Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Design pattern-based extension of class hierarchies to support runtime invariant checks

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Subclack: feature-oriented programming with behavioral feature interfaces

Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Java approach to Object-Oriented Design by Contract can be extended and applied to Aspect-Oriented Software. For doing so, we need to address how current Object-Oriented Design by Contract can be modified to tackle aspect advising, as well as to actually extend the Design by Contract approach for aspect modules. Our approach is general enough to be applied to Java Aspect-Oriented extensions such as AspectJ, CaesarJ, and FuseJ.