CS 5381 - Schedule

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	~~4+1 View (Robert Holland)~~	[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 $