Abstract
Im Artikel wird ein Vorgehen beschrieben wie Vorbedingungen im Java Quellkode zur Compilezeit abgesichert werden können. Es wird auf einen unterstützenden Codegenerator welche zur Prädikaten und Constraint Generierung genutzt wird eingegangen.
Users
Please
log in to take part in the discussion (add own reviews or comments).