Proactive modeling: auto-generating models from their semantics and constraints.

Tanumoy Pati, Dennis C. Feiock, James H. Hill

Browse the full OOPSLA paper archive.