Issue No.12 - December (1988 vol.37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.9730
The design of an electronic funds-transfer (EFT) system, using the UNITY parallel programming methodology, is presented. The process begins with a high-level specification that captures the essence of transaction processing in the system. In a series of refinement steps, this specification is transformed into one that leads directly to a program suitable for execution on the distributed archite
electronic funds-transfer system; EFT; UNITY; parallel programming methodology; specification; refinement steps; distributed architecture; data structure; target architecture; distributed processing; EFTS; parallel programming.
M.G. Staskauskas, "The Formal Specification and Design of a Distributed Electronic Funds-Transfer System", IEEE Transactions on Computers, vol.37, no. 12, pp. 1515-1528, December 1988, doi:10.1109/12.9730