Specification and Animation of a Bank Transfer using KIDS/VDM.

Published in: Autom. Softw. Eng. (1997)

Keyphrases

specification language
computer animation
high level
formal specification
real time
website
user interface
transfer learning
social networks
database systems
information technology
learning activities
conceptual model
knowledge transfer