Formalization and assessment of regulatory requirements for safety-critical software-Reference-Cited by-同舟云学术

Formalization and assessment of regulatory requirements for safety-critical software

Published:2006-09-12 Issue:3-4 Volume:2 Page:165-178
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Vilkomir Sergiy A.,Bowen Jonathan P.,Ghose Aditya K.

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-006-0006-8.pdf

Reference68 articles.

1. Abrial JR (1996) The B-book. Cambridge University Press, Cambridge

2. Atchison B, Lindsay P, Tombs D (1999) A case study in software safety assurance using formal methods. Technical Report No. 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Australia, September 1999

3. Booch G, Jacobson I, Rumbaugh J (1998) The unified modeling language user guide. Object Technology series, Addison–Wesley, Reading

4. Bowen JP (1996) Formal specification and documentation using Z: a case study approach. International Thomson Computer Press, London

5. Bowen JP (2000) The ethics of safety-critical systems. Commun ACM 43(4): 91-97

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

1. Compliance checking of software processes: A systematic literature review;Journal of Software: Evolution and Process;2022-03-14

2. Formal Methods Communities of Practice: A Survey of Personal Experience;Lecture Notes in Computer Science;2022

3. Precise Documentation of Critical Software;10th IEEE High Assurance Systems Engineering Symposium (HASE'07);2007-11