Wendy Liu

From SE Wiki
Revision as of 15:37, 22 December 2010 by 128.100.4.130 (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


  • Home
  • People
  • Publications
  • Theses
  • Courses
  • Projects
  • Events
  • Info for New Students
  • Reading Group
  • Software
  • Funding
  • FM Links


PhD :: Wendy Liu

Personal PagePublications

Interests

Requirements Engineering and Software Architectures

Contact Information

PHD Thesis

[ 2002 -- Current ]

Advisors

  • Steve Easterbrook


MSC Thesis

[ 2000 -- 2002 ] Rule-Based Detection of Inconsistency in Software Design

Advisors

  • Marsha Chechik


Publications

2003 2002 2001 previous

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
  • W. Liu and S. M. Easterbrook. ``Rule-based Inconsistency Management, CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2003
  • 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


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
  • W.Liu. `` Rule-Based Detection of Inconsistency in Software Design , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, July, 2002


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
  • W. Liu. ``Dental Adjudication Model - An Application of i* Framework, CSRG Technical Report, Department of Computer Science, University of Toronto, April, 2001
  • W. Liu. ``Multi-Valued Symbolic LTL Model Checker, CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
  • W. Liu. ``Bridging Software Requirements and Architecture, CSRG Technical Report, Department of Computer Science, University of Toronto, March, 2001
  • W. Liu. ``The Social Role of University ? a UML Model, CSRG Technical Report, Department of Computer Science, University of Toronto, February, 2001


previous

  • W. Liu. ``Report on Construction Heuristics for the Traveling Salesman Problem, CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2000


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