Design by contract - JML

Gino Lospazzino
Note by Gino Lospazzino, updated more than 1 year ago
Gino Lospazzino
Created by Gino Lospazzino almost 4 years ago
10
0

Description

Software Engineering Software Engineering Note on Design by contract - JML, created by Gino Lospazzino on 06/19/2017.

Resource summary

Page 1

Design by contract is a method for developing software. It's a contract between a client and it's class. The client must accept certain conditions before calling a method defined by the class (preconditions ) and the class must ensure certain properties after the call (postconditions) What is JML ? JML stands for "Java Modeling Language". You can specify both the syntactic interface of Java code and it's behaviour

The precondition and postconditions are written starting with an at-sign. To specifiy the client's clauses it has to agree upon we use the JML annotation @requires To say what must be true at the end of the method we use the @ensures clause.  

Show full summary Hide full summary

Similar

Design Patterns
Erica Solum
Network Protocols
Shannon Anderson-Rush
System Analysis
R A
SCRUM
R A
Java Week 5 Object Oriented Programming
Troy Bowlin
Java Practice 1
Ummm No
Java Practice 1
Shamama's Corner
Servion - Java Questionnaire
rohit.benedict
Java Core. Basics
Gadget
Java Practice 2
Ummm No
Programming Review
Shannon Anderson-Rush