In this web page are available some information about my Master's Dissertation.
In my Master Thesis I worked with the DBC methodology in the context of Java/JML programs. I have developed a tool for conformance checking between Java and JML programs named JMLOK.
Below we present some links to more detailed informations:
Studies about JML metrics
My master dissertation is available here.