A Z Specification of the Soft-Link Hypertext Model.

Mark d'Inverno Michael J. Hu

Published in: ZUM (1997)

Keyphrases

high level
probabilistic model
computational model
conceptual model
sensitivity analysis
real time
information systems
evolutionary algorithm
formal model
similarity measure
objective function
control system
management system
theoretical framework
statistical model