The Community for Technology Leaders
Green Image
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.
94 ms
(Ver 3.3 (11022016))