|
Week
|
Topic, papers,
deliverables
|
Presenter
|
Reviewers
|
|
1. Sept. 12
|
Introduction, motivation, course organization
[5]
B. Selic. Personal reflections on automation, programming culture, and
model-based software engineering. In J. of Automated
Software Engineering, 15 (3-4): 379-391, Dec. 2008.
[6]
Schmidt, D.C.: Model-Driven
Engineering. IEEE
Computer vol. 39, no. 2, 2006.
|
Marsha
|
|
|
2. Sept. 19
|
Introduction
to Software Modelling
[1]
J. Ludewig, Models in Software Engineering - An Introduction, In Software
and Systems Modeling, 2(1): pp. 5-14, (March 2003).
[2] Kühne, T., Matters of (Meta-) Modeling. In Software and System
Modeling, vol. 5, no. 4, pp. 369-385, (2006)
___
(background)
Fowler, M. UML Distilled, 3ed, Addison-Wesley, 2004.
___
[3]
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.
[4]
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.
|
Marsha
Marsha
Marsha
|
|
|
3. Sept. 26
|
Modeling
Languages
[9] L. Baresi, R. Henckel. Tutorial Introduction to Graph
Transformation: A Software Engineering Perspective. In Proceedings of ICGT, 2002.
___
[10] Daniel L.
Moody, The "Physics" of Notations:
Toward a Scientific Basis for Constructing Visual Notations in Software
Engineering, In IEEE Transactions on Software Engineering,
35(6): 756-779, (Nov-Dec, 2009).
___
[11] Harel, D, Rumpe, B. Meaningful Modeling:What’s the
Semantics of “Semantics”?IEEE Computer, 2004
|
Lissa
Christina
Stephanie
|
Soroosh
Michalis
Michael
Mahsa
Mashiyat
Daniel
Rorik
Wentao
Hamza
|
|
4. Oct. 3
|
Domain-Specific
Languages (DSLs)
[12] Dmitriev, S. Language Oriented Programming: The Next Programming
Paradigm , 2005.
___
[13] Bentley,
J. Programming pearls: little languages. In Communications
of the ACM, 29(8):711-721, (Aug. 1986).
___
[14] Wile,
D.S. Supporting the DSL spectrum. In Journal of
Computing and Information Technology, 9(4):263–287, (Dec. 2001).
|
Danielle
Rorik
Michael
|
Mohammad
Lissa
Hamza
Mahsa
Mashiyat
Stephanie
Soroosh
Christina
Julia
|
|
5. Oct. 10
|
Model
Management
[15] 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.
___
[18] 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)._
__
[21] M. Chechik, S. Nejati,
M. Sabetzadeh. A Relationship-Based Approach to Model
Integration, Journal of Innovations in Systems and Software
Engineering, 2012
|
Lissa
Daniel
Wentao
|
Mohammad
Soroosh
Michael
Rorik
Danielle
Julia
Mahsa
Christina
Stephanie
|
|
6. Oct. 17
|
Model
Analysis I
[22] Ab.
Rahim, J. Whittle. Verifying Semantic Conformance of State
Machine-to-Java Code Generators, In Proceedings of
MoDELS’10, 2010
___
[23] H. Goldsby, B. Cheng. Automatically Discovering Properties that Specify the
Latent Behavior of UML Models. In Proceedings
of MoDELS’10, 2010
___
[26] A. Egyed, E. Letier, A. Finkelstein. Generating and Evaluating Choices for Fixing
Inconsistencies in UML Design Models. In Proceedings
of ASE’08, 2008.
|
Mashiyat
Michalis
Mohammad
|
Mahsa
Christina
Hamza
Wentao
Michael
Julia
Rorik
Lissa
Daniel
|
|
7. Oct. 24
|
Model
Analysis II
[27]
M. Famelis, R. Salay,
M. Chechik. Partial Models: Towards Modeling and
Reasoning with Uncertainty. In Proceedings of ICSE'12,
pp. 573-583, May 2012
___
[29]
Andreas Classen, Patrick Heymans,
Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems:
efficient verification of temporal properties in software product lines. In Proceedings of ICSE’10: 335-344, 2010
___
[30] McUmber, W. E. and Cheng, B. H. A general framework for formalizing UML
with formal languages. In Proceedings of ICSE’01, pp. 433-442, 2001.
|
Stephanie
Julia
Mahsa
|
Soroosh
Michael
Daniel
Mashiyat
Christina
Wentao
Danielle
Michalis
Hamza
|
|
8. Oct. 31
|
Model
Analysis III + Transformations I
[31] Hausmann, J. H., Heckel,
R., and Taentzer, G. Detection of conflicting functional
requirements in a use case-driven approach: a static analysis technique based
on graph transformation. In Proceedings of the 24th International
Conference on Software Engineering (ICSE), pp. 105-115. 2002.
___
[33] I. Porres. Model Refactorings as
Rule-Based Update Transformations. In Proceedings of
UML’03, 2003
___
[36]
B. Baudry, S. Ghosh, F. Fleurey, R.
France, Y. Le Traon, J.-M. Mottu. Barriers to
Systematic Model Transformation Testing. Communications of the ACM 53(6), pp. 139-143, June 2010
|
Christina
Rorik
Soroosh
|
Mohammad
Danielle
Mashiyat
Lissa
Wentao
Stephanie
Michalis
Michael
Hamza
|
|
9. Nov. 7
|
Model
Transformations II
[37]
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 Development, 29. February -
5. March 2004, volume 04101 ofDagstuhl Seminar
Proceedings, 2004.___
[39] Czarnecki, K. and Helsen,
S. : Feature-based survey of model
transformation approaches. IBM Syst. J., Vol. 45, No.. 3, pp. 621-645, 2006.
___
[41] Mauro
Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of
Model Transformation Spaces. In Proceedings of
MODELS’11, 2011
|
Wentao
Mahsa
Mashiyat
|
Rorik
Danielle
Lissa
Mohammad
Soroosh
Daniel
Danielle
Michalis
Julia
|
|
10. Nov. 14
|
Other
Topics I :
Adaptive Systems and Cloud Computing
[43] B.H.C.
Cheng et al. Software Engineering for Self-Adaptive
Systems: A Research Roadmap. Lecture Notes in Computer
Science, Vol. 5525, 2009.
___
[44] B. Morin,
O. Barais, J-M. Jezequel,
F. Fleurey, A. Solberg. Models@Run.time to Support
Dynamic Adaptation, IEEE Computer, 2009.
___
[46] A. Sheth, A. Ranabahu.
Semantic Modeling for Cloud Computing, IEEE Internet Computing, 2010
[part 1], [part 2]
|
Hamza
Michalis
Mohammad
|
Mahsa
Mashiyat
Soroosh
Christina
Michael
Stephanie
Wentao
Daniel
Julia
|
|
11. Nov. 21
|
Other
Topics II
[48] 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.
___
[52] J. Fisher,
D. Harel, T. Henzinger. Biology as reactivity. Communications of the ACM, October, 2011.
___
[53] Yu,
E. Social Modeling and i*. In Conceptual Modeling: Foundations
and Applications : Essays in Honor of
John Mylopoulos, 2009.
|
Julia
Michael
Soroosh
|
Rorik
Mashiyat
Michalis
Christina
Stephanie
Daniel
Mohammad
Mahsa
Hamza
|
|
12. Nov. 28
|
Other
Topics III
[54] A.
Kraemer. Engineering Android Applications Based
on UML Activities. In Proceedings of MoDELS’11, 2011.
___
[55] Bran Selic:
Pragmatics of Model-Driven Development, IEEE Software,
Volume 20, Issue 5, September 2003, pp. 19-25.
___
[57] Paul Baker, Shiou Loh, Frank Weil.
Model-Driven Engineering in a Large Industrial Context -
Motorola Case Study. Proceedings of MODELS'05, pp. 476-491.
|
Danielle
Daniel
Hamza
|
Rorik
Mohammad
Michalis
Soroosh
Wentao
Julia
Mashiyat
Lissa
Stephanie
|
|
13? Dec. 5
|
Extra class, if needed
|
|
|
|
Dec. 12
|
Project write-ups are due
|
|
|
|
Dec. 19
|
Project presentations (in
class)
|
|
|