"Design by Contract" with Java Modelling Language/Eclipse IDE – Københavns Universitet

"Design by Contract" with Java Modelling Language/Eclipse IDE

"Design by Contract" with Java Modelling Language/Eclipse IDE

Forelæsning af Tom Hvitved, PhD-studerende ved DIKU

In this talk I will introduce the concept of Design By Contract (DBC), with focus on Java and the Java Modelling Language (JML). DBC is a methodology for specifying (formally) the behavioural interface of a program (Java classes), making it easier to debug the program and--to some extent--verify correctness of an implementation. Classes are specified using class invaritants and methods via pre/postconditions, all written in the JML language. We discuss JML specifications in relation to blame, efficiency, modularity, and inheritence. We show how JML can be integrated in the Eclipse IDE, and show various examples of JML specified Java programs in Eclipse. All course participants using Java are strongly encouraged to use JML in their project.

Alle interesserede er velkomne til at lytte med!