Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, , , and . (2006)Entwicklungsprozess von Web-Anwendungen., , and . Web Engineering: Systematische Entwicklung von Web-Anwendungen, dpunkt, (2003)Design by Contract zur semantischen Beschreibung von Web Services., , and . GI Jahrestagung (2), volume P-68 of LNI, page 612-616. GI, (2005)Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten, , , , , , , and . dpunkt.verlag, Heidelberg, (2008)Ein praxiserprobtes Rahmenwerk für die technische Anwendungsintegration., , , and . Software Engineering (Workshops), volume P-106 of LNI, page 159-167. GI, (2007)Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten, , , , , , , and . dpunkt, Heidelberg, (2008)Model-Based Verification and Validation of Properties, , , and . Electr. Notes Theor. Comput. Sci., (2003)MR: UML-Modell (On the high level, our system model is composed of use case diagrams and sequence diagrams describing the interaction of the system with users of the system. On the low level, it is composed of class diagrams, statecharts and activity diagrams.) wird durch Grapftransformationen in eine formale Sprache (CSP) überführt und mit einem Model-Checker validiert und in ein Testmodell überführt..Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen., , , , and . Software Engineering, volume P-79 of LNI, page 111-122. GI, (2006)Modellbasierte Entwicklung von Web Services mit Design by Contract., , and . GI Jahrestagung (2), volume P-68 of LNI, page 491-495. GI, (2005)Towards Contract-based Testing of Web Services., and . TACoS, volume 116 of Electronic Notes in Theoretical Computer Science, page 145-156. Elsevier, (2004)