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

DOI10.1007/s11155-006-9020-7zbMath1106.68348OpenAlexW2056331670MaRDI QIDQ858157

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)

Related Items (2)

Balancing flexibility and performance in three dimensional meshing tools ⋮ A document driven methodology for developing a high quality parallel mesh generation toolbox

Cites Work

• On a formal semantics of tabular expressions
• Formal methods: The very idea some thoughts about why they work when they work
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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