Assurance via model transformations and their hierarchical refinement-Reference-Cited by-同舟云学术

Assurance via model transformations and their hierarchical refinement

Published:2018-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Diskin Zinovy¹,Maibaum Tom¹,Wassyng Alan¹,Wynn-Williams Stephen¹,Lawford Mark¹

Affiliation:

1. McMaster University, McMaster Centre for Software Certification, Hamilton, Canada

Funder

Natural Sciences and Engineering Research Council of Canada

Ontario Centres of Excellence

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3239372.3239413

Reference29 articles.

1. Adelard {n. d.}. Claim Argument Evidence Notation. Adelard. Available at http://www.adelard.com/asce/choosing-asce/cae.html. Adelard {n. d.}. Claim Argument Evidence Notation. Adelard. Available at http://www.adelard.com/asce/choosing-asce/cae.html.

2. J. C. Baez and J. Erbele. 2014. Categories in Control. ArXiv e-prints (May 2014). arXiv:math.CT/1405.6881 J. C. Baez and J. Erbele. 2014. Categories in Control. ArXiv e-prints (May 2014). arXiv:math.CT/1405.6881

3. A Categorical Semantics of Signal Flow Graphs

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

1. Lessons Learned Building a Tool for Workflow⁺;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Assurance Case Development as Data: A Manifesto;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05

3. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30

4. A Lean Approach to Building Valid Model-Based Safety Arguments;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10

5. Generation and Verification of Executable Assurance Case by Model-based Engineering;2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2021-10