Author of the publication

Object-oriented specification case studies

, and (Eds.) Prentice Hall object-oriented series Prentice Hall, New York u.a., (1994)

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

Comparative case studies in agile model-driven development., , , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 203-212. CEUR-WS.org, (2018)Reverse-engineering Cobol via formal methods., , and . Journal of Software Maintenance, 5 (1): 13-35 (1993)An Algebraic Semantics for the Specification Language Z++., and . AMAST, page 478-493. Springer, (1991)Reuse and Adaptation of Z Specifications., and . Z User Workshop, page 62-90. Springer, (1992)Synthesis of mobile applications using AgileUML., , , and . ISEC, page 11:1-11:10. ACM, (2021)Objects revisited., and . ICSM, page 152-161. IEEE, (1991)Program Abstraction and Re-Engineering: An Agile MDE Approach., , , and . MoDELS (Companion), page 211-220. IEEE, (2023)Formal development in B abstract machine notation., and . Inf. Softw. Technol., 37 (5-6): 303-316 (1995)Testing and Safety Analysis of AM (Abstract Machine) Specifications., and . Refine, page 69-79. Springer, (1994)The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study., , , , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 229-245. Springer, (2018)