 | 2009 |
|---|
| 43 |       | Axel van Lamsweerde:
Reasoning About Alternative Requirements Options.
Conceptual Modeling: Foundations and Applications 2009: 380-397 |
| 42 | | Christophe Damas,
Bernard Lambeau,
Francois Roucoux,
Axel van Lamsweerde:
Analyzing critical process models through behavior model synthesis.
ICSE 2009: 441-451 |
| 2008 |
|---|
| 41 | | Axel van Lamsweerde:
Goal models as architectural knowledge.
SHARK 2008: 1-2 |
| 40 | | Axel van Lamsweerde:
Requirements engineering: from craft to discipline.
SIGSOFT FSE 2008: 238-249 |
| 39 | | Pierre Dupont,
Bernard Lambeau,
Christophe Damas,
Axel van Lamsweerde:
The QSM Algorithm and its Application to Software Behavior Model Induction.
Applied Artificial Intelligence 22(1&2): 77-115 (2008) |
| 2007 |
|---|
| 38 | | Christophe Ponsard,
Philippe Massonet,
Jean-François Molderez,
André Rifaut,
Axel van Lamsweerde,
Hung Tran Van:
Early verification and validation of mission critical systems.
Formal Methods in System Design 30(3): 233-247 (2007) |
| 2006 |
|---|
| 37 | | Christophe Damas,
Bernard Lambeau,
Axel van Lamsweerde:
Scenarios, goals, and state machines: a win-win partnership for model synthesis.
SIGSOFT FSE 2006: 197-207 |
| 2005 |
|---|
| 36 | | Christophe Ponsard,
Nadiya Balych,
Philippe Massonet,
Jean Vanderdonckt,
Axel van Lamsweerde:
Goal-Oriented Design of Domain Control Panels.
DSV-IS 2005: 249-260 |
| 35 | | Renaud De Landtsheer,
Axel van Lamsweerde:
Reasoning about confidentiality at requirements engineering time.
ESEC/SIGSOFT FSE 2005: 41-49 |
| 34 | | Christophe Ponsard,
Philippe Massonet,
André Rifaut,
Jean-François Molderez,
Axel van Lamsweerde,
Hung Tran Van:
Early Verification and Validation of Mission Critical Systems.
Electr. Notes Theor. Comput. Sci. 133: 237-254 (2005) |
| 33 | | Christophe Damas,
Bernard Lambeau,
Pierre Dupont,
Axel van Lamsweerde:
Generating Annotated Behavior Models from End-User Scenarios.
IEEE Trans. Software Eng. 31(12): 1056-1073 (2005) |
| 2004 |
|---|
| 32 | | Axel van Lamsweerde:
Elaborating Security Requirements by Construction of Intentional Anti-Models.
ICSE 2004: 148-157 |
| 31 | | Hung Tran Van,
Axel van Lamsweerde,
Philippe Massonet,
Christophe Ponsard:
Goal-Oriented Requirements Animation.
RE 2004: 218-228 |
| 30 | | Axel van Lamsweerde:
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice.
RE 2004: 4-7 |
| 29 | | Emmanuel Letier,
Axel van Lamsweerde:
Reasoning about partial goal satisfaction for requirements and design engineering.
SIGSOFT FSE 2004: 53-62 |
| 28 | | Renaud De Landtsheer,
Emmanuel Letier,
Axel van Lamsweerde:
Deriving tabular event-based specifications from goal-oriented requirements models.
Requir. Eng. 9(2): 104-120 (2004) |
| 2003 |
|---|
| 27 | | Axel van Lamsweerde:
Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications.
ICSE 2003: 744-745 |
| 26 | | Renaud De Landtsheer,
Emmanuel Letier,
Axel van Lamsweerde:
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models.
RE 2003: 200- |
| 25 | | André Rifaut,
Philippe Massonet,
Jean-François Molderez,
Christophe Ponsard,
Pierre Stadnik,
Axel van Lamsweerde,
Hung Tran Van:
FAUST: Formal Analysis Using Specification Tools.
RE 2003: 350 |
| 24 | | Axel van Lamsweerde:
From System Goals to Software Architecture.
SFM 2003: 25-43 |
| 2002 |
|---|
| 23 | | Emmanuel Letier,
Axel van Lamsweerde:
Agent-based tactics for goal-oriented requirements elaboration.
ICSE 2002: 83-93 |
| 22 | | Axel van Lamsweerde,
Emmanuel Letier:
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering.
RISSEF 2002: 325-340 |
| 21 | | Emmanuel Letier,
Axel van Lamsweerde:
Deriving operational software specifications from system goals.
SIGSOFT FSE 2002: 119-128 |
| 2001 |
|---|
| 20 | | Axel van Lamsweerde:
Building Formal Requirements Models for Reliable Software.
Ada-Europe 2001: 1-20 |
| 19 | | Axel van Lamsweerde:
Goal-Oriented Requirements Engineering: A Guided Tour.
RE 2001: 249 |
| 2000 |
|---|
| 18 | | Axel van Lamsweerde:
Building Formal Models for Software Requirements.
APSEC 2000: 134- |
| 17 | | Axel van Lamsweerde:
Requirements engineering in the year 00: a research perspective.
ICSE 2000: 5-19 |
| 16 | | Axel van Lamsweerde:
Formal specification: a roadmap.
ICSE - Future of SE Track 2000: 147-159 |
| 15 | | Axel van Lamsweerde,
Emmanuel Letier:
Handling Obstacles in Goal-Oriented Requirements Engineering.
IEEE Trans. Software Eng. 26(10): 978-1005 (2000) |
| 1998 |
|---|
| 14 |  | Axel van Lamsweerde,
Emmanuel Letier:
Integrating Obstacles in Goal-Driven Requirements Engineering.
ICSE 1998: 53-62 |
| 13 | | Axel van Lamsweerde,
Robert Darimont,
Emmanuel Letier:
Managing Conflicts in Goal-Driven Requirements Engineering.
IEEE Trans. Software Eng. 24(11): 908-926 (1998) |
| 12 | | Axel van Lamsweerde,
Laurent Willemet:
Inferring Declarative Requirements Specifications from Operational Scenarios.
IEEE Trans. Software Eng. 24(12): 1089-1114 (1998) |
| 1997 |
|---|
| 11 | | Robert Darimont,
Emmanuelle Delor,
Philippe Massonet,
Axel van Lamsweerde:
GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering.
ICSE 1997: 612-613 |
| 10 | | Robert Darimont,
Emmanuelle Delor,
Philippe Massonet,
Axel van Lamsweerde:
GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout.
RE 1997: 140 |
| 9 | | Philippe Massonet,
Axel van Lamsweerde:
Analogical Reuse of Requirements Frameworks.
RE 1997: 26- |
| 8 | | Martin S. Feather,
Stephen Fickas,
Anthony Finkelstein,
Axel van Lamsweerde:
Requirements and Specification Exemplars.
Autom. Softw. Eng. 4(4): 419-438 (1997) |
| 1996 |
|---|
| 7 | | Robert Darimont,
Axel van Lamsweerde:
Formal Refinement Patterns for Goal-Driven Requirements Elaboration.
SIGSOFT FSE 1996: 179-190 |
| 1995 |
|---|
| 6 | | Axel van Lamsweerde,
Robert Darimont,
Philippe Massonet:
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt.
RE 1995: 194-203 |
| 1993 |
|---|
| 5 | | Anne Dardenne,
Axel van Lamsweerde,
Stephen Fickas:
Goal-Directed Requirements Acquisition.
Sci. Comput. Program. 20(1-2): 3-50 (1993) |
| 1991 |
|---|
| 4 | | Axel van Lamsweerde,
Alfonso Fugetta:
ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings
Springer 1991 |
| 1988 |
|---|
| 3 | | Axel van Lamsweerde,
Bruno Delcourt,
Emmanuelle Delor,
Marie-Claire Schayes,
Robert Champagne:
Generic Lifecycle Support in the ALMA Environment.
IEEE Trans. Software Eng. 14(6): 720-741 (1988) |
| 1979 |
|---|
| 2 | | Axel van Lamsweerde,
Michel Sintzoff:
Formal Derivation of Strongly Correct Concurrent Programs.
Acta Inf. 12: 1-31 (1979) |
| 1972 |
|---|
| 1 | | Hendrik Vantilborgh,
Axel van Lamsweerde:
On an Extension of Dijkstra's Semaphore Primitives.
Inf. Process. Lett. 1(5): 181-186 (1972) |
