Derivation of scientific software from mathematical specifications

PL Kilpatrick*, NS Scott

*Corresponding author for this work

Research output: Contribution to journalArticle

Abstract

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
Volume76
Publication statusPublished - 1996
Event3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) - HAMBURG, Germany
Duration: 01 Jul 199501 Jul 1995

Cite this