|
|
Phd Theses:
- M. Chechik.
Automatic Analysis of Consistency between Requirements and Designs
, PhD Thesis ,
University of Maryland, College Park, Maryland, December, 1996
PS
PDF
Abstract
- S. M. Easterbrook.
Elicitation of Requirements from Multiple Perspectives
, PhD Thesis ,
Imperial College of Science Technology and Medicine, University of London, London, June, 1991
PS
PDF
Abstract
Master Theses:
- G. Brunet.
``A Characterization of Merging Partial Behavioural Models''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, January, 2006
PS
PDF
Abstract
- S. Nejati.
``Refinement Relations on Partial Specifications''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2003
PS
PDF
Abstract
- N. Nui.
``Formally Understanding the Behavior of a Framework's Transaction Management''
, Master Thesis,
Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada, Fall, 2003
PS
PDF
Abstract
- M. Sabetzadeh.
``A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints''
, Master Thesis,
Department of Computer Science, University of Toronto2003
PS
PDF
Abstract
- A. Gurfinkel.
Multi-Valued Symbolic Model-Checking:Fairness, Counter-Examples, Running Time
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 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
- B. Devereux.
``Finite-State Models with Multiplicities: Symbolic Representation and Reasoning''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2001
PS
PDF
Abstract
- Ioannis T. Kassios.
``Theory Theory (and an Attempt to Orient Objections to Object Orientation)''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 2001
PS
PDF
Abstract
- Wei Ding.
``Analyzing Infinite-State Programs with Abstract Interpretation''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, January, 2000
PS
PDF
Abstract
- Dimitrie O. Paun.
Closure Under Stuttering in Temporal Formulas
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 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
|
