CISC836: Models in Software Development: methods, techniques, and tools (Fall 2009)

Schedules

[Home] [Content] [Schedule] [Readings] [Assignments] [Projects]

Tentative course schedule

The following schedule is tentative and may change

Week 1 (Sept 14 - 18) to Week 8 (Nov 2 - 5): lectures
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.
  - [Sch06]: D.C. Schmidt. Model-Driven Engineering. IEEE Computer, Volume 39, Issue 2. Feb. 2006. Page(s):25 - 31
  - [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.

Last modified: Tue Nov 3 11:33:40 EST 2009