Author: Axel van Lamsweerde
Axel van Lamsweerde is Full Professor at the Department of Computing Science of the Universite catholique de Louvain, Belgium. He was formerly research associate at Philips Research Labs and professor at the universities of Namur and Bruxelles. He was also research fellow at the University of Oregon and the Computer Science Lab of Stanford Research Institute (Menlo Park, CA). He was co-founder of two software technology transfer centers supported by the European Union.
His research interests are in precise techniques for requirements engineering, system modeling, high assurance systems, lightweight formal methods, process modeling and analysis, medical safety, and knowledge-based software development environments. Since 1990 he has been instrumental in the development of the KAOS goal-oriented modeling language, method, and toolset. The method and toolset have been used worldwide in more than 25 industrial projects. He is author of the book "Requirements engineering: From System Goals to UML Models to Software Specifications" (Wiley).
van Lamsweerde was Editor-in-Chief of the ACM Transactions in Software Engineering and Methodology (ACM, New York), Program Chair of major international software engineering conferences including ESEC'91 and ICSE'94, founding member of the IFIP WG2.9 Working Group on Requirements Engineering, and is currently Associate Editor of the IEEE Transactions on Software Engineering. He has been keynote speaker at major conferences in the field including the International Conference on Software Engineering (ICSE'2000) and the International Joint Conference on Requirements Engineering (RE'04). He is an ACM Fellow (2000), recipient of the ACM SIGSOFT Distinguished Service Award (2003), and the ACM SIGSOFT Outstanding Research Award (2008).
Landtsheer, Renaud De, Letier, Emmanuel, Lamsweerde, Axel van (2004): Deriving tabular event-based specifications from goal-oriented requirements models. In Requir. Eng., 9 (2) pp. 104-120. https://dx.doi.org/10.1007/s00766-004-0189-1
Lamsweerde, Axel van, Letier, Emmanuel (2000): Handling Obstacles in Goal-Oriented Requirements Engineering. In IEEE Trans. Software Eng., 26 (10) pp. 978-1005. https://csdl.computer.org/comp/trans/ts/2000/10/e0978abs.htm
Lamsweerde, Axel van, Darimont, R., Massonet, P. (1995): Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons le. In RE, 0 (0) pp. 194-203.
Dardenne, Anne, Lamsweerde, Axel van, Fickas, Stephen (1993): Goal-directed requirements acquisition. In Science of Computer Programming, 20 (1) pp. 3-50.
Darimont, Robert, Delor, Emmanuelle, Massonet, Philippe, Lamsweerde, Axel van (1997): GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 140. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400140abs.htm
Lamsweerde, Axel van (2001): Goal-Oriented Requirements Engineering: A Guided Tour. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 249. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250249abs.htm
Lamsweerde, Axel van (2004): Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 4-7. https://doi.ieeecomputersociety.org/10.1109/RE.2004.25
Lamsweerde, Axel van, Darimont, Robert, Massonet, Philippe (1995): Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons le. In: Second IEEE International Symposium on Requirements Engineering 1995 March 27 - 29, 1995, York, England. pp. 194-203. https://csdl.computer.org/comp/proceedings/re/1995/7017/00/70170194abs.htm
Landtsheer, Renaud De, Letier, Emmanuel, Lamsweerde, Axel van (2003): Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 200-. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800200abs.htm
Massonet, Philippe, Lamsweerde, Axel van (1997): Analogical Reuse of Requirements Frameworks. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 26-. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/77400026abs.htm
Rifaut, André, Massonet, Philippe, Molderez, Jean-François, Ponsard, Christophe, Stadnik, Pierre, Lamsweerde, Axel van, Van, Hung Tran (2003): FAUST: Formal Analysis Using Specification Tools. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 350. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800350abs.htm
Van, Hung Tran, Lamsweerde, Axel van, Massonet, Philippe, Ponsard, Christophe (2004): Goal-Oriented Requirements Animation. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 218-228. https://doi.ieeecomputersociety.org/10.1109/RE.2004.24
Ponsard, Christophe, Balych, Nadiya, Massonet, Philippe, Vanderdonckt, Jean M., Lamsweerde, Axel van (2005): Goal-Oriented Design of Domain Control Panels. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 249-260. https://dx.doi.org/10.1007/11752707_21
Lamsweerde, Axel van (2009): Building Multi-View System Models for Requirements Engineering. In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009 , 2009, . pp. 368-369. https://doi.ieeecomputersociety.org/10.1109/RE.2009.50