E-LIB Suche - Ergebnisse für: Van Lamsweerde, Axel

1

Adapting requirements models to varying environments:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering,

Alrajeh, Dalal ; Cailliau, Antoine ; van Lamsweerde, Axel - p. 50-61 , 2020

Link: https://dl.acm.org/doi/1..

2

Adapting Requirements Models to Varying Environments:

, In: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE),

Alrajeh, Dalal ; Cailliau, Antoine ; van Lamsweerde, Axel - p. 50-61 , 2020

Link: https://doi.org/10.1145/..

3

Runtime Monitoring and Resolution of Probabilistic Obstacle..:

Cailliau, Antoine ; Lamsweerde, Axel Van
ACM Transactions on Autonomous and Adaptive Systems. 14 (2019) 1 - p. 1-40 , 2019

Link: https://doi.org/10.1145/..

4

Runtime Monitoring and Resolution of Probabilistic Obstacle..:

Cailliau, Antoine ; Lamsweerde, Axel Van
ACM Transactions on Autonomous and Adaptive Systems (TAAS). 14 (2019) 1 - p. 1-40 , 2019

Link: https://dl.acm.org/doi/1..

5

Runtime monitoring and resolution of probabilistic obstacle..:

, In: Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,

Cailliau, Antoine ; van Lamsweerde, Axel - p. 1-11 , 2017

Link: https://dl.acm.org/doi/1..

6

Risk-driven revision of requirements models:

, In: Proceedings of the 38th International Conference on Software Engineering,

Alrajeh, Dalal ; van Lamsweerde, Axel ; Kramer, Jeff.. - p. 855-865 , 2016

Link: https://dl.acm.org/doi/1..

7

Analyzing Critical Decision-Based Processes:

Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel
IEEE Transactions on Software Engineering. 40 (2014) 4 - p. 338-365 , 2014

Link: https://doi.org/10.1109/..

8

Assessing requirements-related risks through probabilistic ..:

Cailliau, Antoine ; van Lamsweerde, Axel
Requirements Engineering. 18 (2013) 2 - p. 129-146 , 2013

Link: https://doi.org/10.1007/..

9

Transformation operators for easier engineering of medical ..:

, In: Proceedings of the 5th International Workshop on Software Engineering in Health Care,

Damas, Christophe ; Lambeau, Bernard ; van Lamsweerde, Axel - p. 39-45 , 2013

Link: https://dl.acm.org/doi/1..

10

Generating obstacle conditions for requirements completenes:

, In: Proceedings of the 34th International Conference on Software Engineering,

Alrajeh, Dalal ; Kramer, Jeff ; Lamsweerde, Axel van.. - p. 705-715 , 2012

Link: https://dl.acm.org/doi/1..

11

The humble humorous researcher:

van Lamsweerde, Axel
Science of Computer Programming. 76 (2011) 8 - p. 627-630 , 2011

Link: https://doi.org/10.1016/..

12

The Humble Humorous Researcher: A Tribute to Michel Sintzof:

van Lamsweerde, Axel
Formal Aspects of Computing. 23 (2011) 3 - p. 239-242 , 2011

Link: https://doi.org/10.1007/..

13

Keynote address : model engineering for model-driven eng..:

, In: Proceedings of the IEEE/ACM international conference on Automated software engineering,

van Lamsweerde, Axel - p. 365-366 , 2010

Link: https://dl.acm.org/doi/1..

14

Model engineering for model-driven engineering:

, In: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems,

van Lamsweerde, Axel - p. 211-212 , 2010

Link: https://dl.acm.org/doi/1..

15

Requirements engineering

from system goals to UML models to software specifications

Van Lamsweerde, Axel ; Lamsweerde, Axel van , 2009

Exemplare: Zentrale:E02 a inf 321 uml/027; TB BHV: com 423/20