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.
|Number of pages||2|
|Journal||Zeitschrift fur angewandte mathematik und mechanik|
|Publication status||Published - 1996|
|Event||3rd International Congress on Industrial and Applied Mathematics (ICIAM 95) - HAMBURG, Germany|
Duration: 01 Jul 1995 → 01 Jul 1995