DEMOS: a tool for declarative executable modeling of object-based systems.

Christian Glodt, Pierre Kelsen

Browse the full OOPSLA paper archive.