Winter 2012
|
| CS 846 Model-Based Software
Engineering Winter 2012 |
| Week | Date | Topic | Presenter | Reviewers |
|---|---|---|---|---|
| 1 |
Jan
9 |
Organizational
Meeting |
Jo
Atlee |
|
| Jan
16 |
Introduction
to
Software Modelling Kühne, T. What is a Model? in Proceedings of Dagstuhl Seminar 04101 on Language Engineering for Model-Driven Development, March 2005 ___ 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. |
Jo Atlee Jo Atlee Jo Atlee |
||
| 3 |
Jan 23 |
Modelling
Languages Jackson, D., Alloy: a lightweight object modelling notation. In ACM Transacitons on Software Engineering and Methodology, 11(2): 256-290 (Apr. 2002). ___ Harel, D., Statecharts: A visual formalism for complex systems, In Science of Computer Programming, 8(3):231-274, (June 1987). ___ 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. |
Steven
Stewart Taha Rafiq Guest Lecturer: Leo Passos |
Dietrich Dufour Kononenko Liang Malik Mitchell ___ Chun Gage Lei Shelley Sisodia __ Carpenter Choy Olaechea Singh Suleman Zaccak |
| 4 |
Jan 30 |
Domain
Specific Languages Bentley, J. Programming pearls: little languages. In Communications of the ACM, 29(8):711-721, (Aug. 1986). ___ Tolvanen, J.-P. and Kelly S., Defining Domain-Specific Modeling Languages to Automate Product Derivation: Collected Experiences, In Proc. of the 9th International Software Product Line Conference (SPL), LNCS 3714, Springer-Verlag, pp. 198 – 209, 2005. ___ 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). |
Zeeshan Malik David Dietrich Kevin Shelley |
Carpenter Gage Kononenko Liang Rafiq Stewart ___ Choy Dufour Lei Olaechea Singh Zaccak ___ Chun Mitchell Sisodia Suleman Zayan |
| Feb
6 |
Creating
Domain
Specific Languages Selic, B. A Systematic Approach to Domain-Specific Language Design Using UML, in Proceedings of the 10th International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 2-9, 2007. ___ Van Wyk, E., Bodin, D., Gao, J., and Krishnan, L. Silver: An extensible attribute grammar system. in Science of Computer Programming. 75, 1-2 (January 2010), pp. 39-54. ___ Dmitriev, S. (2005). Language Oriented Programming: The Next Programming Paradigm http://www.jetbrains.com/mps/docs/Language_Oriented_Programming.pdf |
Henry
Zaccak David Dufour Tommy Carpenter |
Choy Malik Mitchell Singh Suleman ___ Lei Liang Olaechea Stewart Zayan ___ Chun Dietrich Gage Kononenko Rafiq Shelley Sisodia |
|
| 6 |
Feb
13 |
No class |
||
| Feb
20 |
Reading Week |
|||
| 7 |
Feb
27 |
Model
Management 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. ___ 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. ___ 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). |
Preksha Sisodia David Gage Oleksii Kononenko |
Chun Dietrich Liang Singh Zaccak Zayan ___ Carpenter Choy Dufour Mitchell Stewart ___ Lei Malik Olaechea Rafiq Shelley Suleman |
| Mar
5 |
Other
Modelling
Tools 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. ___ Grundy, J., Hosking, J., Zhu, N., and Liu, N. Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. In Proceedings of the 21st International Conference on Automated Software Engineering (ASE), 2006, pp. 25-36. ___ 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. |
Dina
Zayan Jia Hui Liang Luke Chun |
Choy Dufour Gage Kononenko Malik Mitchell Stewart ___ Dietrich Shelley Singh Suleman Zaccak ___ Carpenter Lei Olaechea Rafiq Sisodia |
|
| 9 |
Mar
12 |
Model
Transformations 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. ___ 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) ___ Bentley, J. Programming pearls: little languages. In Communications of the ACM, 29(8):711-721, (Aug. 1986). |
Rafael Olaechea Bairong Lei Zeeshan Malik |
Carpenter Dietrich Malik Rafiq Singh Stewart Suleman Zayan ___ Choy Chun Dufour Gage Kononenko Liang Mitchell Shelley Sisodia Zaccak ___ |
| 10 |
Mar
19 |
Generative
Technologies Czarnecki, K. Overview of generative software development. In Unconventional Programming Practices, LNCS 3566, Springer, 2005, pages 326--341. ___ Antkiewicz, M., Czarnecki, K., Framework-Specific Modeling Languages with Round-Trip Engineering. In Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), October 2006. _______ Creating Domain Specific Languages Selic, B. A Systematic Approach to Domain-Specific Language Design Using UML, in Proceedings of the 10th International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 2-9, 2007. |
Kaheer Suleman Akshay Singh Henry Zaccak |
Choy Chun Dufour Gage Malik Mitchell Rafiq Shelley Sisodia ___ Carpenter Dietrich Kononenko Lei Liang Olaechea Stewart Zaccak Zayan |
| Mar
26 |
Model-Based
Testing 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. ___ 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. ____ Creating Domain Specific Languages Van Wyk, E., Bodin, D., Gao, J., and Krishnan, L. Silver: An extensible attribute grammar system.Science of Computer Programming. 75, 1-2 (January 2010), pp. 39-54. |
Philip Mitchell Sharon Choy David Dufour |
Carpenter Gage Kononenko Lei Shelley Singh Stewart Suleman Zaccak ___ Chun Dietrich Dufour Liang Malik Olaechea Rafiq Sisodia Zayan |
|
| 12 |
Apr 2 |
Project
Presentations (1:00-5:00) - M3 3103 1:00 IBM Rhapsody 1:35 MetaEdit+ 2:10 Meta Programming System (MPS) 2:45 Web-based Technologies 3:20 EMF + Groovy 3:55 Whole Platform 4:30 GEMS + ATLAS |
Preksha & Akshay Alex & Luke Kevin & Zeeshan David Dufour Henry Phil Sharon & Kaheer |
|
| Apr 5 |
Project
Presentations (1:00-5:00) - M3 3103 1:00 SPARK 1:35 TXL + Alloy 2:10 Translating the Feature-Oriented Requirements Modelling Language to Alloy 2:45 Model Evolution: Comparative Study between Clafer and Textual UML 3:20 Extending Clafer for Model Finding 3:55 Extending Alloy to Express and Analyze Optimization Constraints 4:30 Extending Clafer to Support Optimization Constraints, and Translation to Alloy |
Taha & Oleksii Tommy & David G. David Dietrich Dina Jimmy Steven Rafael |