About Us

Publications

Talks

Downloads

Related Links

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.

Research Interests
Behavioral Interface Specification Language, Aspect-Oriented Programming, Design by Contract, Software Specification and Verification, Assessment and Evaluation, Dependability, Computational Reflection.

 

Release @ ajmlc3.1: "ajmlc3.1 released!" Release @ ajmlc3.0: "ajmlc3.0 released! With model specifications support!" Release @ ajmlc2.4: "ajmlc2.4 released! With improved JML exceptions to call site verification!" Release @ ajmlc2.1: "First ajmlc compiler with client side verification (ajmlc.2.1)!" Release @ ajmlc1.1: "ajmlc1.1 released!" Release @ ajmlc1.1_rc2: "ajmlc1.1 rc2!" Release @ ajmlc1.1_rc1: "ajmlc1.1 rc1!" SBLP'09 - Accepted Paper, 13th Brazilian Symposium on Programming Languages Release @ ajmlc1.0: "First ajmlc compiler released!" SAVCBS'08 - Accepted Paper, 17th Workshop on Specification and Verification of Component-Based Systems ICST'08 - Accepted Paper, 1st Intl. Conf. on Software Testing, Verification, and Validation SAC'08 - Accepted Paper, 23rd ACM Symposium on Applied Computing