Week 9 (Nov 9 - 12) to Week 12 (Nov 30 - Dec 4): project
Week of Dec 7 - 11: project presentations
No classes
There will be no classes on: Mon, Oct 5 (JD at conference)
and Mon, Oct 12 (Thanksgiving)
Deliverables
Brief summaries of mandatory readings:
For each lecture topic, the following papers should be read;
a brief (1-2 paragraphs, please don't just copy the abstract)
summary should be sent to
the instructor before the topic is covered in the
lectures.
Topic 1: What is a model?
[Har92]: D. Harel. Biting the Silver Bullet:
Toward a Brighter Future
for System Development. IEEE Computer.
vol. 25, no. 1, pp. 8-20, January 1992.
http://www2.computer.org/portal/web/csdl/abs/mags/co/1992/01/r1008abs.htm
[Sei03]: Ed Seidewitz. What Models Mean.
IEEE Software, vol. 20, no. 5, pp. 26-32, Sep./Oct. 2003.
[KSLB03]: G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty.
Model-Integrated Development of Embedded Software.
Proc. IEEE, Jan 2003, pp 145-164.
Paragraphs due: before class on Thurs, Sept 24
Topic 2: Use of models in SE
[Sel03]: Bran Selic.
The Pragmatics of Model-Driven Development.
IEEE Software,
vol. 20, no. 5, pp. 19-25, Sep./Oct. 2003.
[BGKSN06]: K. Balasubramanian, A. Gokhale, G. Karsai,
J. Sztipanovits, S. Neema.
Developing Applications Using Model-Driven
Design Environments.
IEEE Computer, Volume 39, Issue 2, Feb 2006.
Paragraphs due: before class on Thurs, Oct 1
Topic 3: Expressing SW models
[Orw00]: J. Orwant. EGGG: The Extensible Graphical
Game Generator. PhD thesis. MIT. 2000.
http://www.orwant.com/eggg.html.
[FGDT06]: R. France, S. Ghosh, T. Dinh-Trong.
Model-Driven Development Using UML 2.0: Promises
and Pitfalls.
IEEE Computer, Volume 39, Issue 2, Feb. 2006
[MC01]: William E. McUmber, Betty H. C. Cheng: A General
Framework for Formalizing UML with Formal Languages.
23rd International Conference on Software Engineering
(ICSE'01). Toronto, Canada. Pages 433-442.
Paragraphs due: before class on Thurs, Oct 15
Topic 5: Transformation of SW models
[HHT02]: J.H. Hausmann, R. Heckel, and G. Taentzer.
Detection of Conflicting Functional Requirements
in a Use Case-Driven Approach.
Proceedings of the 24th International
Conference on Software Engineering (ICSE'02).
Orlando, Florida. 2002.
http://portal.acm.org/citation.cfm?id=581355
[Por03]: I. Porres.
Model Refactorings as Rule-Based Update
Transformations.
Turku Centre for Computer Science.
Technical Report 525.
Abo Akademi University. April 2003.
https://tucs.fi/publications/attachment.php?fname=TR525.pdf
Paragraphs due: before class on Thurs, Nov 12
Topic 4: Analysis of SW models
[GTBF03]: H. Giese, M. Tichy, S. Burmester, S. Flake.
Towards the compositional verification of real-time UML designs,
9th European software engineering conference held jointly with
11th ACM SIGSOFT International Symposium on Foundations of
Software Engineering (ESEC/FSE'03). Helsinki, Finland.
2003. Pages 38-47.
http://portal.acm.org/citation.cfm?id=940078#
[CSB05]: Betty H.C. Cheng, Ryan Stephenson, Brian Berenbach.
Lessons Learned from Automated Analysis of Industrial UML Class
Models (An Experience Report).
ACM/IEEE 8th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2005). Pages 324-338.
[SPD09]: A. Saifan, E. Posse, J. Dingel.
Run-Time Conformance Checking of Mobile and Distributed Systems
Using Executable Models.
Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging (PADTAD VII).
Chicago, IL. July 2009.
The paper can be
found here.
Paragraphs due: before class on Thurs, Nov 19
Assignments:
All 3 assignments will come out during the lecture part
of the term. All assignments will be due at the end of term.
The assignments can be found on the
assignments page.
Projects:
Before the end of the lectures, I will present project suggestions
Proposal: Students should have decided on a project before
the project part
begins (at which point a 2-page project proposal will be due)
Presentations and final report: presentations
will take place due the first week after the end of classes;
final reports (about 5 pages) will be due on the day of the
presentation.