Determining the Quality of Mathematical Software Using Reference Data Sets

Lines Keith J., Smith Ian M.
Keywords:

Software, Standards, Traceability, TraCIM, ValTraC, Verification

Document type Contribution to book
Journal title / Source Software Quality Management XXV: Achieving Software Quality in Development and in Use
Volume XXV
Issue 1
Page numbers / Article number 39-52
Publisher's name Southampton Solent University
Publication date 2017
Conference name British Computer Society (BCS) Quality Specialist Group's Annual International Software Quality Management (SQM) Conference
Conference date 10-04-2017 to 11-04-2017
Conference place Southampton
ISBN 978-0-9932889-6-8
Web URL https://pdfs.semanticscholar.org/b6e5/990abc2e4f8f4eb608cd2d8f0956f78cce88.pdf?_ga=2.219996826.2046007785.1585047494-450240071.1585047494
Language English

Back to the list view

Information

Name of Call / Funding Programme
EMPIR 2015: Support for Impact