Theses

Year Publication
2014 Okhaide Samson Akhigbe, Business Intelligence - Enabled Adaptive Enterprise Architecture, M.Sc. in Systems Science, University of Ottawa, Canada, April 2014, 155 pages
2014 R. Gustavsson and D. Kostopoulos, From Requirements Specification to Test Scripting: Towards Automated Support, Master Thesis in Computer Science with Specialization in Software Engineering, School of Innovation, Design and Engineering Mälardalen University, Sweden, May 2014, 82 pages
2014 Alireza Pourshahid, A Framework for Monitoring and Adapting Business Processes Using Aspect-Oriented URN, Ph.D. in Computer Science, University of Ottawa, Canada, April 2014, 195 pages
2013 Antonio Misaka, Requirement Analysis Technique for Configurable Platform: Case Study, M.A.Sc. in Technology Innovation Management, Carleton University, Canada, January 2013, 101 pages
2013 Dominique Blouin, Modeling Languages for Requirements Engineering and Quantitative Analysis of Embedded Systems, Doctorat, Université de Bretagne-Sud, France, December 2013, 163 pages
2013 Edna Braun, Reverse Engineering Behavioural Models by Filtering out Utilities from Execution Traces, Ph.D. in Computer Science, School of Electrical Engineering and Computer Science, University of Ottawa, Canada, September 2013, 213 pages
2013 Sepideh Ghanavati, Legal-URN Framework for Legal Compliance of Business Processes, Ph.D. thesis, School of Electrical Engineering and Computer Science, University of Ottawa, Canada, April 2013, 406 pages
2013 Yasser Ali Khan, Embracing Model Transformations in Functional Requirements Specification, M.Sc. in Software Engineering, King Fahd University of Petroleum & Minerals, Saudi Arabia, May 2013, 231 pages
2013 Anisur Rahman, A Domain-Specific Language for Traceability in Modeling, M.Sc.A. in Electrical and Computer Engineering, School of Electrical Engineering and Computer Science, University of Ottawa, July 2013, 133 pages
2013 Rouzbahan Rashidi-Tabrizi, Automatic Generation of Goal Models from Regulations, M.Sc.A. in Electrical and Computer Engineering, University of Ottawa, Canada, October 2013, 135 pages
2013 Matthew Shelley, On the Feasibility of using Use Case Maps for the Prevention of Sequence Breaking in Video Games, Master of Computer Science, Carleton University , May 2013, 119 pages
2013 Mirela Tabra, URN model of the requirements for operating and maintaining complex distributed systems, Master of Science in Information Systems Science, Carleton University, January 2013, 184 pages
2012 Hanane Becha, Exposing and Aggregating Non-functional Properties in SOA from the Perspective of the Service Consumer, Ph.D. in Computer Science, EECS, University of Ottawa, Canada, October 2012, 191 pages
2012 Saeed Ahmadi Behnam, Goal-oriented Pattern Family Framework for Business Process Modeling , Ph.D. in Computer Science, EECS, University of Ottawa, Canada, October 2012, 179 pages
2012 Jaskó Szilárd, Elosztott rendszerek formális modelleken alapuló tervezési eljárásainak vizsgálata (Analysis of formal model-based design processes for distributed systems, in Hungarian), Ph.D., Dept. Electrical Engineering and Information Systems, University of Pannonia, Hungary, August 2012, 137 pages
2012 Iman Johari Shirazi, Combining Business Intelligence, Indicators, and the User Requirements Notation for Performance Monitoring, M.Sc. in Systems Science, University of Ottawa, Canada, November 2012, 104 pages
2012 Azalia Shamsaei, Indicator-based Policy Compliance of Business Processes, Ph.D. in Computer Science, EECS, University of Ottawa, Canada, October 2012, 231 pages
2012 Mira Vrbaski, Domain Independent Context Awareness Framework, M.Sc.A. in Electrical and Computer Engineering, Carleton University, December 2012, 120 pages
2011 Cyrille Dongmo, Towards the Formalisation of Use Case Maps, , University of South Africa, November 2011, 224 pages
2011 Hao Luo, Generic Propagation Algorithm for Goal Models, , SITE, University of Ottawa, May 2011, 34 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 Gunter Mussbacher, Aspect-Oriented User Requirements Notation, Ph.D. in Computer Science, EECS, University of Ottawa, Canada, November 2010, 341 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 Tawfig M. Abdelaziz, Towards a Comprehensive Agent-Oriented Software Engineering Methodology, Doctoral Dissertation, Universität Duisburg-Essen, Germany, October 2008, 198 pages
2008 Muhammad Rizwan Abid, UML Profile for Goal-oriented Modelling, , SITE, University of Ottawa, August 2008, 123 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 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 Jun Biao Yan, Static Semantics Checking Tool for jUCMNav, , SITE, University of Ottawa, March 2008, 38 pages
2007 S. Ghanavati, A Compliance Framework for Business Processes Based on URN, , SITE, University of Ottawa, May 2007, pages
2007 J. Kealey, Enhanced Use Case Map Analysis and Transformation Tooling, , SITE, University of Ottawa, September 2007, 147 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 Jean-François Roy, Requirement Engineering with URN: Integrating Goals and Scenarios, , SITE, University of Ottawa, March 2007, 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 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 Yi Chu, Tool support for the Goal-oriented Requirements Language, , SITE, University of Ottawa, August 2005, 63 pages
2005 B. Jiang, Combining Graphical Scenarios with a Requirements Management System, , SITE, University of Ottawa, June 2005, pages
2005 Shahbaz Maqbool, Transformation of a Core Scenario Model and Activity Diagrams into Petri Nets, , SITE, University of Ottawa , September 2005, 160 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 Y.X. Zeng, Transforming Use Case Maps to the Core Scenario Model Representation, , SITE, University of Ottawa, June 2005, 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 Jaap Gordijn, Value-based Requirements Engineering Exploring Innovative e-Commerce Ideas, , Vrije Universiteit, The Netherlands, June 2002, 292 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 Xin He, Policy capturing and two level specifications of policies for human and software processing, Masters Thesis, Concordia University, March 2002, 126 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 Eric D. Schabell, Resource Access in Generic Information Retrieval Systems, M.Sc. thesis, Free University Amsterdam, The Netherlands, , June 2002, 84 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
2001 D. Amyot, Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS, , SITE, University of Ottawa, September 2001, 390 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 L. Charfi, Formal Modeling and Test Generation Automation with Use Case Maps and LOTOS, , SITE, University of Ottawa, February 2001, 116 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 J. Hassine, Feature Interaction Filtering and Detection with Use Case Maps and LOTOS, , SITE, University of Ottawa, February 2001, 156 pages
2001 D.B. Petriu , Layered Software Performance Models Constructed from Use Case Map Specifications, , SCE Dept., Carleton University, May 2001, 139 pages
2001 I. Sales, A Bridging Methodology for Internet Protocols Standards Development, , SITE, University of Ottawa, August 2001, 129 pages
2001 K.H. Siddiqui , Time/Performance Budgeting for Software Designs, Masters Thesis, SCE Dept., Carleton University, November 2001, 197 pages
2000 W.C. Scratchley, Evaluation and Diagnosis of Concurrency Architectures, SCE Dept., Carleton University, , - 2000, pages
2000 Z. Yi, CNAP Specification and Validation: A Design Methodology Using LOTOS and UCM, , SITE, University of Ottawa, - 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, PhD 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, PhD Thesis, SCE Dept., Carleton University, July 1992, 293 pages
Number of topics: 66

-- DanielAmyot - 04 Aug 2006
Topic revision: r6 - 09 May 2014, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback