Export 35 results:
Filters: Author is Mehrdad Sabetzadeh [Clear All Filters]
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies. Simula Research Laboratory, 2011.
Simula.simula.193.pdf (1.35 MB)
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience In The 1st Intentional Workshop on Software Certification (WoSoCER) at 22th IEEE International Symposium on Software Reliability Engineering. Springer, 2011.
Simula.simula.1132.pdf (323.12 KB)
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience In 13th IEEE International High Assurance Systems Engineering Symposium (HASE'11). Boca Raton, FL: IEEE, 2011.
Simula.simula.804.pdf (609.5 KB)
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information In 30th ACM International Conference on Conceptual Modeling (ER). Vol. 6998/2011. ACM, 2011.
Simula.simula.666.pdf (931.88 KB)
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. P.O.Box 134, 1325 Lysaker, Norway: Simula Research Laboratory, 2011.
Simula.simula.600.pdf (932 KB)
Characterizing the Chain of Evidence for Software Safety Cases: a Conceptual Model Based on the IEC 61508 Standard In Third IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by M. Gaudel, A. R. Cavalli and S. Ghosh. IEEE Computer Society, 2010.
Simula.se.687.pdf (792.84 KB)
Reasoning About Consistency in Model Merging In 3rd Workshop on Living With Inconsistency in Software Development, Edited by A. Egyed, R. Lopez-Herrejon, B. Nuseibeh, G. Botterweck, M. Chechik and Z. Hu. CEUR Workshop Proceedings, 2010.
Simula.approve.58.pdf (503.52 KB)
"Viewpoints." In Encyclopedia of Software Engineering, edited by P. A. Laplante, 1318-1329. Vol. 2. Auerbach Publications, 2010.
Simula.SE.685.pdf (763.52 KB)
A Manifesto for Model Merging In 1st International Workshop on Global Integrated Model Management (GaMMa'06) at the 28th International Conference on Software Engineering. unknown: IEEE, 2006.
"View Merging in the Presence of Incompleteness and Inconsistency." Requirements Engineering 11 (2006): 174-193.
Simula.simula.466.pdf (764.68 KB)