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. Staskauskas, "The Formal Specification and Design of a Distributed Electronic Funds-Transfer System," in IEEE Transactions on Computers, vol. 37, no. , pp. 1515-1528, 1988.