Experiences with a Compositional Model Checker in the Healthcare Domain-Reference-Cited by-同舟云学术

Experiences with a Compositional Model Checker in the Healthcare Domain

Published:2012 Issue: Volume: Page:93-110
ISSN:0302-9743
Container-title:Foundations of Health Informatics Engineering and Systems
language:
Short-container-title:

Author:

Hooman Jozef,Huis in ’t Veld Robert,Schuts Mathijs

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-32355-3_6

Reference18 articles.

1. Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)

2. Booch, G., Rumbaugh, J.E., Jacobson, I.: The unified modeling language user guide - the ultimate tutorial to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley-Longman (1999)

3. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: 10th Asia-Pacific Software Engineering Conferenc (APSEC 2003), pp. 49–58 (2003)

4. ClearSy: Atelier B, industrial tool supporting the B method (2011), http://www.atelierb.eu/en/

5. CSK Systems Corporation: VDMTools, industrial tool supporting VDM++ (2011), http://www.vdmtools.jp/en/

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

1. Dezyne: Paving the Way to Practical Formal Software Engineering;Electronic Proceedings in Theoretical Computer Science;2021-08-06

2. Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach;Proceedings of the 2018 Federated Conference on Computer Science and Information Systems;2018-09-26

3. Industrial Application of Formal Models Generated from Domain Specific Languages;Theory and Practice of Formal Methods;2016

4. Evaluating the effect of a lightweight formal technique in industry;International Journal on Software Tools for Technology Transfer;2015-04-02

5. Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment;Foundations of Health Information Engineering and Systems;2014