A. V. Lamsweerde

发表

Axel van Lamsweerde, A. V. Lamsweerde, 1991 .

Axel van Lamsweerde, Anne Dardenne, Bruno Delcourt, 1991 .

Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 1998, Proceedings of the 20th International Conference on Software Engineering.

A. V. Lamsweerde, Robert Darimont, 1996, SIGSOFT FSE.

Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2005, Formal Methods Syst. Des..

A. V. Lamsweerde, Philippe Massonet, 1997 .

Axel van Lamsweerde, A. V. Lamsweerde, 2011 .

Axel van Lamsweerde, Hendrik Vantilborgh, A. V. Lamsweerde, 1972, Inf. Process. Lett..

Axel van Lamsweerde, A. V. Lamsweerde, 1977, Formal Description of Programming Concepts.

Axel van Lamsweerde, A. V. Lamsweerde, 1982 .

Axel van Lamsweerde, A. V. Lamsweerde, 1974 .

Leon J. Osterweil, Axel van Lamsweerde, Bruno Fadini, 1994, ICSE 1994.

William G. Griswold, Gregg Rothermel, David Garlan, 2002 .

A. V. Lamsweerde, R. D. Landtsheer, Emmanuel Letier, 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

Axel van Lamsweerde, A. V. Lamsweerde, 1996, ISAW/Viewpoints@FSE.

Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2014, IEEE Transactions on Software Engineering.

Pierre Dupont, Axel van Lamsweerde, Christophe Damas, 2005, IEEE Transactions on Software Engineering.

Axel van Lamsweerde, A. V. Lamsweerde, 2001, RE.

Axel van Lamsweerde, A. V. Lamsweerde, 2008, SIGSOFT '08/FSE-16.

Axel van Lamsweerde, Laurent Willemet, A. V. Lamsweerde, 1998, IEEE Trans. Software Eng..

Stephen Fickas, Axel van Lamsweerde, Anne Dardenne, 1993, Sci. Comput. Program..

Philippe Massonet, A. van Lamsweerde, A. V. Lamsweerde, 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

Philippe Massonet, Christophe Ponsard, Axel van Lamsweerde, 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

Axel van Lamsweerde, A. V. Lamsweerde, 2000, ICSE '00.

Axel van Lamsweerde, Robert Darimont, A. V. Lamsweerde, 1996, SIGSOFT '96.

Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2004, SIGSOFT '04/FSE-12.

Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2000, IEEE Trans. Software Eng..

Axel van Lamsweerde, A. V. Lamsweerde, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

Axel van Lamsweerde, Robert Darimont, Emmanuel Letier, 1998, IEEE Trans. Software Eng..

Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2002, RISSEF.

M.S. Feather, C. Ponsard, S. Fickas, 1998, Proceedings Ninth International Workshop on Software Specification and Design.

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

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).

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).

Axel van Lamsweerde, Emmanuel Letier, A. V. Lamsweerde, 2002, SIGSOFT '02/FSE-10.

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.

A. V. Lamsweerde, A. Finkelstein, M. Feather, 1997 .

Axel van Lamsweerde, A. V. Lamsweerde, 2004, Proceedings. 26th International Conference on Software Engineering.

A. V. Lamsweerde, E. Letier, A. van Lamsweerde, 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

Martin S. Feather, Stephen Fickas, Axel van Lamsweerde, 1997 .

Philippe Massonet, Axel van Lamsweerde, Robert Darimont, 1997, Proceedings of the (19th) International Conference on Software Engineering.

Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2014, FHIES/SEHC.

Axel van Lamsweerde, A. V. Lamsweerde, 2003, SFM.

Pierre Dupont, Axel van Lamsweerde, Christophe Damas, 2008, Appl. Artif. Intell..

A. van Lamsweerde, A. Dardenne, A. V. Lamsweerde, 1993 .

Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, 1987, SDE 2.

Christophe Ponsard, Axel van Lamsweerde, Emmanuel Letier, 1997 .

Stephen Fickas, Anne Dardenne, Axel van Lamsweerde, 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

Axel van Lamsweerde, A. V. Lamsweerde, 2009, Conceptual Modeling: Foundations and Applications.

A. V. Lamsweerde, 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

Philippe Massonet, Axel van Lamsweerde, Robert Darimont, 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, 1988, IEEE Trans. Software Eng..

Axel van Lamsweerde, Antoine Cailliau, A. V. Lamsweerde, 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

Axel van Lamsweerde, Christophe Damas, Bernard Lambeau, 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).

Michel Sintzoff, Axel Van Lamsweerde, A. V. Lamsweerde, 1975, Reliable Software.

A. van Lamsweerde, P. Jamart, A. V. Lamsweerde, 1994, Proceedings of the Third International Conference on the Software Process. Applying the Software Process.