This page lists
the papers that will be covered in lectures and paper
presentations this term. Most links are to ACM, IEEE,
Springer-Verlag, and other publisher digital libraries, which means
that you may need to retrieve the papers from U. Waterloo addresses
(because the university has subscriptions to these services).
Fowler,
M. UML
Distilled, 3ed, Addison-Wesley, 2004. (Click on Online resource).
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S. Empirical
assessment of MDE in industry. In Proceedings
of the International Conference on Software Engineering (ICSE),
2011, pp. 471-480.
Hutchinson, J., Rouncefield, M., Whittle, J. Model-driven
engineering practices in industry. In Proceedings of the International
Conference on Software Engineering (ICSE), 2011, pp. 633-642.
Odersky, M., Altherr, P., Cremet, V., Dragos, I., Dubochet,
G., Emir, B., McDirmid, S., Micheloud, S., Mihaylov, N., Schinz, M.,
Stenman, E., Spoon, L., Zengerhttp, M. An
Overview of the Scala Programming Language, Technical Report
LAMP-REPORT-2006-001, École Polytechnique Fédérale
de Lausanne (EPFL), 2006.
Wile, D.S. Supporting
the DSL spectrum. In Journal of
Computing and Information
Technology, 9(4):263–287, (Dec. 2001).
DeVito, Z., Joubert, N., Palacios, F., Oakley, S., Medina, M.,
Barrientos, M., Elsen, E., Ham, F., Aiken, A., Duraisamy, K.,
Darve, E., Alonso, J., and Hanrahan, P. Liszt:
a
domain specific language for building portable mesh-based PDE solvers.
In Proceedings of 2011 International Conference for High Performance
Computing, Networking, Storage and Analysis (SC), 2011l, Article 9, 12
pages.
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N.,
Sabetzadeh., M. A
Manifesto for Model Merging, In Proc.
of the 1st International Workshop on Global
Integrated Model Management (associated with ICSE'06), May 2006.
Kolovos, D,S., Paige R.F., Polack, F. The
Epsilon Object Language (EOL). In Proceedings of the 2nd European
Conference on Model Driven Architecture - Foundations and Applications
(ECMDA-FA), pp. 128-142, 2006.
Kolovos, D,S., Paige R.F., Polack, F. Merging
Models with the Epsilon Merging Language (EML). In Proceedings
of the 9th International Conference on Model Driven Engineering
Languages and Systems (MoDELS), LNCS 4199, pp. 215-229, 2006.
Rick Salay, John Mylopoulos, Steve M. Easterbrook: Using
Macromodels to Manage Collections of Related Models. In Proceedings of the 21st international
Conference on Advanced information Systems Engineering (CAiSE),
pp. 141-155,
2009.
Ohst, D., Welle, M., and Kelter, U. Differences
between versions of UML diagrams. In Proc. of the 11th ACM SIGSOFT Symposium on
Foundations of Software Engineering (FSE/ESEC), pp. 227-236,
(Sep. 2003).
Heimdahl, M. P. E. and Whalen, M.W. Reduction
and slicing
of hierarchical state machines. In Proceedings
of the 6th European Software Engineering Conference held jointly with
the 5th ACM SIGSOFT international Symposium on Foundations of Software
Engineering (ESEC/FSE), 1997, pp. 450-467.
Model
Analysis and Verification
Nentwich, C., Emmerich, W., and Finkelstein, A., Static
consistency checking for distributed specifications, In Proceedings of the 16th Annual
International Conference on Automated Software Engineering (ASE),
pp. 115- 124, (Nov. 2001).
Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A. Automating
Co-evolution in Model-Driven Engineering, In Proceedings of the 12th IEEE International
Enterprise Distributed Object Computing Conference (EDOC),
pp.222-231, 2008.
Yilmaz, C., and Williams, C. An
automated
model-based debugging approach. In Proceedings of the 22nd IEEE/ACM
International Conference on Automated Software Engineering (ASE),
2007, pp. 174-183.
Mcintosh, P., Hamilton, M., and Schyndel, R. X3D-UML:
3D UML State Machine Diagrams. In Proceedings
of the 11th International Conference on Model Driven Engineering
Languages and Systems (MoDELS), LNCS 5301, pp. 264-279, 2008.
Model
Transformations
T.
Mens, K. Czarnecki, and P. Van Gorp. A
Taxonomy of Model Transformations. In Jean Bézivin and Reiko
Heckel, editors, Language Engineering for Model-Driven Software De-
velopment, 29. February - 5. March 2004, volume 04101 of Dagstuhl
Seminar Proceedings. Internationales Begegnungs- und
Forschungszentrum für Informatik (IBFI), Schloss
Dagstuhl, Germany, 2004.
Jouault, F., Allilaire, F.,
Bézivin, J., Kurtev, I. ATL:
A model transformation tool. In Science
of Computer Programming. 72(1-2): 31-39
(2008)
Bézivin, J., Büttner, F.,
Gogolla, M., Jouault, F., Kurtev, I., Lindow, A. Model
Transformations? Transformation Models!, In Proceedings of the 9th
International Conference on Model
Driven Engineering Languages and Systems (MoDELS), LNCS 4199, 2006, pp.
440-453.
Czarnecki, K., Helsen, S., Eisenecker, U.: Staged
configuration using feature models. In Proceedings of the 3rd International
Conference on Software Product Lines (SPLC 2004), LNCS 3154, pp.
266–283, 2004.
Mottu, J. M., Baudry, B.,
and Traon, Y. L. Model
transformation testing: oracle issue. In Proceedings of IEEE International
Conference on Software Testing Verification and Validation Workshop (ICSTW’08),
pages 105–112.
Rayadurgam, S., Heimdahl; M.P.E.Coverage
based test-case generation using model checkers, In Proceedings of the 8th IEEE International
Conference and Workshop on the Engineering of Computer Based Systems
(ECBS), pp. 83-91, 2001.
Bringmann, E., Kramer, A., Model-Based
Testing of Automotive Systems, In Proceedings
of the First International Conference on Software Testing,
Verification, and Validation (ICST), pp.485-493, 2008.