Skip to content
Programming Formalisms
2025-10-23
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
Data
Definitions
Emails
Evaluations
Extra material (Earlier Intro day materials)
FAQ
Feedback
Functions to practice TDD
git workflow
Lesson plans
Learn UML with mermaid
Meeting notes
Project workflows
Reading material
Reflections
Retrospective
Shared documents
SciLifeLab course registration procedure
Wrap-up
2025-10-23
¶
Day 1
Author: Richel