Automated Contract Driven Development With UML's OCLAuthorsJ. DzidekStatusPublishedPublication typePresentationYear of publication2004JournalJavaZone websitePublisher-Citation key11593Google Scholar BibTex