Title :
Writing Software Specifications
Author_Institution :
Centre de Biophys. Mol. in Orleans, Orléans, France
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 :
formal specification; program verification; software specifications writing; software validation; Formal specifications; Professional communication; Software development; Writing; scientific computing; scientific programming; specification; testing;
Journal_Title :
Computing in Science & Engineering
DOI :
10.1109/MCSE.2015.64