Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation-Reference-Cited by-同舟云学术

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Published:2016-12 Issue: Volume:122 Page:239-273
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Hamid Brahim,Perez Jon

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference90 articles.

1. Formalizing style to understand descriptions of software architecture;Abowd;ACM Trans. Softw. Eng. Methodol.,1995

2. Software reuse: developers’ experiences and perceptions;Agresti;J. Softw. Eng. Appl.,2011

3. A pattern language;Alexander,1977

4. Alexander, R., Kelly, T., Kurd, Z., McDermid, J., 2007. Safety Cases for Advanced Control Software: Safety Case Patterns. Final Report, NASA Contract FA8655-07-1-3025. Tech. rep., University of York.

5. Modular certification support - the decos concept of generic safety cases;Althammer,2008

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024

2. Designing a pattern language to enhance model composability and reusability: An example with component-based probabilistic models;Environmental Modelling & Software;2023-11

3. Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

4. Formal Methods in Railways: A Systematic Mapping Study;ACM Computing Surveys;2022-11-21

5. Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods;Software;2022-09-24