Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract.

Andreas Geppert, Klaus R. Dittrich

Browse the full BTW paper archive.