Author of the publication

Specification and Detection of SOA Antipatterns in Web Services.

, , , and . ECSA, volume 8627 of Lecture Notes in Computer Science, page 58-73. Springer, (2014)

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

An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol., , and . J. Univers. Comput. Sci., 7 (11): 1088-1112 (2001)Detection of SOA Patterns., , and . ICSOC, volume 8274 of Lecture Notes in Computer Science, page 114-130. Springer, (2013)Lenient evaluation is neither strict nor lazy.. Comput. Lang., 26 (1): 43-66 (2000)A possibilistic approach to intrusion detection under imperfect logging protocol., and . SIN, page 266-271. ACM, (2013)Specification and Detection of SOA Antipatterns in Web Services., , , and . ECSA, volume 8627 of Lecture Notes in Computer Science, page 58-73. Springer, (2014)A Cellular Automata Breccia Simulator (CABS) and its application to rounding in hydrothermal breccias., , and . Comput. Geosci., 36 (7): 827-838 (2010)Marking musical dictations using the edit distance algorithm., and . Softw. Pract. Exp., 37 (2): 207-230 (2007)Introducing students to professional software construction: a "software construction and maintenance" course and its maintenance corpus., , , and . ITiCSE, page 176-180. ACM, (2007)An undergraduate course in formal methods: "description is our business".. SIGCSE, page 166-170. ACM, (1998)Exercises for teaching logic in a formal methods course: formalizing ERDs.. SIGCSE, page 100-104. ACM, (1999)