The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.

Mark G. Staskauskas

Published in: IEEE Trans. Computers (1988)

Keyphrases

formal specification
object oriented design
specification languages
design methodology
design process
formal methods
multi agent
reverse engineering
specification language
artificial intelligence
high level
cooperative
model checking
software design