An experimental evaluation of Java Design-by-Contract extensions
Design by Contract (DbC), also referred as Programming by Contract is a programming paradigm for software verification proposed by Bertrand Meyer. The idea is to put obligations for code elements such as methods, interfaces and classes to satisfy the specification of the source code. Indeed, DbC enf...
| Main Author: | |
|---|---|
| Format: | Dissertation |
| Language: | English |
| Published: |
University of Oulu
2018
|
| Subjects: | |
| Online Access: | http://urn.fi/URN:NBN:fi:oulu-201812063243 http://nbn-resolving.de/urn:nbn:fi:oulu-201812063243 |