Skip to content
Programming Formalisms
Evaluation Day 2
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
Become member of project
Issues
Kanban board
Team roles
Create class list
Create structs
Dream design
Intro
Intro
Introduction
SDLC tools
Get started with git and the project
Planning
Planning
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
TDD at a bigger scale
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
Contact us
Data
Definitions
Emails
Evaluations
Extra material (Earlier Intro day materials)
FAQ
Feedback
Functions to practice TDD
Further learning
git workflow
Lesson plans
Learn UML with mermaid
Meeting notes
Project workflows
Reflections
Retrospective
Shared document
Shared documents
SciLifeLab course registration procedure
Wrap-up
Evaluation Day 2
¶
Author: Richel
Date: 2026-05-05