Brian Cantwell Smith
-
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing