CS517 - Weekly Guide

Page 1 of 5

Computer Science Department

CS517: Software Specification & Design Weekly Guide - 2012

Week 1: 1/18
Lecture notes: Introduction to Course Reading assignment: Overview of predicate logic and set theory Software Engineering: Concepts & Principles (These slides provide a review of basic software engineering concepts and principles) Other assignments: Do exercises on WebWork: Use your eID name as both your login name and password Read the course project page Discrete Math test (due on 1/18 at midnight) Quiz: SE Basics available on 1/18/2012

Week 2: 1/23, 25
Lecture notes: Introduction to formal specification techniques (FSTs) OO modeling with UML: A whirlwind tutorial tour Reading assignment: Why Modeling is Essential in Software Engineering (slides from an invited presentation by Dr. France) OCL Text Chapters 1, 2 Other assignments: Quiz: UML, Design Principles available on 1/25/2012 Quiz: FST Basics available on 1/25/2012

Week 3: 1/30, 2/1

http://www.cs.colostate.edu/~france/CS517/WeeklyGuide-2012.htm?xyzallow

1/17/2012

CS517 - Weekly Guide

Page 2 of 5

Lecture notes: Studio 1: UML modeling Reading assignment: Future of MDD Research (slides from a 2007 talk by Dr. France on MDD research challenges) OCL Text Chapters 3, 6, 7 Other assignments: Discussion Topic 1: Do current software development approaches adequately address the complexity of modern computer systems? What software development practices are used in industry (relate your experience)? How good are they at taming complexity? What accidental complexities do they introduce?

Week 4: 2/6, 8
Lecture notes: OCL: See OCL section of UML Tutorial OCL Tool Link: USE (http://www.db.informatik.uni-bremen.de/projects/USE/) Reading assignment: OCL Text Chapter 5 Software Abstractions: Chapter 1 Other assignments: 1. Studio 1 answers due 2/6/2012 by midnight (submit using RamCT) 2. Quiz 5: UML and design principles 3. Discussion Topic 2: Is there significant value to modeling software systems?

Week 5: 2/13, 15
Lecture notes: Using the USE tool: Wuliang Peter Sun Studio 2: Class modeling with OCL Reading assignment: Software Abstractions: Chapters 2 Other assignments: Project: Submit project plan as a pdf file (send email to cs517@cs.colostate.edu) by 2/13/2012 Discussion Topic 3: How can we determine that a model of a system is good?

Week 6: 2/20, 22
Lecture notes: Introduction to Alloy Alloy Resources (including tool download): http://alloy.mit.edu/community/

http://www.cs.colostate.edu/~france/CS517/WeeklyGuide-2012.htm?xyzallow

1/17/2012

CS517 - Weekly Guide

Page 3 of 5

Reading assignment: Software Abstractions: Chapter 3 Other assignments: Studio 2 answers due 2/20/2012 by midnight (submit using RamCT) Quiz: Alloy Basics available on 2/22/2012

Week 7: 2/27, 29
Lecture notes: Alloy Logic Reading assignment: Software Abstractions: Chapter 4 Other assignments: Major assignment 1 available on 2/25/2012 Project: Submit a draft of the requirements document as a pdf file (send email to cs517@cs.colostate.edu) by 2/29/2012 Quiz: Alloy2 available on 1/29/2012 Discussion Topic 4: What are some of the barriers to effective use of models in practice?

Week 8: 3/5, 7
Lecture notes: Studio 3: Basic Alloy modeling Reading assignment: Software Abstractions: Chapter 5, 6, Appendix A Other assignments: Major assignment 1 due 3/4/2012 by midnight (submit using RamCT) Discussion Topic 5: What are some of the barriers to effective use of FSTs (formal specification techniques) in industry?

Week 9: 3/12, 14
SPRING BREAK (No Classes; work on your project)

Week 10: 3/19, 21

Lecture notes: Dynamic modeling in Alloy

http://www.cs.colostate.edu/~france/CS517/WeeklyGuide-2012.htm?xyzallow

1/17/2012

CS517 - Weekly Guide

Page 4 of 5

Reading Assignment: Software Abstractions: Chapters 6, Appendix A Other assignments: Studio 3 answers due 3/19/2012 by midnight (submit using RamCT)

Week 11: 3/26, 28

Lecture notes: Research presentation on analyzing UML models using Alloy: Wuliang Peter Sun Studio 4: Alloy modeling Reading assignment: Principles of model checking Chapters 1, 2 Other assignments: Project: Submit a draft of the requirements, design documents, and a list of features that have been implemented thus far as a pdf file (send email to cs517@cs.colostate.edu) by 3/30/2012.

Week 12: 4/2, 4

Lecture notes: Model checking principles Reading assignment: Principles of model checking Chapters 3, 5 Other assignments: Studio 4 answers due 4/2/2012 by midnight (submit using RamCT) Discussion Topic 6: Is Alloy ready for industrial use?

Week 13: 4/9, 11

Lecture notes: Linear Temporal Logic Reading assignment: Principles of model checking Chapters 5 Other assignments: Discussion Topic 7: What are the benefits of using FSTs to develop mission-critical (but not necessarily life-critical) software systems? HW 4 due: Sunday 4/17, midnight

http://www.cs.colostate.edu/~france/CS517/WeeklyGuide-2012.htm?xyzallow

1/17/2012

CS517 - Weekly Guide

Page 5 of 5

Week 14: 4/16, 18

Lecture notes: Linear Temporal Logic contd Model-checking regular properties Reading assignment: Principles of model checking Chapter 4 Other assignments: Discussion Topic 8: Should software be engineered or crafted? Discuss the relevance of software engineering concepts to software development practice. Why should we pay attention (or not) to requirements and design? Is it enough to master a programming language? Whats good and bad about software craftsmanship?

Week 15: 4/23, 25

Lecture notes: Studio 5: Concurrent software modeling using UPPAAL Other assignments: Project due 4/23/2012 by midnight (submit using RamCT)

Week 16: 4/30, 5/2

Lecture notes: Project presentations Other assignments: Studio 5 answers due 4/30/2012 by midnight (submit using RamCT) Major assignment 2 available on 4/28/2012

Week 17: Exam Week

Major assignment 2 due 5/8/2012 by midnight (submit using RamCT) Comments: france@CS.ColoState.EDU Last modified: January, 2012

http://www.cs.colostate.edu/~france/CS517/WeeklyGuide-2012.htm?xyzallow

1/17/2012