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

Learning from Accidents: A Systematic Review of Accident Analysis Methods and Models., , , and . IJISCRAM, 10 (3): 42-62 (2018)What you ask is what you get: Understanding architecturally significant functional requirements., , , , and . RE, page 86-95. IEEE Computer Society, (2015)Automated analysis of security requirements through risk-based argumentation., , , , and . Journal of Systems and Software, (2015)Risk-Driven Conceptual Modeling of Outsourcing Decisions., , and . ER, volume 3288 of Lecture Notes in Computer Science, page 709-723. Springer, (2004)Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.. Comput. J., 38 (1): 17-30 (1995)Roles and Dynamic Subclasses: A Modal Logic Approach., , and . ECOOP, volume 821 of Lecture Notes in Computer Science, page 32-59. Springer, (1994)Probing for requirements knowledge to stimulate architectural thinking., , , , , , and . ICSE, page 843-854. ACM, (2016)An Empirical Study to Validate the Use of Ontological Guidelines in the Creation of i* Models., , , , and . ONTOBRAS, volume 1442 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract).. ICWE, volume 3140 of Lecture Notes in Computer Science, page 13-16. Springer, (2004)Some Finite-Graph Models for Process Algebra., and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 495-509. Springer, (1991)