University of Colorado Boulder
CSCI 5828 — Foundations of Software Engineering
128 documents • ranked by quality and engagement.
No description provided
Introduction to Concurrency (Topic 1)
Overview of Continuous Integration and Build Systems
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
Introduction to Concurrency (Topic 1)
Overview of Continuous Integration and Build Systems
Metrics for Software
Security in Software
Development Guided by Testing
Scala Agents and Thread Libraries
Version Control Systems
Customer Satisfaction
Overview of No Silver Bullet
Analysis of No Silver Bullet
Condition Synchronization and Monitors
Development Environments for Mobile Devices
Methods for Gathering Requirements
Configuration Management in Distributed Systems
Look at Build Management Practices
Version Control Systems