Applying abstraction and formal specification in numerical software design

DOI10.1016/0898-1221(95)00061-3zbMath0838.68079OpenAlexW2035364439MaRDI QIDQ1903758

H. H. ten Cate

Publication date: 1 February 1996

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(95)00061-3

zbMATH Keywords

finite difference methodformal verificationformal specificationcode generationnumerical software development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Applying abstraction and formal specification in numerical software design

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parallel Gaussian elimination on an MIMD computer
• Applying abstraction and formal specification in numerical software design
• Proof of correctness of data representations
• The Evolution of the Minimum Degree Ordering Algorithm
• A unifying graph model for designing parallel algorithms for tridiagonal systems

This page was built for publication: Applying abstraction and formal specification in numerical software design