Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems.

Mark d'Inverno Mark Priestley

Published in: ZUM (1995)

Keyphrases

complex systems
building blocks
main contribution
high level
data mining
genetic algorithm
social networks
decision making
expert systems
computer systems
knowledge based systems
lightweight
computational model
hypermedia systems
issues that need to be addressed