Design by contract - JML

Descrição

Software Engineering Software Engineering Notas sobre Design by contract - JML, criado por Gino Lospazzino em 19-06-2017.
Gino Lospazzino
Notas por Gino Lospazzino, atualizado more than 1 year ago
Gino Lospazzino
Criado por Gino Lospazzino mais de 7 anos atrás
19
0

Resumo de Recurso

Página 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.  

Semelhante

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 2
Ummm No
Servion - Java Questionnaire
rohit.benedict
Java Core. Basics
Gadget
Programming Review
Shannon Anderson-Rush
Useful String Methods
Shannon Anderson-Rush