Axel van Lamsweerde
Reasoning About Alternative Requirements Options
In Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, A. Borgida, V. Chaudhri, P. Giorgini, E. Yu (Eds.)
Springer-Verlag LNCS 5600, 2009, 380-397.
Available via : MylopoulosTribute.pdf
Axel van Lamsweerde
From Worlds to Machines
in A Tribute to Michael Jackson, B. Nuseibeh and P. Zave (Eds.)
Lulu Press, 2009.
Available via : JacksonTribute.pdf
C. Damas, B. Lambeau, F. Roucoux, A. van Lamsweerde
Analyzing Critical Process Models through Behavior Model Synthesis
Proc. ICSE'2009: 31th International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
Available via : avl-icse09.pdf
A. van Lamsweerde
Requirements Engineering: From Craft to Discipline
Proc. FSE'2008: 16th ACM Sigsoft Intl. Symposium on the Foundations of Software Engineering, Atlanta, November 2008 (Invited Paper for the ACM Sigsoft Outstanding Research Award).
Available via : avl-fse08.pdf
A. van Lamsweerde
Engineering Requirements for System Reliability and Security
in Software System Reliability and Security, M. Broy, J. Grunbauer and C.A.R. Hoare (eds.), NATO Security through Science Series - D: Information and Communicarion Security, Vol. 9. IOS Press, 2007, 196-238.
Available via : avl-markt07.pdf
P. Dupont, B. Lambeau, C. Damas, and A. van Lamsweerde
The QSM Algorithm and its Application to Software Behavior Model Induction
Applied Artificial Intelligence, Vol. 22, 2008, 77-115.
C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, and A. van Lamsweerde
Early Verification and Validation of Mission-Critical Systems
Formal Methods in System Design, Vol. 30 No. 3, Springer, June 2007, 233-247.
C. Damas, B. Lambeau, A. van Lamsweerde
Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis
Proc. FSE'06: Intl. ACM Symposium on the Foundations of Software Engineering, Portland (OR), November 2006.
Available via : avl-fse06.pdf
C. Damas, B. Lambeau, P. Dupont, A. van Lamsweerde
Generating Annotated Behavior Models From End-User Scenarios
IEEE Transactions on Software Engineering, Special Issue on Interaction and State-based Modeling, Vol. 31, No. 12, pp. 1056-1073, 2005.
Available via : avl-tse05.pdf
R. De Landtsheer, A. van Lamsweerde
Reasoning about Confidentiality at Requirements Engineering Time
Proceedings of ESEC/FSE’05, The fifth joint meeting of the European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, Sept. 2005
Available via : avl-fse05.pdf
E. Letier and A. van Lamsweerde
Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
Proceedings of FSE’04, 12th ACM International Symp. on the
Foundations of Software Engineering, Newport Beach (CA), Nov. 2004,
53-62 (Best Research Paper Award)
Available via : avl-FSE04.pdf
A. van Lamsweerde
Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice
Proceedings of RE’04, 12th IEEE Joint International
Requirements Engineering Conference, Kyoto, Sept. 2004, 4-8 (Invited
Keynote Paper)
Available via : avl-RE04-Keynote.pdf
A. van Lamsweerde
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of ICSE’04, 26th International Conference on Software Engineering, Edinburgh, May. 2004, ACM-IEEE ,148-157.
Available via : avl-Icse04-AntiGoals.pdf
H. Tran Van, A. van Lamsweerde, P. Massonet, Ch. Ponsard
Goal-Oriented Requirements Animation
Proceedings of RE’04, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004, 218-228.
Available via : avl-RE04.pdf
Ch. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde, H. Tran Van
Early Verification and Validation of Mission-Critical Systems
Proceedings of FMICS’04, 9th International Workshop on Formal
Methods for Industrial Critical Systems, Linz (Austria) Sept. 2004.
Available via : avl-faust-fmics04-v2-1.pdf
Axel van Lamsweerde
From System Goals to Software Architecture
In Formal Methods for Software Architectures,
M. Bernardo & P. Inverardi (eds),
LNCS 2804, Springer-Verlag, 2003, 25-43
Available via : avl-ReqToArch-avl.pdf
R. De Landtsheer, E. Letier and A. van Lamsweerde,
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models
Proceedings of RE’03, 11th IEEE Joint International
Requirements Engineering Conference, Monterey (CA),
Sept. 2003, 200-210 (Best Research Paper Award)
Available via : avl-RE03.pdf
A. van Lamsweerde, S.n Brohez, R.d De Landtsheer and D. Janssens,
From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering
Proceedings of the RE’03 Workshop on Requirements for High Assurance Systems
(RHAS’03), Monterey (CA), Sept. 2003, 49-56
Available via : avl-RHAS03.pdf
A. van Lamsweerde and E. Letier
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
In Radical Innovations of Software and Systems Engineering,
POst-Workshop Proceedings of the Monterey'02 Workshop,
Springer-Verlag LNCS, 2003
Available via : avl-MontereyLNCS.pdf
E. Letier and A. van Lamsweerde
Deriving Operational Software Specifications from System Goals
Proceedings FSE'10 - 10th ACM S1GSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002
Available via : FSE02.pdf
E. Letier and A. van Lamsweerde
Agent-Based Tactics for Goal-Oriented Requirements Elaboration
Proceedings ICSE'2002 - 24th International Conference
on Software Engineering, Orlando, May, 2002
Available via : Icse02.pdf
A. van Lamsweerde
Goal-Oriented Requirements Engineering: A Guided Tour
Invited Paper for RE'01 - 5th IEEE International Symposium on Requirements Engineering, Toronto, August, 2001, pp. 249-263
Available via : RE01.pdf
A. van Lamsweerde
Building Formal Requirements Models for Reliable Software
Invited Paper for 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, Leuven, May 14-18, 2001
Lecture Notes in Computer Science, Vol. 2043, Springer-Verlag
Available via : avl-AdaEurope.pdf
A. van Lamsweerde
Requirements Engineering in the Year 00: A Research Perspective
Invited Paper for ICSE'2000 - 22nd International Conference on Software
Engineering, Limerick, ACM Press, 2000
Available via : icse2000-avl.pdf
You may read my keynote slides here
A. van Lamsweerde
Formal Specification: a Roadmap
In "The Future of Software Engineering", A. Finkelstein (ed.), ACM
Press.
Available via : FormalSpec-avl.pdf
You may read the slides of my ICSE'2000 presentation
here
A. van Lamsweerde, E. Letier
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering, Special Issue on Exception
Handling, Vol. 26 No. 10, October 2000, 978-1005.
Available via : TSE-Obstacles.pdf
R.A. Riemenschneider, B. Dutertre, V. Stavridou, A. van Lamsweerde
From System Requirements to System Architecture
Proceedings de ISAW-4 - Fourth International Software Architecture Workshop,
Limerick, June 2000
A. van Lamsweerde, R. Darimont, E. Letier
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering, Special Issue on Managing
Inconsistency in Software Development, November 1998.
Available via : Conflicts-TSE.ps.gz
A. van Lamsweerde, L. Willemet
Inferring Declarative Requirements Specifications from Operational
Scenarios
IEEE Transactions on Software Engineering, Special Issue on Scenario
Management, December 1998.
Available via : scenarios-TSE.ps.gz
A. van Lamsweerde, E. Letier,
Integrating Obstacles in Goal-Driven Requirements Engineering
Proceedings ICSE'98 - 20th International Conference on Software Engineering,
IEEE-ACM, Kyoto, April 98.
Available via : Icse98.ps.gz
P. Bertrand, R. Darimont, E. Delor, P. Massonet, A. van Lamsweerde
GRAIL/KAOS: an environment for goal drivent requirements engineering
Proceedings ICSE'98 - 20th International Conference on Software Engineering,
IEEE-ACM, Kyoto, April 98.
Available : icse984p.ps.gz
M.S. Feather, S. Fickas, A. van Lamsweerde, C. Ponsard,
Reconciling System Requirements and Runtime Behaviour
Proceedings de IWSSD'98 - 9th International Workshop on Software Specification
and Design, IEEE, Isobe, Japan, April 1998.
Available via : Iwssd9-Monitoring.ps.gz
Ph. Massonet, A. van Lamsweerde,
Analogical Reuse of Requirements Frameworks,
Proceedings RE'97 - Third International Conference on Requirements
Engineering , Washington DC, IEEE, January 1997, pp. 26-37.
Available via : re97.ps.gz
R. Darimont, A. van Lamsweerde,
Formal Refinement Patterns for Goal-Driven Requirements Elaboration,
Proceedings FSE-4 - 4th ACM Symp. on the Foundations of Software Engineering,
San Francisco, Oct. 1996, pp. 179-190
Available via : fse4.ps.gz
A. van Lamsweerde,
Divergent Views in Goal-Driven Requirements Engineering
Proceedings of the ACM SIGSOFT Workshop on Viewpoints in Software Development,
San Francisco, Oct. 1996, pp. 252-256
Available via : Views.ps
A. van Lamsweerde, R. Darimont and Ph. Massonet,
Goal-Directed Elaboration of Requirements for a Meting Scheduler:
Problems and Lessons Learnt.
Proceedings RE'95 - Second International Conference on Requirements
Engineering (York, UK), IEEE Computer Society Press, March 1995, 194-203.
Available via : re95.ps.gz
A. Dardenne, A. van Lamsweerde and S. Fickas,
Goal-Directed Requirements Acquisition.
Science of Computer Programming Vol. 20, North Holland, 1993, pp. 3-50.
Available via : SCP.ps.gz
A. Dardenne, S. Fickas and A. van Lamsweerde,
Goal-Directed Concept Acquisition in Requirements Elicitation.
Proceedings IWSSD-6: Sixth International Workshop on Software Specification
and Design. IEEE Computer Society Press, 1991, pp. 14-21.
A. van Lamsweerde,
Learning Machine Learning.
Chap. 5 of A Logic Based Approach to Artificial Intelligence, Vol.
III: From Natural Language Processing to Logic for Expert Systems, A. Thayse
(Ed.). Wiley, 1991, pp. 263-356.
E. Dubois, J. Hagelstein, A. van Lamsweerde, F. Orejas, J. Souquieres
and P. Wodon,
A Guided Tour through the ICARUS Project.
ACM Software Engineering Notes, Vol. 20 No. 2, April 1995, pp. 28-34.
A. van Lamsweerde, A. Dardenne, B. Delcourt and F. Dubisy,
The KAOS Project: Knowledge Acquisition in Automated Specification
of Software.
Proceedings AAAI Spring Symposium Series, Stanford University, American
Association for Artificial Intelligence, March 1991, pp. 59-62.
E. Dubois and A. van Lamsweerde,
Making Specification Processes Explicit.
Proceedings IWSSD-4: 4th International Workshop on Software Specification
and Design. IEEE Computer Society Press, April 1987, pp. 169-177.
A. van Lamsweerde, R. Darimont, and Ph. Massonet,
The Meeting Scheduler System: Problem Statement
Available via : MeetingScheduler.ps
ICARUS,
A Tasteful Variety of Specification Case Studies,
ESPRIT Project 2537, Task IndusCas, January 1989
Available via : CaseStudies.ps
M.S. Feather, S. Fickas, A. Finkelstein, A. van Lamsweerde,
Requirements and Specification Exemplars
Automated Software Engineering, Kluwer Pubs, Vol. 4, No. 4 (1997)
Available via : Exemplars-ASE.ps