Skip to main content

Supporting Software Sustainability with Lightweight Specifications

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: CEUR Workshop Proceedings. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). 1686. (KAR id:66901)

PDF Publisher pdf
Language: English

Creative Commons Licence
This work is licensed under a Creative Commons Attribution 4.0 International License.
Download (107kB) Preview


Lightweight specifications support software maintainability

base preserve certain program properties. We give two examples

types which specify the physical units of numerical quantities in

of data access used in array computations. Not only can we

requirements but specifications provide documentation for future

automatically in some cases, further reducing programmer effort.

to ease the maintenance and comprehension of scientific code.

Item Type: Conference or workshop item (Lecture)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Depositing User: Dominic Orchard
Date Deposited: 03 May 2018 14:43 UTC
Last Modified: 29 May 2019 20:30 UTC
Resource URI: (The current URI for this page, for reference purposes)
Orchard, Dominic A.:
  • Depositors only (login required):


Downloads per month over past year