Mehrdad (Mike) Sabetzadeh
Mehrdad (Mike) Sabetzadeh
EECS / University of Ottawa and SnT / University of Luxembourg
Email verificata su uottawa.ca - Home page
Titolo
Citata da
Citata da
Anno
Matching and merging of statecharts specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
Proceedings of the 29th international conference on Software Engineering, 54-64, 2007
3342007
A manifesto for model merging
G Brunet, M Chechik, S Easterbrook, S Nejati, N Niu, M Sabetzadeh
Proceedings of the 2006 international workshop on Global integrated model …, 2006
1652006
View merging in the presence of incompleteness and inconsistency
M Sabetzadeh, S Easterbrook
Requirements Engineering 11 (3), 174-193, 2006
1252006
Consistency checking of conceptual models via model merging
M Sabetzadeh, S Nejati, S Liaskos, S Easterbrook, M Chechik
Requirements Engineering Conference, 2007. RE'07. 15th IEEE International …, 2007
1082007
Automated Checking of Conformance to Requirements Templates using Natural Language Processing
C Arora, M Sabetzadeh, L Briand, F Zimmer
IEEE Transactions on Software Engineering, 2015
892015
An extended systematic literature review on provision of evidence for safety certification
S Nair, JL De La Vara, M Sabetzadeh, L Briand
Information and Software Technology 56 (7), 689-717, 2014
872014
An algebraic framework for merging incomplete and inconsistent views
M Sabetzadeh, S Easterbrook
Requirements Engineering, 2005. Proceedings. 13th IEEE International …, 2005
822005
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies
S Nejati, M Sabetzadeh, D Falessi, L Briand, T Coq
Information & Software Technology 54 (6), 569-590, 2012
692012
Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach
M Sabetzadeh, S Easterbrook
Automated Software Engineering, 2003. Proceedings. 18th IEEE International …, 2003
582003
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice
S Nair, JL de la Vara, M Sabetzadeh, D Falessi
Information and Software Technology 60, 1-15, 2015
562015
Characterizing the chain of evidence for software safety cases: A conceptual model based on the IEC 61508 standard
RK Panesar-Walawege, M Sabetzadeh, L Briand, T Coq
Software Testing, Verification and Validation (ICST), 2010 Third …, 2010
512010
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
L Briand, D Falessi, S Nejati, M Sabetzadeh, T Yue
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 2014
492014
Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation
RK Panesar-Walawege, M Sabetzadeh, L Briand
Information and Software Technology 55 (5), 836-864, 2013
492013
An Eclipse-based tool framework for software model management
R Salay, M Chechik, S Easterbrook, Z Diskin, P McCormick, S Nejati, ...
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 55-59, 2007
452007
A relationship-based approach to model integration
M Chechik, S Nejati, M Sabetzadeh
Innovations in Systems and Software Engineering, 1-16, 2011
442011
The case for context-driven software engineering research: Generalizability is overrated
L Briand, D Bianculli, S Nejati, F Pastore, M Sabetzadeh
IEEE Software 34 (5), 72-75, 2017
402017
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards
RK Panesar-Walawege, M Sabetzadeh, L Briand
22nd International Symposium on Software Reliability Engineering (ISSRE 2011 …, 2011
372011
Matching and merging of variant feature specifications
S Nejati, M Sabetzadeh, M Chechik, S Easterbrook, P Zave
IEEE Transactions on Software Engineering, 2012
362012
A category-theoretic approach to syntactic software merging
N Niu, S Easterbrook, M Sabetzadeh
Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE …, 2005
362005
Extracting domain models from natural-language requirements: approach and industrial evaluation
C Arora, M Sabetzadeh, L Briand, F Zimmer
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
352016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20