Derivation of scientific software from mathematical specifications

PL Kilpatrick*, NS Scott

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

Original languageEnglish
Pages (from-to)439-440
Number of pages2
JournalZeitschrift fur angewandte mathematik und mechanik
Publication statusPublished - 1996
Event3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) - HAMBURG, Germany
Duration: 01 Jul 199501 Jul 1995


Dive into the research topics of 'Derivation of scientific software from mathematical specifications'. Together they form a unique fingerprint.

Cite this