Searching for authors named "Axel van Lamsweerde" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
Engineering Requirements for System Reliability and Security
- …Engineering Requirements for System Reliability and Security 1. Introduction Axel van LAMSWEERDE…
- Add To MetaCart
-
Building Formal Requirements Models for Reliable Software
- …, and the management of conflicting requirements. 1 Introduction Axel van Lamsweerde Université catholique de Louvain…
- Cited by 5 (0 self) – Add To MetaCart
-
Divergent Views in Goal-Driven Requirements Engineering
- … Divergent Views in Goal-Driven Requirements Engineering Axel van Lamsweerde Universit…
- Cited by 11 (0 self) – Add To MetaCart
-
Formal Specification: a Roadmap
- …. Generally speaking, a formal specification is the expression, Formal Specification: a Roadmap Axel van…
- Cited by 22 (0 self) – Add To MetaCart
-
Elaborating Security Requirements by Construction of Intentional Anti-Models
- … the right conditions [7]. Unsurprisingly, the major source of vulnerability has been Axel van Lamsweerde…
- Cited by 27 (2 self) – Add To MetaCart
-
From System Goals to Software Architecture
- … process. 1 Introduction Axel van Lamsweerde Université catholique de Louvain, Département d…
- Cited by 18 (1 self) – Add To MetaCart
-
Goal-Oriented Requirements Engineering: A Guided Tour
- … International Symposium on Requirements Engineering, Toronto, August 2001, 249-263. Axel van Lamsweerde…
- Cited by 116 (3 self) – Add To MetaCart
-
Requirements Engineering in the Year 00: A Research Perspective
- … International Conference on Software Engineering, Limerick, June 2000, ACM Press Axel van Lamsweerde Département…
- Cited by 95 (10 self) – Add To MetaCart
-
Analogical reuse of requirements frameworks
- … Analogical Reuse of Requirements Frameworks Philippe Massonet and Axel van Lamsweerde Universit…
- Cited by 30 (0 self) – Add To MetaCart
-
Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
- … Emmanuel Letier and Axel van Lamsweerde Département d’Ingénierie Informatique, Université catholique de…
- Cited by 19 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
