PhD :: Wendy Liu
Personal PagePublications
Interests: Requirements Engineering and Software Architectures

Contact Information:

PHD Thesis:
[ 2002 -- Current ]
Advisors:

MSC Thesis:
[ 2000 -- 2002 ] Rule-Based Detection of Inconsistency in Software Design
Advisors:

Publications:


2003:
  • W. Liu and S. M. Easterbrook. ``Eliciting Architectural Decisions from Requirements using a Rule-based Framework'', in Proceedings of the Second International Workshop From Software Requirements to Architectures (STRAW'03), co-located with ICSE 2003, Portland, Oregon, May, 2003
    PS PDF Abstract
  • W. Liu and S. M. Easterbrook. ``Rule-based Inconsistency Management'', CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2003
    PS PDF Abstract
  • W. Liu. ``Democracy in Requirements Negotiation: a survey of social choice theory and its impact on requirements negotiation'', CSRG Technical Report, Department of Computer Science, University of Toronto, June, 2003
    PS PDF Abstract
2002:
  • W. Liu, S. M. Easterbrook, and J. Mylopoulos. ``Rule-Based Detection of Inconsistency in UML Models'', in the Workshop on Consistency Problems in UML-Based Software Development, at the Fifth International Conference on the Unified Modeling Language, Dresden, Germany, October, 2002
    PS PDF Abstract
  • W.Liu. `` Rule-Based Detection of Inconsistency in Software Design'' , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, July, 2002
    PS PDF Abstract
2001:
  • W. Liu. ``Goal Directed Requirements Acquisition for an Industrial Case Study: a Dental Adjudication System'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2001
    PS PDF Abstract
  • W. Liu. ``Dental Adjudication Model - An Application of i* Framework'', CSRG Technical Report, Department of Computer Science, University of Toronto, April, 2001
    PS PDF Abstract
  • W. Liu. ``Multi-Valued Symbolic LTL Model Checker'', CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
    PS PDF Abstract
  • W. Liu. ``Bridging Software Requirements and Architecture'', CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
    PS PDF Abstract
  • W. Liu. ``The Social Role of University ? a UML Model'', CSRG Technical Report, Department of Computer Science, University of Toronto, February, 2001
    PS PDF Abstract
previous:
  • W. Liu. ``Report on Construction Heuristics for the Traveling Salesman Problem'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2000
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004