DocumentCode :
36843
Title :
Writing Software Specifications
Author :
Hinsen, Konrad
Author_Institution :
Centre de Biophys. Mol. in Orleans, Orléans, France
Volume :
17
Issue :
3
fYear :
2015
fDate :
May-June 2015
Firstpage :
54
Lastpage :
61
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;
fLanguage :
English
Journal_Title :
Computing in Science & Engineering
Publisher :
ieee
ISSN :
1521-9615
Type :
jour
DOI :
10.1109/MCSE.2015.64
Filename :
7091763
Link To Document :
بازگشت