The JML AOP is a research
project that investigates and develops tools, using Aspect-Oriented Programming (AOP),
for improving software development and correctness of Java programs using Java Modeling Language (JML).
This project is multi-institutional project, involving the Informatics Center of the Federal University of Pernambuco and the School of Electrical Engineering & Computer Science
of the University of Central Florida.
Behavioral Interface Specification Language, Aspect-Oriented Programming, Design by Contract, Software Specification and Verification, Assessment and
Evaluation, Dependability, Computational Reflection.
Centro de Informática UFPE
Cidade Universitária - CEP
50740-540 Recife/PE - Brazil Tel - +55 (81) 2126 8430 ext. 4770