MacSphere: Browsing MacSphere

Browsing by Author Maibaum, Tom

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 5 to 18 of 18 < previous

Publication Date	Title	Author(s)
Apr-2007	HIGH AVAILABILITY AND SOFTWARE ARCHITECTURE	Yi, Rongshu
Nov-2015	A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems	Chen, Wen
Apr-2012	Identification and Documentation of Environmental Assumptions for the PACEMAKER System	WANG, Vivien You
Nov-2018	INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION	Hossain, Md Nour
Oct-2012	The Log Analysis in an Automatic Approach	Lei, Jianhui
14-Jun-2019	Managing Assurance Cases in Model Based Software Systems	Kokaly, Sahar
Jun-2015	A Metric Interval-based Temporal Description Logic	Yousef Sanati, Morteza
Apr-2012	Model Based System Consistency Checking Using Event-B	Xu, Hao
Jul-2007	A Model for the FDA General Principles of Software Validation	Abdeen, Marwan M.
Apr-2013	Modelling Fault Tolerance using Deontic Logic: a case study	Khan, Ahmed Jamil
Nov-2014	Quantitative Assessment of Nonfunctional Requirements in Product Families	Fadul, Reham
Nov-2017	A Query Structured Model Transformation Approach	Mohammad Gholizadeh, Hamid
15-Apr-2011	A Regression Test Selection Technique Applied to Legacy Systems	Abdrakhmanov, Akbar
-	A Tabular Expression to Event-B Language Transformation Tool	Jiang, Yanjun

Showing results 5 to 18 of 18 < previous

McMaster University Libraries