%0 Journal Article %1 kucker2013vertraglich %A Kücker, Heiner %D 2013 %J Java Magazin %K contract testing validation verification %N 11 %P 18-20 %T Vertraglich geregelt %X Fortsetzung von Teil I. Es geht um eine erweiterte Prädikatenprüfung.

@article{kucker2013vertraglich, abstract = {Fortsetzung von Teil I. Es geht um eine erweiterte Prädikatenprüfung.}, added-at = {2014-02-23T22:41:20.000+0100}, author = {Kücker, Heiner}, biburl = {https://www.bibsonomy.org/bibtex/2fd2ea89f3ae071b0df0285a108004a35/funthomas424242}, description = {Es bleibt weiterhin unklar wie der Generator den Quellkode bauen soll - letztlich glaube ich, der "Generator" ist einfach handgeschrieben bzw. das "Generat" ist handgeschrieben. Kann ich einfach nicht empfehlen. Die Idee ist gut aber nicht neu, die Umsetzung unklar. Da kommt man mit einfachen, selbstgeschriebenen Annotationen vermutlich weiter.}, interhash = {b2356e2aac63674030f2e53c692640a0}, intrahash = {fd2ea89f3ae071b0df0285a108004a35}, journal = {Java Magazin}, keywords = {contract testing validation verification}, number = 11, pages = {18-20}, timestamp = {2014-02-23T22:41:20.000+0100}, title = {Vertraglich geregelt}, year = 2013 }