A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods-Reference-Cited by-同舟云学术

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods

Published:2018 Issue: Volume: Page:249-272
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Schlick Rupert,Felderer Michael,Majzik Istvan,Nardone Roberto,Raschke Alexander,Snook Colin,Vittorini Valeria

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03427-6_20

Reference51 articles.

1. Abrial, J.R., Börger, E., Langmaack, H.: Methods for Semantics and Specification, vol. 117. Dagstuhl Seminar No. 9523, Schloss Dagstuhl, International Conference and Research Center for Computer Science (1995)

2. Lecture Notes in Computer Science;JR Abrial,1996

3. Lecture Notes in Computer Science;J Alglave,2011

4. Ambler, S.W.: Process Patterns. Cambridge University Press, Cambridge (1998)

5. Benerecetti, M., et al.: Dynamic state machines for modelling railway control systems. Sci. Comput. Programm. 133, 116–153 (2017)

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

1. Formal analysis of an AUTOSAR-based basic software module;International Journal on Software Tools for Technology Transfer;2024-08

2. Modelling program verification tools for software engineers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

3. Design and Implementation of a Metadata Repository about UML Class Diagrams. A Software Tool Supporting the Automatic Feeding of the Repository;Electronics;2022-01-10

4. Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design;IEEE Transactions on Software Engineering;2021

5. Adapting to Different Types of Target Audience in Teaching Formal Methods;Communications in Computer and Information Science;2021