Skip to content
Programming Formalisms
Home
Initializing search
GitHub
Home
About the course
Schedule
Project
Monday
Tuesday
Wednesday
Thursday
Friday
Misc
'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund
Welcome to the Programming Formalisms course!
¶
Course mottos
Turning scripters into computer scientists
Add theory to bolster already present practical skills
Pre-requirements
Intro
Schedule
Feedback
Programming Formalisms
GitHub
Home
About the course
About the course
Pre-requirements
Introduction
Schedule
Project
Project
Intro
Issues
Kanban board
Team roles
Create class list
Create structs
Dream design
Monday
Monday
Intro
Introduction
SDLC tools
Get started with a project
Project start with analysis and design
Summary of day
Tuesday
Tuesday
Intro
Software Development Lifecycle
Issues
Kanban board
Team roles
assert
Test-driven development
Using a formal testing framework
Summary of day
Wednesday
Wednesday
Intro
Git workflow, branches
Git(-Hub) workflow, branches/merging
Contributing with code review
Sharing and social coding
Pair programming
Using a formal testing framework
Summary of day
Thursday
Thursday
Intro
Object Oriented development
Function design
Expressive data types
Modular programming
A 'has-a' relation
Class design
Continuous integration
Summary of day
Friday
Friday
Intro
Implement the project as a package
Optimisation misconceptions
Big-O
Runtime speed profiles
Deploy
Documentation
Wrap-up
Summary of day
Summary of week
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
