Requirements analysis for engineering computation: a systematic approach for improving reliability

DOI10.1007/S11155-006-9020-7MaRDI QIDQ858157zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 8 January 2007

Published in Reliable Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11155-006-9020-7

zbMATH Keywords

tabular expressions

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Integrating probabilistic design and rare-event simulation into the requirements engineering process for high-reliability systems
• Using formal methods to specify the functional properties of engineering software
• Engineering requirements for system reliability and security
• Software engineering methodologies for scientific and engineering computation
• Specification methodology: An integrated relational approach

Cites work

• Formal methods: The very idea some thoughts about why they work when they work
• scientific article; zbMATH DE number 578247 (Why is no real title available?)
• scientific article; zbMATH DE number 568892 (Why is no real title available?)
• scientific article; zbMATH DE number 1018875 (Why is no real title available?)
• scientific article; zbMATH DE number 5044785 (Why is no real title available?)
• On a formal semantics of tabular expressions

Cited in

(4)

• Balancing flexibility and performance in three dimensional meshing tools
• scientific article; zbMATH DE number 4018964 (Why is no real title available?)
• Integrating probabilistic design and rare-event simulation into the requirements engineering process for high-reliability systems
• A document driven methodology for developing a high quality parallel mesh generation toolbox

This page was built for publication: Requirements analysis for engineering computation: a systematic approach for improving reliability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q858157)