A specification language for coordinated objects.

Gabriel Ciobanu Dorel Lucanu

Published in: ACM SIGSOFT Softw. Eng. Notes (2006)

Keyphrases

specification language
formal specification
description language
programming language
d objects
software environment
artificial intelligence
moving objects
requirements specification
knowledge base
case study
reinforcement learning
expert systems
evolutionary algorithm