Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/99297
DC Field | Value | |
---|---|---|
dc.title | Formal derivation to object-oriented implementation of financial policies | |
dc.contributor.author | Woon, I.M.Y. | |
dc.contributor.author | Loh, W.L. | |
dc.date.accessioned | 2014-10-27T06:02:40Z | |
dc.date.available | 2014-10-27T06:02:40Z | |
dc.date.issued | 1997 | |
dc.identifier.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. | |
dc.identifier.issn | 09528091 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/99297 | |
dc.description.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. | |
dc.source | Scopus | |
dc.subject | Financial policies | |
dc.subject | Formal specification | |
dc.subject | Object-oriented method | |
dc.subject | Z notation | |
dc.type | Article | |
dc.contributor.department | INFORMATION SYSTEMS & COMPUTER SCIENCE | |
dc.description.sourcetitle | International Journal of Computer Applications in Technology | |
dc.description.volume | 10 | |
dc.description.issue | 5-6 | |
dc.description.page | 316-326 | |
dc.description.coden | IJCTE | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.