( en | de | ru )

 

Disambiguierung von "van Lamsweerde, Axel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing critical process models through behavior model synthesis.

, , , und . ICSE, Seite 441-451. IEEE, (2009)

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.

Jürgen Axel

Bertil Axelson

Erik Axell

Katrin Axel-Tober

David Axelos

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating Process Models in Multi-View Environments., , und . Dependable Software Systems Engineering, Volume 40 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering., und . RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 325-340. Springer, (2002)Agent-based tactics for goal-oriented requirements elaboration., und . ICSE, Seite 83-93. ACM, (2002)GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering., , , und . ICSE, Seite 612-613. ACM, (1997)From Verifying Termination to Guaranteeing it: A Case Study.. Formal Description of Programming Concepts, Seite 609-620. North-Holland, (1977)Transformation operators for easier engineering of medical process models., , und . SEHC@ICSE, Seite 39-45. IEEE Computer Society, (2013)Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals., und . SEAMS@ICSE, Seite 1-11. IEEE Computer Society, (2017)The kernel of a generic software development environment., , , , , und . SDE, Seite 208-217. ACM, (1986)Reasoning about partial goal satisfaction for requirements and design engineering., und . SIGSOFT FSE, Seite 53-62. ACM, (2004)Deriving operational software specifications from system goals., und . SIGSOFT FSE, Seite 119-128. ACM, (2002)