Author of the publication

Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen.

, , , , and . Software Engineering, volume P-79 of LNI, page 111-122. GI, (2006)

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

Entwicklungsprozess von Web-Anwendungen., , and . Web Engineering: Systematische Entwicklung von Web-Anwendungen, dpunkt, (2003)Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, , , and . (2006)Design by Contract zur semantischen Beschreibung von Web Services., , and . GI Jahrestagung (2), volume P-68 of LNI, page 612-616. GI, (2005)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..Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten, , , , , , , and . dpunkt, Heidelberg, (2008)Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen., , , , and . Software Engineering, volume P-79 of LNI, page 111-122. GI, (2006)Towards Contract-based Testing of Web Services., and . TACoS, volume 116 of Electronic Notes in Theoretical Computer Science, page 145-156. Elsevier, (2004)Modellbasierte Entwicklung von Web Services mit Design by Contract., , and . GI Jahrestagung (2), volume P-68 of LNI, page 491-495. 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)