Theses
| Year | Publication |
|---|---|
| 2011 | Hao Luo, Generic Propagation Algorithm for Goal Models, SITE, University of Ottawa, May 2011, 34 pages |
| 2010 | Gunter Mussbacher, Aspect-Oriented User Requirements Notation, University of Ottawa, Canada, November 2010, 341 pages |
| 2010 | Yan Gao, Import/Export of URN Models in Z.151 XML File Format with jUCMNav, SITE, University of Ottawa , January 2010, 46 pages |
| 2010 | Xia Liu, A Requirement Engineering Framework for Assessing Health Care Information Systems, Masters Thesis SITE, University of Ottawa, January 2010, 92 pages |
| 2008 | Jun Biao Yan, Static Semantics Checking Tool for jUCMNav, SITE, University of Ottawa, March 2008, 38 pages |
| 2008 | Tawfig M. Abdelaziz, Towards a Comprehensive Agent-Oriented Software Engineering Methodology, Doctoral Dissertation Universität Duisburg-Essen, Germany, October 2008, 198 pages |
| 2008 | Jameleddine Hassine, Formal Semantics and Verification of Use Case Maps, Concordia University, Canada, April 2008, 299 pages |
| 2008 | Alireza Pourshahid, A URN-Based Methodology for Business Process Monitoring, SITE, University of Ottawa, March 2008, 134 pages |
| 2008 | Maryam Shiri, Supporting UCM Requirements Evolution by Means of Formal Concept Analysis, Dept. of Computer Science and Software Engineering, Concordia University, Canada, February 2008, pages |
| 2008 | Humberto Nicolás Castejón, Collaborations in Service Engineering: Modeling, Analysis and Execution, Norwegian University of Science and Technology, Department of Telematics, Norway, November 2008, 306 pages |
| 2008 | Muhammad Rizwan Abid, UML Profile for Goal-oriented Modelling, SITE, University of Ottawa, August 2008, 123 pages |
| 2007 | J. Kealey, Enhanced Use Case Map Analysis and Transformation Tooling, SITE, University of Ottawa, September 2007, 147 pages |
| 2007 | S. Ghanavati, A Compliance Framework for Business Processes Based on URN, SITE, University of Ottawa, May 2007, pages |
| 2007 | Jean-François Roy, Requirement Engineering with URN: Integrating Goals and Scenarios, SITE, University of Ottawa, March 2007, pages |
| 2007 | P. Chen, Goal-Oriented Business Process Monitoring: An Approach based on User Requirement Notation combined with Business Intelligence and Web Services, Masters Thesis School of Computer Science, Carleton University, Canada, December 2007, 135 pages |
| 2007 | Christoph H. Störmer, Software Quality Attribute Analysis by Architecture Reconstruction (SQUA3RE), PhD Thesis Vrije Universiteit Amsterdam, The Netherlands, March 2007, 247 pages |
| 2006 | Martín Blech y Juan Pablo Carlino, ArchSync: Asistencia en la Sincronización de Documentación de Diseño con Implementación, B.Sc. Degree Report Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina, October 2006, 102 pages |
| 2005 | B. Jiang, Combining Graphical Scenarios with a Requirements Management System, SITE, University of Ottawa, June 2005, pages |
| 2005 | Y.X. Zeng, Transforming Use Case Maps to the Core Scenario Model Representation, SITE, University of Ottawa, June 2005, pages |
| 2005 | Bas van der Raadt, Business-Oriented Exploration of Web Services Ideas - Combining Goal-Oriented and Value-Based Approaches, Vrije Universiteit, Amsterdam, The Netherlands, February 2005, 116 pages |
| 2005 | Yi Chu, Tool support for the Goal-oriented Requirements Language, SITE, University of Ottawa, August 2005, 63 pages |
| 2005 | William S Blackley, Application and Evaluation of Use Case Maps with UML in Object-Oriented Systems Development by Case Study, University of Paisley, Scotland, UK, September 2005, 216 pages |
| 2005 | Shahbaz Maqbool, Transformation of a Core Scenario Model and Activity Diagrams into Petri Nets, SITE, University of Ottawa , September 2005, 160 pages |
| 2004 | Asmaa Alsumait, User Interface Requirements Engineering: A Scenario-Based Framework, PhD Thesis, Concordia University, Canada , August 2004, 178 pages |
| 2003 | Pengfei Wu, A Performance Model for a Network of Prototype Software Routers, Carleton University, Canada , June 2003, 175 pages |
| 2002 | R. Guan, From Requirements to Scenarios through Specifications: A Translation Procedure from Use Case Maps to LOTOS, SITE, University of Ottawa, September 2002, pages |
| 2002 | Morten Vinje, An Auditing Framework for Service Provision in Mobil IPv6 Networks, Diploma Thesis Swiss Federal Institute of Technology Zurich, August 2002, 171 pages |
| 2002 | Huai Liu, Multilevel Performance Analysis of Scenario Specification for a Presence System, M.Sc. Thesis, SCE Dept. Carleton University, Ottawa, Canada , October 2002, 172 pages |
| 2002 | Jaap Gordijn, Value-based Requirements Engineering Exploring Innovative e-Commerce Ideas, Vrije Universiteit, The Netherlands, June 2002, 292 pages |
| 2002 | Eric D. Schabell, Resource Access in Generic Information Retrieval Systems, M.Sc. thesis, Free University Amsterdam, The Netherlands , June 2002, 84 pages |
| 2002 | Xin He, Policy capturing and two level specifications of policies for human and software processing, Masters Thesis Concordia University, March 2002, 126 pages |
| 2001 | R. Andrade , Capture, Reuse, and Validation of Requirements and Analysis Patterns for Mobile Systems, SITE, University of Ottawa, May 2001, 226 pages |
| 2001 | D.B. Petriu , Layered Software Performance Models Constructed from Use Case Map Specifications, SCE Dept., Carleton University, May 2001, 139 pages |
| 2001 | L. Charfi, Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS, SITE, University of Ottawa, February 2001, 116 pages |
| 2001 | J. Hassine, Feature Interaction Filtering and Detection with Use Case Maps and LOTOS, SITE, University of Ottawa, February 2001, 156 pages |
| 2001 | D. Amyot, Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS, SITE, University of Ottawa, September 2001, 390 pages |
| 2001 | I. Sales, A Bridging Methodology for Internet Protocols Standards Development, SITE, University of Ottawa, August 2001, 129 pages |
| 2001 | N. Gorse, The Feature Interaction Problem: Automatic Filtering of Incoherences & Generation of Validation Test Suites at the Design Stage, SITE, University of Ottawa, September 2001, 143 pages |
| 2001 | K.H. Siddiqui , Time/Performance Budgeting for Software Designs, Masters Thesis SCE Dept., Carleton University, November 2001, 197 pages |
| 2000 | Z. Yi, CNAP Specification and Validation: A Design Methodology Using LOTOS and UCM, SITE, University of Ottawa, - 2000, pages |
| 2000 | W.C. Scratchley, Evaluation and Diagnosis of Concurrency Architectures, SCE Dept., Carleton University , - 2000, pages |
| 1999 | F. Bordeleau , A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines, SCE Dept. Carleton University, December 1999, 379 pages |
| 1998 | A. Miga, Application of Use Case Maps to System Design With Tool Support, SCE Dept. Carleton University, October 1998, pages |
| 1995 | Eric Siu-Kwong Yu, Modelling strategic relationships for process reengineering, Ph D? Thesis Dept. of Computer Science, University of Toronto, Canada, - 1995, 181 pages |
| 1994 | D. Amyot, Formalization of Timethreads Using LOTOS, SITE, University of Ottawa, December 1994, 213 pages |
| 1993 | Ronald S. Casselman, A Role-Based Architectural Model Applied to Object-Oriented Systems, Masters Thesis SCE Dept., Carleton University, August 1993, 150 pages |
| 1992 | Mark Vigder, Applying Formal Techniques to the Design of Concurrent Systems, Ph D? Thesis SCE Dept., Carleton University, July 1992, 293 pages |
Number of topics: 47
-- Daniel Amyot - 04 Aug 2006 Topic revision: r5 - 08 Jul 2010 - 09:44:38 - Daniel Amyot
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback