Harvey Mudd College
Spring 2009
Computer Science 121
Software
Development
What this course is about
This course deals with the processes
involved in software development, from requirements specification and analysis,
on through design, implementation, and quality assurance. We discuss ways to
organize and manage work processes as well as technical design models. Projects
will involve specification, design, programming, and testing.
Instructor
Bob
Keller, 1253 Olin (office hours 4:15-5:30 MTW, or whenever I'm in),
keller@cs.hmc.edu, x 18483
Grutors
Meg Campbell
Alice Xu
Catalog Description
Rigorous introduction to the technological
and managerial discipline concerned with the design and implementation of large
software systems. Techniques for software specification, design, verification,
and validation. Formal methods for proving the correctness of programs.
Students working in teams are required to design, implement, and present a
substantial software project.
Prerequisites: Computer Science 70.
Requirements and Grading
- 60% Projects
- 15% Other
homework
- 15% Oral
mid-term exam
- 10% Attendance
& participation
Textbooks
·
Dwayne Phillips, The Software Project Manager's Handbook:
Principles That Work at Work (Paperback) 2nd edition, Publisher:
Wiley-IEEE Computer Society Pr (July 1, 2004), ISBN-10: 0471674206, ISBN-13:
978-0471674207
·
Robert C. Martin, Agile
Software Development, Principles, Patterns, and Practices (Hardcover), Prentice
Hall (October 25, 2002), ISBN-10: 0135974445, ISBN-13: 978-0135974445
This Outline is being revised to
conform to texts
- Overview of
software development activities
- Requirements
elicitation
- Functional
vs. non-functional requirements
- Use cases
and diagrams
- Goals
- Pre- and
post-conditions
- Elaboration
phase, Requirements to Design
- Domain
modeling, using UML
- Design
class diagrams
- UML
Sequence diagrams and collaboration diagrams
- UML
Activity diagrams
- CRC cards
- Design
Documents
- Design
Patterns
- Risk
Analysis
- Implementation,
Designs to Code
- Life
Cycle Models and Standards
- Waterfall
model
- Unified
process
- Scrum
model
- Agile
models
- Other
models
- Contracts
- State
charts
- Architectural
Patterns
- Project
Management
- Revision control,
configuration management
- Work
breakdown structure
- Pert
charts
- Gant
charts
- Anti-Patterns
- Testing
- Software
metrics
- Software
inspections, walkthroughs
- Release
management
- Analysis
Tools
- Dynamic
analysis
- Static
analysis
- Model-checking
- Software cost
analysis
- Function
points
- COCOMO,
COCOMO II
- Process
Improvement
- CMMI
- Documentation
Lecture Slides and Related Links
(will be posted as lectures are given)
- 01 Introduction
- Assignments 1 and 2
- 02 Use Cases
- ATM Sequence Diagrams
- Example of a Use Case Template
- Assignment 3
- User Stories (Kelly Waters)
- 03 Domain Modeling
- 04 Robustness Analysis
- ATM Robustness Analysis Diagram
- Robustness Analysis Modeling
- Robustness Analysis Benefits
- 06 Designing with UML
- 07 Dynamic UML
- UML (WP)
- UML Diagram Quick Reference (Alan Holub)
- Web Sequence Diagrams (tool)
- Harel's original Statechart paper
- Video on COGS Statechart system
- 05 CRC Cards
- Allistair Cockburn on Using CRC Cards (Ward Cunningham)
- Original set of CRC Cards (Ward Cunningham)
- CRC Card Software Design product
- 09 Life Cycle Models
- 10 Project Management
- Project
management (WP)
- Work
breakdown structure (WP)(WBS)
- PERT
chart (WP)
- Critical Path
Method (CPM) (WP)
- Gantt chart (WP)
- Gantt
Chart in Excel
- Earned-value
management (WP)
- 12 Critical Chain Project Management
- Critical Chain Project
Management (CCPM) (WP)
- Critical chain: the theory of constraints applied to project management
- Critical Chain Concepts (Scitor Corp.)
- An investigation into the fundamentals of critical chain project scheduling
- Critical Chain FAQ
- 13 Object-Oriented Design Principles
- Principles
of Object-Oriented Design
- Object-Oriented
Design in general (WP)
- Liskov
Substitution Principle (WP)
-
ObjectMentor (articles, etc.)
- Cohesion
(WP)
- Coupling
(WP)
- Law of Demeter (or
Principle of Least Knowledge) (WP)
- 14 Design Patterns Intro
- Christopher
Alexander (WP)
- Pattern Language website (Architecture not software)
- Wikipedia
article
- Gamma, et al. book
(Wikipedia article)
- Flash Cards
- GRASP
(Larman) (WP)
- Use Case Pattern Language
- Yahoo! Design Pattern Library
- Unix Interface Design Patterns
- 15 Design Patterns, continued
- 16 Anti-Patterns
- AntiPatterns, a Brief Tutorial (Hays W. McCormick, Mitre)
- Anti-Patterns (WP)
- 17 Testing, part 1
- Frameworks
- 18 Testing, part 2
- Pairwise Testing
- Dataflow Testing
- GUI Test Drivers
- Analysis Tools
General Links
- Software Engineering Body of Knowledge (SWEBOK)
- Requirements Engineering Annotated Bibliography
- SRS
Examples
- A small SRS written by a student team: VisiChord
- A small (maybe too-small) SRS written by a student team: CHIMMP
(CHet's Instant Message Music Player)
- A medium-size SRS written by a student team:Time
Monitoring Tool
- A medium-sized SRS by a student team: Web Publishing System
- A large SRS: Texas
Identification Number System Rewrite
- SRS
Templates, Checklists, Guidelines
- Requirements Requirements Specification (WP)
- www.processimpact.com template
- ReadySet template
- Use Cases
- Use Case (WP)
- User Story (WP)
- Requirements
Management and Use Cases (GatherSpace.com)
- VisiChord
Example
- eBay
Example (GatherSpace.com)
- SRS Example with Use
Cases
- Use-Case
Template (Alistair
Cockburn)
- Use Case
Fundamentals (Alistair Cockburn)
- Structuring use cases with goals (Alistair Cockburn)
- Use Cases or User Stories? (discussion)
- Smart
Antenna Components (Example with devices as actors)
- A Survey of
Approaches for Describing and Formalizing Use Cases (Russell R.
Hurlbut)
- Critique and Discussion (wiki)
- Use-Case
Point Estimation
- Analysis
- Requirements
Analysis (WP)
- Successful
Robustness Analysis (Doug Rosenberg)
- Applying
UML2 with MagicDraw
- Projection
Diagrams
- Process
Models
- List of software development philosophies (WP)
- A Sample Process (with Robustness
Analysis)
- Large
collection of links (cetus-links.org)
- Waterfall (WP)
- "V"
Model (WP)
- Iterative
and Incremental (WP)
- Spiral (WP)
- Scrum (WP)
- RUP
(Rational Unified Process) (WP)
- (Generic) Unified
Process (WP)
- XP (Extreme
Programming) (WP)
- Agile (WP)
- PSP
(Personal Software Process) (WP)
- Cleanroom
(WP)
- Waterfall 2006 (joke)
- Testing
- Wikipedia article
- Reference Information for the Software Verification and Validation Process (NIST)
- Bazman's Testing Pages
- Testing Papers
- Testing Stuff
- Cyclomatic
Complexity
- Code Coverage
- Kaner on Coverage
- Mutation Testing
- GUI-level
test automation
- Testing
Portal
- Pairwise
testing study
- Data
Flow testing paper
- Software
Architecture
- Inspections
and Reviews
- Tools
- Links to various
software standards
Useful References:
o Daryl
Kulak, Eamonn Guiney, Use
cases: Requirements in context, Addison-Wesley, 2000.
o Alistair Cockburn, Writing
Effective Use Cases, Addison-Wesley, 2001.
o Erich Gamma, Richard Helm, Ralph Johnson,
John Vlissides, Design
patterns: Elements of reusable object-oriented software, Addison-Wesley,
1995.
o Dean Leffingwell, Don Widrig, Managing
software requirements : a unified approach, Addison-Wesley, 2000.
o Phillipe Kruchten, The
Rational Unified Process, an Introduction, Second Edition Addison-Wesley,
2000, ISBN: 0201707101.
o James Rumbaugh, Ivar Jacobson, Grady Booch,
The
unified modeling language reference manual, Addison-Wesley, 1998.
o Ivar Jacobson, Grady Booch, James Rumbaugh,
The
unified software development process, Addison-Wesley, 1999.
o Grady Booch, Ivar Jacobson, James Rumbaugh,
The
unified modeling language user guide, Addison-Wesley, 1998.
o Barry W. Boehm, et al. Software
Cost Estimation with COCOMO II , Prentice-Hall, 2001.