Computer Science Department
CS614AV: Advanced Software Engineering - Fall 2008
Model-Driven Development of Complex Software
Basic
Course Information
Description: The course will focus on
rigorous model-based techniques for developing dependable software systems.
Particular attention will be paid to model-driven development of adaptive
software systems. Topics include use of models at runtime to support
adaptation, formal analysis of adaptive software systems, aspect-oriented
modeling, and model composition.
Prerequisite: You must satisfy at least
one of the following:
·
Successful
completion of CS517 or (CS414 and CS514).
·
Industrial
software development experience.
·
Permission
of instructor.
france AT cs DOT
colostate DOT edu
Office
Hours:
Tues, Thurs 10am to Noon; or by appointment
When
and Where:
Time: 8-9:15 am.
Location: USC Room 310B
Course Text
None
Course
Plan
The
following is a plan; information provided here is subject to change!
This is a seminar course. Papers will be assigned to students to read, analyze and present to the class. Presentations will be structured as follows:
- Presentation ~50 minutes
- Questions to presenter ~5 minutes
- Open discussion ~15 minutes
Students that participate actively and constructively in the discussions will receive more marks for their seminar contributions than those that are passive. Students are strongly advised to note in summary form the questions they ask and the contributions they make in each class so that they have a record of their contributions that can be submitted to the lecturer before the start of the next class. Each student will be required to write reports on the papers assigned to him/her (between 5 to 10 pages). These reports must be handed in to the lecturer on the presentation days.
Some of the classes will be designated Modeling Design Studios (DMS). In these classes models of moderately complex systems will be developed and critiqued. The modeling problems will be posted on RamCT at the start of the semester. Before a designated DMS class is held, students will work in groups (or individually) to develop the required models. In a DMS class we may do one or both of the following activities: (1) present and critique models created by students; (2) develop exemplar models. Students must submit the models they create to obtain a mark for a DMS.
Research
Report
Each
student is expected to do a research report on a topic. Topics can be drawn
from the following areas:
- Modeling adaptive software systems
- Using models at runtime to support automated and
human-driven adaptation
- Rigorous model analysis (including testing and formal
static analysis)
- Specifying and verifying model transformations
- Composing/weaving/fusing models
- Aspect-oriented software development
- Modeling and analyzing dependability features
- Model driven development of scientific workflows
Topics
from other areas will also be considered. Each Student must discuss
his/her topic with the lecturer and must submit a research proposal for
approval. The date for submission of research proposals is September 23,
2008.
Grading
Information
Marks
will be allocated as follows:
- Research Report: 50%
- Paper analysis and presentation: 30%
- Modeling Design Studios: 15%
- Discussion Participation: 5%
Important Dates
Project
proposal due date: Tuesday, September
23, 2008 by midnight
Project
report due date: Thursday, December 4,
2008 by midnight
Reading Materials
Reading
materials will be posted on RamCT.
Links
to Related Materials
More
links will be added to this section as the need arises.
- UML resource Center:
Contains information on the UML including the official standard documents.
- OMG's MDA: OMG
articles on model driven development.
- MDD
Research at CSU.
- Formal
Methods Virtual Library: This is the premier source of information on
anything to do with formal techniques on the WWW.
- Intro
to Formal Techniques
- Formal Methods Hub:
This is another good source of information on formal techniques.
- NASA
Langley Formal Methods Program
- Formal Methods
Guidebooks
- Patterns
Home Page
- Software
Architecture Information Resources
- SEI
Software Architecture Site
Comments: myaddr
Last modified: August 18, 2008.