Skip to content
Programming Formalisms
2025-05-08
Initializing search
GitHub
Home
About the course
Schedule
Project
Intro
Planning
Design
Development
Testing
Deployment
Misc
Programming Formalisms
GitHub
Home
About the course
About the course
Learning outcomes
Pre-requirements
Course dates
Introduction
Schedule
Project
Project
Intro
Issues
Kanban board
Team roles
Create class list
Create structs
Dream design
Intro
Intro
Introduction
SDLC tools
Planning
Planning
Get started with git and the project
Analysis Phase
Exercise Analysis Phase
Design
Design
Software Development Lifecycle
Object Oriented development
Function design
Expressive data types
Modular programming
A 'has-a' relation
Class design
Development
Development
Issues
Kanban board
Team roles
Git workflow, branches
Git(-Hub) workflow, merging
Contributing & code review
Sharing and social coding
Pair programming
Continuous integration
Testing
Testing
assert
Test-driven development
Using a formal testing framework
Runtime speed profiles
Improve run-time speed
Big-O
Deployment
Deployment
Implement the project as a package
Deploy
Documentation
Wrap-up
Misc
Misc
Feedback
Evaluations
Reflections
Data
Emails
Shared documents
Lesson plans
Meeting notes
Definitions
Extra material (Earlier Intro day materials)
Project workflows
Learn UML with mermaid
git workflow
Reading material
FAQ
Functions to practice TDD
Retrospective
Wrap-up
2025-05-08
¶
Day 4
Author: Richel