Emmanuel Letier

This is my old home page. I have now moved to the Department of Computer Science at the University College London, the other UCL.

My new home page is at http://www.cs.ucl.ac.uk/staff/E.Letier

Publications until 2005

E. Letier, Jeff Kramer, Jeff Magee and Sebastian Uchitel, Fluent Temporal Logic for Discrete-Time Event-Based Models, Proceedings ESEC/FSE 2005 - 5th joint meeting of the the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, Lisbon, Portugal, September 2005.

E. Letier, Jeff Kramer, Jeff Magee and Sebastian Uchitel, Monitoring and Control in Scenario-Based Requirements Analysis, Proceedings ICSE 2005 - 27th International Conference on Software Engineering, ACM Press, St. Louis, Missouri, USA, May 2005.

E. Letier and A. van Lamsweerde, Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering, Proceedings FSE 2004 - 12th International Symposium on the Foundation of Software Engineering, ACM Press, Newport Beach, CA, November 2004, pp. 53-62. (Distinguished Paper Award)

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 in the Future, M. Wirswing (ed.), Springer-Verlag, LNCS 2941, 2004, pp. 325-340.

R. De Landtsheer, E. Letier and A. van Lamsweerde, Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models, Requirements Engineering Journal, Vol. 9, n° 2, Springer-Verlag, May 2004, pp. 104-120. (Revised and expended version of RE'03 paper)

R. De Landtsheer, E. Letier and A. van Lamsweerde, Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models, Proc. RE'03 - International Conference on Requirements Engineering, IEEE Press, Montery, California, September 2003, pp. 200-211. (Best Research Paper Award - A revised and expended version appeared in Requirements Engineering Journal)

E. Letier and A. van Lamsweerde, Deriving Operational Software Specifications from System Goals, Proceedings FSE 2002 - 10th International Symposium on the Foundation of Software Engineering, ACM Press, Charleston, November 2002, pp. 200-211.
E. Letier and A. van Lamsweerde, High Assurance Requires Goal Orientation, Proceedings RHAS '02 - International Workshop on Requirements for High Assurance Systems, Essen, September 2002.

E. Letier and A. van Lamsweerde, Agent-Based Tactics for Goal-Oriented Requirements Elaboration Proceedings ICSE 2002 - 24th International Conference on Software Engineering, ACM Press, Orlando, May 2002, pp. 83-93.

E. Letier, Reasoning about Agents in Goal-Oriented Requirements Engineering, Phd Thesis, Université Catholique de Louvain, Dépt. Ingénierie Informatique, Louvain-la-Neuve, Belgium, May 2001.
A. van Lamsweerde and E. Letier, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, Special Issue on Exception Handling, Vol 26, n° 10, October 2000, pp. 978-1005.

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, Vol 24, n° 11, November 1998, pp. 908-926.

A. van Lamsweerde, E. Letier, Integrating Obstacles in Goal-Driven Requirements Engineering, Proceedings ICSE'98 - 20th International Conference on Software Engineering, ACM Press, Kyoto, April 98, pp. 53-62.

web log free