Autor der Publikation

Integrating Semi-formal and Formal Requirements.

, , und . CAiSE, Volume 1250 von Lecture Notes in Computer Science, Seite 19-32. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

What you ask is what you get: Understanding architecturally significant functional requirements., , , , und . RE, Seite 86-95. IEEE Computer Society, (2015)Learning from Accidents: A Systematic Review of Accident Analysis Methods and Models., , , und . IJISCRAM, 10 (3): 42-62 (2018)Automated analysis of security requirements through risk-based argumentation., , , , und . Journal of Systems and Software, (2015)Architecture Alignment., , und . Enterprise Architecture at Work, 4th ed., Springer, (2017)Requirements engineering - frameworks for understanding.. Wiley, (1996)Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.. Comput. J., 38 (1): 17-30 (1995)An Execution Algorithm for UML Activity Graphs., und . UML, Volume 2185 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2001)Actor-Oriented System Specification with Dynamic Logic., und . TAPSOFT, Vol.2, Volume 494 von Lecture Notes in Computer Science, Seite 337-357. Springer, (1991)Towards self-configuration and management of e-service provisioning in dynamic value constellations., , , und . SAC, Seite 566-571. ACM, (2008)CRAC: Confidentiality risk assessment and IT-infrastructure comparison., , , und . CNSM, Seite 322-325. IEEE, (2010)