Writing software specifications

Computing in Science and Engineering

Volumn 17, Issue 3, 2015, Pages 54-61

  Hinsen, Konrad ^a,b  

^a Centre de Biophysique Moleculaire in Orleans   (France)

^b Synchrotron Soleil in Saint Aubin ^*  (France)

Author keywords

scientific computing; scientific programming; specification; testing

Indexed keywords

NATURAL SCIENCES COMPUTING; TESTING;

SCIENTIFIC PROGRAMMING; SOFTWARE SPECIFICATION;

SPECIFICATIONS;

EID: 84928813596     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCSE.2015.64     Document Type: Article

References (5)

1. P.F. Dubois, "Testing Scientific Programs," Computing in Science and Eng., vol. 14, no. 4, 2012, pp. 69-73.
2. S. Boldo et al., "Trusting Computations: A Mechanized Proof from Partial Differential Equations to Actual Program," Computers & Mathematics with Applications, vol. 68, no. 3, 2014, pp. 325-352.
3. M. Clavel et al., "All about Maude: A High-Performance Logical Framework," LNCS 4350, Springer, 2007; www.springer.com/computer/swe/book/978-3-540-71940-3.
4. F. Baader and T. Nipkow, Term Rewriting and All That, Cambridge Univ. Press, 1998.
5. K. Hinsen, "Daydreaming about Scientific Programming," Computing in Science and Eng., vol. 15, no. 5, 2013, pp. 77-79.