A specification language for coordinated objects.

Gabriel Ciobanu Dorel Lucanu

Published in: SAVCBS@ESEC/FSE (2005)

Keyphrases

specification language
formal specification
description language
programming language
databases
multi agent
database
case study
evolutionary algorithm
d objects
multiple objects
object oriented
model checking