Contract support for the Java platform
| Název práce v češtině: | Contract support for the Java platform |
|---|---|
| Název v anglickém jazyce: | Contract support for the Java platform |
| Akademický rok vypsání: | 2005/2006 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | |
| Ústav: | Katedra softwarového inženýrství (32-KSI) |
| Vedoucí / školitel: | doc. RNDr. Petr Hnětynka, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 04.11.2005 |
| Datum zadání: | 04.11.2005 |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| 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. |