Title: Formal derivation to object-oriented implementation of financial policies

Authors: Irene M.Y. Woon, Wai Lung Loh

Addresses: Department of Information Systems and Computer Science National University of Singapore, Lower Kent Ridge Road, 119260, Singapore. ' Department of Information Systems and Computer Science National University of Singapore, Lower Kent Ridge Road, 119260, Singapore

Abstract: The use of formal methods promises correctness, verifiability, robustness and reliability of operational software systems which have been developed so far. Object-oriented methods enable easier development and maintenance of software application systems and promote the reuse of design and program code. Mapping formal specifications into an object-oriented application will therefore give a system that is not only correct and reliable, but easy to develop and enhance. In this paper, we show how specifications containing major decisions that financial managers typically make, can be expressed in the Z notation. These specifications are subsequently translated into pseudo object-oriented programs.

Keywords: financial policies; formal specifications; object-oriented method; Z notation; financial management.

DOI: 10.1504/IJCAT.1997.062258

International Journal of Computer Applications in Technology, 1997 Vol.10 No.5/6, pp.316 - 326

Published online: 02 Jun 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article