Search this site
Embedded Files
Skip to main content
Skip to navigation
Massoni
Fostering Design By Contract by Exploiting the Relationship between Code Commentary and Contracts
In this page, we group links for the main studies performed in the PhD thesis of Alysson F. Milanez.
ContractJDoc - A new approach for documenting Java code
Presents the studies conducted with our new approach for applying Design by Contract in Java context.
ContractSuggestor: Automatically generating contracts by means of code commentary
Presents the studies performed with our approach for generating contracts by processing natural language tagged-comments.
Nonconformance between Programs and Contracts: A Study on C#/Code Contracts Open Source Systems
A Study on Java/JML Open Source Systems
The last two pages present the studies performed with our tools:
Jmlok2
and
ContractOk
on a set of open-source programs.
A Survey on Nonconformance Classification by Java/JML Developers
Details the survey study performed in order to find out points of improvement for our classification model.
Report abuse
Report abuse