Revising Z: Part II - Logical Development.

Martin C. Henson Steve Reeves

Published in: Formal Aspects Comput. (1999)

Keyphrases

software engineering
real time
genetic algorithm
case study
development process
practical application
decision making
information processing
search engine
information systems
multi agent
search algorithm
relational databases
knowledge based systems
rapid development
design tools