Schedule
The following table shows a tentative schedule of the course. The schedule is subject to change, as topics will be decided upon during the first few course meeting. If changes are necessary, this page will be updated.
| Weeks | Dates | Topics | Readings | Assignments |
|---|---|---|---|---|
| Week 1 | Jan. 15 | Introduction | Homework 1 | |
| Jan. 17 | Software architecture and styles | [Garlan-Shaw94] [Kruchten-Obbink-Stafford06] |
||
| Week 2 | Jan. 22 | No class | ||
| Jan. 24 | Software architecture and styles | |||
| Week 3 | Jan. 29 | Acme | [Garlan-Monroe-Wile00] [Monroe01] | |
| Jan. 31 | Acme | Homework 2 | ||
| Week 4 | Feb. 5 | Acme | ||
| Feb. 7 | ArchJava | [Aldrich-Chambers-Notkin02] | ||
| Week 5 | Feb. 12 | ArchJava | Homework 3 | |
| Feb. 15 | ArchJava Programming | |||
| Week 6 | Feb. 19 | Architecture description languages | [Medvidovic-Taylor00] | |
| Feb. 21 | Architecture description languages | |||
| Week 7 | Feb. 26 | C2 style (Leo Salayandia) | [Taylor-etal96] | |
| Feb. 28 | C2 style | Homework 4 | ||
| Week 8 | Mar. 4 | C2 style | Project proposal | |
| Mar. 6 | Exam 1 | |||
| Week 9 | Mar. 11 | xADL (Ares Saldana) | [Dashofy-Hoek-Taylor02] | |
| Mar. 13 | π-ADL (Ernesto Medina) | [Oquendo06] | ||
| Week 10 | Mar. 18 | Project proposal presentation | ||
| Mar. 20 | Project proposal presentation | |||
| Week 11; | Mar. 24-28 | Spring break | ||
| Week 12 | Apr. 1 | Prism (Steven Ruiz) | [Malek-Mikic-Medvidovic05] | |
| Apr. 3 | π-AAL (Carlos Rubio) | [Mateescu-Oquendo06] | ||
| Week 13 | Apr. 8 | [Kruchten95] | ||
| Apr. 10 | Chemical Abstract Machine (Juan Gonzalez) | [Inverardi-Wolf95] | ||
| Week 14 | Apr. 15 | Goals to SA (Amritam Sarcar) | [Lamsweerde03] | |
| Apr. 17 | Scenario-Based Analysis (Cuauhtemoc Munoz) | [Kazman-etal06] | ||
| Week 15 | Apr. 22 | Architecture Changes (Jaime Acosta) | [Westhuizen-Hoek02] | |
| Apr. 24 | Testing (Yong Wang) | [Muccini-Inverardi-Bertolino04] | ||
| Week 16 | Apr 29 | Project Presentation | Project Report | |
| May 1 | Project Presentation | |||
| Week 17 | May 6 | Final at 4:00 pm - 6:45 pm |
Readings
The following is a list of tentative readings. The list is subject to change, and you will be asked to add your own reading list; an up-to-date list will be available from the course Web page.
- [Aldrich-Chambers-Notkin02]
J. Aldrich, C. Chambers, and D. Notkin.
ArchJava: Connecting Software Architecture to Implementation,
Proceedings of the 24th International Conference
on Software Engineering,
pages 187-197, Orlando, Florida, May 2002.
-
[Dashofy-Hoek-Taylor02]
E. M. Dashofy, A. Hoek, and R. N. Taylor.
An infrastructure for the rapid development of XML-based architecture
description languages,
International Conference on Software Engineering,
Orlando, FL, pages 266-276, 2002.
- [Garlan-Monroe-Wile00]
D. Garlan, R. T. Monroe, and D. Wile.
Acme: Architectural Description of Component-Based Systems,
Foundations of Component-Based Systems,
pages 47-68, Cambridge University Press, 2000.
- [Garlan-Shaw94]
D. Garlan and M. Shaw.
An Introduction to Software Architecture,
Advances in Software Engineering and Knowledge Engineering,
Volume I,
edited by V. Ambriola and G. Tortora, World Scientific Publishing Company,
New Jersey, 1993.
-
[Inverardi-Wolf95]
P. Inverardi and A. L. Wolf.
Formal specification and analysis of software architectures using
the chemical abstract machine,
IEEE Transactions on Software Engineering, 21(4):373-386,
April 1995.
-
[Kazman-etal06]
R. Kazman, G. Abowd, L. Bass, and P. Clements.
Scenario-based analysis of software architecture,
IEEE Software,
13(6):47-55, November 1996.
-
[Kruchten95]
P. Kruchten. The 4+1 view model of architecture,
IEEE Software, 12(6):42050, November 1995.
- [Kruchten-Obbink-Stafford06]
P. Kruchten, H. Obbink, and J. Stafford.
The Past, Present, and Future of Software Architecture
IEEE Software,
23(2):22-30, March/April, 2006.
-
[Lamsweerde03]
A. Lamsweerde. From system goals to software architecture,
Formal Methods for Software Architectures, LNCS,
vol. 2804, pages 25-43, November, 2003.
-
[Malek-Mikic-Medvidovic05]
S. Malek, M. Mikic-Rakic, and N. Medvidovic.
A style-aware architectural middleware for resource-constrained,
distributed systems,
IEEE Transactions on Software Engineering,
31(3):256-272, March 2005.
-
[Mateescu-Oquendo06]
R. Mateescu and F. Oquendo. π-AAL: An
architecture analysis language for formally specifying and verifying
structural and behavioral properties of software architectures,
ACM SIGSOFT Software Engineering Notes, 31(2):1-19, March 2006.
- [Medvidovic-Taylor00]
M. Medvidovic and R. N. Taylor.
A Classification and Comparison Framework for Software Architecture
Description Languages,
IEEE Transactions on Software Engineering,
26(1):70-93, January 2000.
- [Monroe01]
R. T. Monroe.
Capturing Software Architecture Design Expertise with Armani,
Technical Report CMU-CS-98-163, School of Computer Science,
Carnegie Mellon University, Pittsburgh, PA, January 1992.
-
[Muccini-Inverardi-Bertolino04]
H. Muccini, P. Inverardi, and A. Bertolino.
Using software architecture for code testing,
IEEE Transactions on Software Engineering,
30(3):160-171, March 2004.
-
[Oquendo06]
F. Oquendo. Formally modeling software architectures with
the UML 2.0 profiles for π-ADL,
ACM SIGSOFT Software Engineering Notes,
31(1):1-13, January 2006.
- [Taylor-etal96]
R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead,
J. E. Robbins, K. A. Nies, P. Oregzy, and D. L. Dubrow,
A Component- and Message-Based Architectural Style for GUI Software,
IEEE Transactions on Software Engineering,
22(6): 390-406, June 1996.
-
[Westhuizen-Hoek02]
C. Westhuizen and A. Hoek.
Understanding and propagating architectural changes,
Proceedings of the IFIP 17th World Computer Congress - TC2 Stream
/ 3rd IEEE/IFIP Conference on Software Architecture: System Design,
Development and Maintenance, pages 95-109, 2002.
Last modified by Yoonsik Cheon: $Id: schedule.html,v 1.22 2008/04/29 17:41:35 cheon Exp $