Writing Software Specifications
- 22 April 2015
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computing in Science & Engineering
- Vol. 17 (3), 54-61
- https://doi.org/10.1109/mcse.2015.64
Abstract
Here, Konrad Hinsen talks about how one aspect of validating a piece of software is to check that it does what it's expected to do. But how do you write down your expectations?Keywords
This publication has 4 references indexed in Scilit:
- Trusting computations: A mechanized proof from partial differential equations to actual programComputers & Mathematics with Applications, 2014
- Daydreaming about Scientific ProgrammingComputing in Science & Engineering, 2013
- Testing Scientific ProgramsComputing in Science & Engineering, 2012
- Term Rewriting and All ThatPublished by Cambridge University Press (CUP) ,1998