Axel van Lamsweerde

发表

Axel van Lamsweerde, 2011, Formal Aspects of Computing.
Pierre Dupont, Axel van Lamsweerde, Christophe Damas, 2005, IEEE Transactions on Software Engineering.
Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2005, Formal Methods Syst. Des..
Philippe Massonet, Axel van Lamsweerde, Robert Darimont, 1997, Proceedings of the (19th) International Conference on Software Engineering.
Axel van Lamsweerde, A. V. Lamsweerde, 1977, Formal Description of Programming Concepts.
Philippe Massonet, Axel van Lamsweerde, Robert Darimont, 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).
Axel van Lamsweerde, Renaud De Landtsheer, Emmanuel Letier, 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..
Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, 1988, IEEE Trans. Software Eng..
Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2004, SIGSOFT '04/FSE-12.
Axel van Lamsweerde, Robert Darimont, A. V. Lamsweerde, 1996, SIGSOFT '96.
Axel van Lamsweerde, A. V. Lamsweerde, 2000, ICSE '00.
Leon J. Osterweil, Axel van Lamsweerde, Bruno Fadini, 1994, ICSE 1994.
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2014, FHIES/SEHC.
Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, 1987, SDE 2.
Axel van Lamsweerde, 2000, APSEC.
Axel van Lamsweerde, A. V. Lamsweerde, 2013, Engineering Dependable Software Systems.
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
Axel van Lamsweerde, Antoine Cailliau, A. V. Lamsweerde, 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2006, SIGSOFT '06/FSE-14.
Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 1998, Proceedings of the 20th International Conference on Software Engineering.
Axel van Lamsweerde, Emmanuel Letier, 2002, ICSE '02.
Axel van Lamsweerde, Renaud De Landtsheer, 2005, ESEC/FSE-13.
Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Michel Sintzoff, Axel van Lamsweerde, 2004, Acta Informatica.
Axel van Lamsweerde, Antoine Cailliau, 2015, 2015 IEEE 23rd International Requirements Engineering Conference (RE).
Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2002, SIGSOFT '02/FSE-10.
Leon J. Osterweil, Axel van Lamsweerde, Bruno Fadini, 1994 .
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2014, IEEE Transactions on Software Engineering.
Axel van Lamsweerde, A. V. Lamsweerde, 2011 .
Axel van Lamsweerde, Antoine Cailliau, A. V. Lamsweerde, 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Pierre Dupont, Axel van Lamsweerde, Christophe Damas, 2008, Appl. Artif. Intell..
Michel Sintzoff, Axel van Lamsweerde, 1975 .
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2015, Dependable Software Systems Engineering.
Axel van Lamsweerde, 2011, Sci. Comput. Program..
Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2002, RISSEF.
Axel van Lamsweerde, A. V. Lamsweerde, 1982 .
Axel van Lamsweerde, A. V. Lamsweerde, 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, 1997, Automated Software Engineering.
Axel van Lamsweerde, A. V. Lamsweerde, 2009, Conceptual Modeling: Foundations and Applications.
Axel van Lamsweerde, A. V. Lamsweerde, 1974 .
Axel van Lamsweerde, A. V. Lamsweerde, 2003, SFM.
Axel van Lamsweerde, Renaud De Landtsheer, Emmanuel Letier, 2004, Requirements Engineering.
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2009, 2009 IEEE 31st International Conference on Software Engineering.
Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2000, IEEE Trans. Software Eng..
Stephen Fickas, Axel van Lamsweerde, Anne Dardenne, 1993, Sci. Comput. Program..
Jean Vanderdonckt, Philippe Massonet, Christophe Ponsard, 2005, DSV-IS.
Axel van Lamsweerde, A. V. Lamsweerde, 2001, RE.
Philippe Massonet, Axel van Lamsweerde, Robert Darimont, 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
Axel van Lamsweerde, 2008, SHARK '08.
Axel van Lamsweerde, Antoine Cailliau, 2013, Requirements Engineering.
Axel van Lamsweerde, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
Axel van Lamsweerde, 2009 .
Axel van Lamsweerde, Emmanuel Letier, 2002 .
Axel van Lamsweerde, A. V. Lamsweerde, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Axel van Lamsweerde, A. V. Lamsweerde, 2004, Proceedings. 26th International Conference on Software Engineering.
Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).
Dalal Alrajeh, Axel van Lamsweerde, Antoine Cailliau, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Axel van Lamsweerde, Hendrik Vantilborgh, A. V. Lamsweerde, 1972, Inf. Process. Lett..
Axel van Lamsweerde, Laurent Willemet, A. V. Lamsweerde, 1998, IEEE Trans. Software Eng..
Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2007, Formal Methods Syst. Des..
Axel van Lamsweerde, 2010, EICS '10.
Axel van Lamsweerde, Robert Darimont, Emmanuel Letier, 1998, IEEE Trans. Software Eng..
Axel van Lamsweerde, A. V. Lamsweerde, 2008, SIGSOFT '08/FSE-16.
Axel van Lamsweerde, Pierre Dufour, 1987 .
Axel van Lamsweerde, Antoine Cailliau, 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).
Christophe Ponsard, Axel van Lamsweerde, Emmanuel Letier, 1997 .