The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1988 vol.37)
pp: 1515-1528
ABSTRACT
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
INDEX TERMS
electronic funds-transfer system; EFT; UNITY; parallel programming methodology; specification; refinement steps; distributed architecture; data structure; target architecture; distributed processing; EFTS; parallel programming.
CITATION
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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool