Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
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:
Sort by:
title
publication date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 18 of 18
Publication Date
Title
Author(s)
May-2007
An Approach of Integration Testing for Object-Oriented Programs
Li, Zhe (Jessie)
2016
BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING
Safilian, Aliakbar
Jan-2007
DynaComm: The Extension of CommUnity to Support Dynamic Reconfiguration
Ling, Xiang
2018
AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT
Joannou, Paul
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