Master :: Andre Wong
Publications

Contact Information:

MSC Thesis:
[ Unknown -- 1999 ] Formalizing Requirements in a Commercial Setting: A Case Study
Advisors:

More Information:
  • As an alumni since 1999

Publications:


2002:
  • M. Chechik and A. Wong. ``Formal Modeling in a Commercial Setting: A Case Study'', Journal of Systems and Software, vol. 60, pp. 57-80, January, 2002
    PS PDF Abstract
previous:
  • M. Chechik and A. Wong. ``Formal Methods When Money Is Tight'', in Proceedings of the First Workshop on Economics-Driven Software Engineering Research (EDSER-1), Los Angeles, May, 1999
    PS PDF Abstract
  • Andre Wong and Marsha Chechik. ``Formal Modeling in a Commercial Setting: A Case Study'', in Proceedings of FM'99: World Congress in Formal Methods, pp. 590-605, September, 1999
    PS PDF Abstract
  • Andre Wong. ``Formalizing Requirements in a Commercial Setting: A Case Study'' , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, May, 1999
    PS PDF Abstract
  • Andre Wong and Marsha Chechik. ``Applying Formal Methods to a Telecommunications System in a Commercial Setting'', in Proceedings of 11th International Conference on Software Engineering and Its Applications, December, 1998
    PS PDF Abstract

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