( en | de | ru )

 

Disambiguierung von "van Lamsweerde, Axel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Verifying Termination to Guaranteeing it: A Case Study.

. Formal Description of Programming Concepts, Seite 609-620. North-Holland, (1977)

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

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)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)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)Transformation operators for easier engineering of medical process models., , und . SEHC@ICSE, Seite 39-45. IEEE Computer Society, (2013)Constructing correct and efficient concurrent programs., und . Reliable Software, Seite 319-326. ACM, (1975)Formal Refinement Patterns for Goal-Driven Requirements Elaboration., und . SIGSOFT FSE, Seite 179-190. ACM, (1996)Inferring Declarative Requirements Specifications from Operational Scenarios., und . IEEE Trans. Software Eng., 24 (12): 1089-1114 (1998)Goal models as architectural knowledge.. SHARK, Seite 1-2. ACM, (2008)