|
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. |
- Members
- Research subprojects
- Publications
- Talks
- Theses
- Downloads
- Events
- Related research