University of Colorado Boulder
CSCI 5828 — Foundations of Software Engineering
128 documents • ranked by quality and engagement.
No description provided
First Look at the Course Overview
Look at Petri-Nets
Concluding an Iteration
First Look at the Course Overview
Design Based on Models
Look at Gathering Requirements
Introduction to Control Dependence Graphs
Design Based on Models
Look at Gathering Requirements
Introduction to Control Dependence Graphs
Study of No Silver Bullet
Introduction to the C++ Concurrency Framework
Study of No Silver Bullet
Introduction to the C++ Concurrency Framework
Look at Deadlock Conditions
Overview of Build Management
Look at Deadlock Conditions
Overview of Build Management
Liveness and Safety Properties (Topic 2)
Introduction to Petri-Nets (Topic 1)
Specifications Based on Operations
Further Reading on No Silver Bullet
Further Notes on Design Principles
Principles of Model-Based Design