( en | de | ru )

 

Disambiguierung von "van Lamsweerde, Axel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constructing correct and efficient concurrent programs.

, und . Reliable Software, Seite 319-326. ACM, (1975)

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

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)GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering., , , und . ICSE, Seite 612-613. ACM, (1997)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 Verifying Termination to Guaranteeing it: A Case Study.. Formal Description of Programming Concepts, Seite 609-620. North-Holland, (1977)Agent-based tactics for goal-oriented requirements elaboration., und . ICSE, Seite 83-93. ACM, (2002)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)Deriving operational software specifications from system goals., und . SIGSOFT FSE, Seite 119-128. ACM, (2002)Reasoning about partial goal satisfaction for requirements and design engineering., und . SIGSOFT FSE, Seite 53-62. ACM, (2004)