Please use this identifier to cite or link to this item:
|Title:||Formal derivation to object-oriented implementation of financial policies|
|Authors:||Woon, I.M.Y. |
|Citation:||Woon, I.M.Y.,Loh, W.L. (1997). Formal derivation to object-oriented implementation of financial policies. International Journal of Computer Applications in Technology 10 (5-6) : 316-326. ScholarBank@NUS Repository.|
|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.|
|Source Title:||International Journal of Computer Applications in Technology|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Sep 21, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.