Testing-Based Abstractions for Value-Passing Systems.

Rance Cleaveland James Riely

Published in: CONCUR (1994)

Keyphrases

high level
database
distributed systems
knowledge based systems
complex systems
databases
information retrieval
computer vision
information systems
multiscale
management system