CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Graduation Activities  \  Post-Graduation Page Login  
banner bottom
File Top
An Aspect-Oriented Infrastructure for Design by Contract in Java
MSc Post-Graduation

Design by Contract is an approach introduced in the Eiffel programming language in order to address the reliability concern in Object-Oriented Software Development, namely on module interaction. Aspect-Oriented Software Development is a “paradigm” which aims to provide means to further identify and modularise cross-cutting concerns on software development. This thesis proposes the use Aspect-Oriented Programming to implement an infrastructure for Design by Contract verification in the Java programming language, using AspectJ, an aspect-oriented extension to Java. A prototype library was developed, and was applied ta set of case studies, in order to validate the approach. The dissertation also presents a survey on existing alternative Design by Contract solutions for Java, and presents a comparative analysis for them. Also, alternative solutions to AspectJ are presented. Finally, the issues of transposing Design by Contract from Object- to Aspect-Oriented Design are discussed.

Start Date: 2007-03-01

End Date: 2008-06-25


Post-Graduation Student / Researcher / Professor:
  • Sergio Agostinho ( Universidade Nova de Lisboa )

Post-Graduation Supervisor(s):

Post-Graduation Jury:
File Bottom