Author of the publication

Integrating Semi-formal and Formal Requirements.

, , and . CAiSE, volume 1250 of Lecture Notes in Computer Science, page 19-32. Springer, (1997)

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

What you ask is what you get: Understanding architecturally significant functional requirements., , , , and . RE, page 86-95. IEEE Computer Society, (2015)Learning from Accidents: A Systematic Review of Accident Analysis Methods and Models., , , and . IJISCRAM, 10 (3): 42-62 (2018)Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.. Comput. J., 38 (1): 17-30 (1995)Automated analysis of security requirements through risk-based argumentation., , , , and . Journal of Systems and Software, (2015)Requirements engineering - frameworks for understanding.. Wiley, (1996)Architecture Alignment., , and . Enterprise Architecture at Work, 4th ed., Springer, (2017)An Execution Algorithm for UML Activity Graphs., and . UML, volume 2185 of Lecture Notes in Computer Science, page 47-61. Springer, (2001)Towards self-configuration and management of e-service provisioning in dynamic value constellations., , , and . SAC, page 566-571. ACM, (2008)Risk-Driven Conceptual Modeling of Outsourcing Decisions., , and . ER, volume 3288 of Lecture Notes in Computer Science, page 709-723. Springer, (2004)An Integrated Enterprise Architecture Framework for Business-IT Alignment., and . BUSITAL, volume 237 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)