#DbC4J: Design by Contract for Java

DbC4J is a library that allows performing Design by Contract in Java, by enforcing contract clauses using regular Java methods via naming conventions. This library is a prototype, developed in the context of my Master Thesis, "An Aspect-Oriented Infrastructure for Design by Contract in Java".

(translated from Portuguese: decomposition, contract, composition)