DynAlloy as a Formal Method for the Analysis of Java Programs.

Juan P. Galeotti Marcelo F. Frias

Published in: SET (2006)

Keyphrases

artificial intelligence
decision trees
object oriented
software engineering
fine grained
software systems
parallel processing