Contract support for the Java platform
| Thesis title in Czech: | Contract support for the Java platform |
|---|---|
| Thesis title in English: | Contract support for the Java platform |
| Academic year of topic announcement: | 2005/2006 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | doc. RNDr. Petr Hnětynka, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 04.11.2005 |
| Date of assignment: | 04.11.2005 |
| Guidelines |
| The goal of the work is to evaluate possibilities of adding support for
object consistency checking in Java language. The object consistency checking includes invariants of objects and preconditions and postconditions of methods and should have to be performed using pure Java facilities. A comparison of possible solutions and a simple prototype implementation are expected. |
| References |
| The Java Language Specification, Third Edition
The Java Virtual Machine Specification, Second Edition JSR 175: A Metadata Facility for the Java Programming Language Bertrand Meyer: Object-Oriented Software Construction, 2nd ed. |