ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

Djihed Afifi David E. Rydeheard Howard Barringer

Published in: RV (2010)

Keyphrases

distributed systems
reactive systems
high level
learning environment
complex systems
retrieval systems
learning algorithm
search engine
computer vision
expert systems
intelligent systems
computer systems
building blocks
software tools