Towards Normal Design for Safety-Critical Systems-Reference-Cited by-同舟云学术

Towards Normal Design for Safety-Critical Systems

Published: Issue: Volume: Page:398-411
ISSN:
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Mannering Derek,Hall Jon G.,Rapanotti Lucia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71289-3_30.pdf

Reference28 articles.

1. Vincenti, W.G.: What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. The Johns Hopkins University Press, Baltimore (1990)

2. Maibaum, T.: Mathematical foundations of software engineering: a roadmap. In: ICSE 2000, King’s College, London (2000)

3. Jackson, M.: Problem frames and software engineering. Information and Software Technology 47(14), 903–912 (2005)

4. Mannering, D., Hall, J.G., Rapanotti, L.: Relating safety requirements and system design through problem oriented software engineering. Technical Report 2006/11, Open University, Dept. of Computing (2006)

5. Hall, J.G., Rapanotti, L., Jackson, M.A.: Problem oriented software engineering. Technical Report 2006/10, Open University, Dept. of Computing (2006)

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

1. Safety engineering with COTS components;Reliability Engineering & System Safety;2017-04

2. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development;International Journal of Software Engineering and Knowledge Engineering;2015-11

3. Software engineering as the design theoretic transformation of software problems;Innovations in Systems and Software Engineering;2011-12-29

4. Safety Process Improvement with POSE and Alloy;Lecture Notes in Computer Science;2007