logo
Programming Formalisms
Index
Initializing search
    GitHub
    • Home
    • About the course
    • Schedule
    • Project
    • Intro
    • Planning
    • Design
    • Development
    • Testing
    • Deployment
    • Misc
    GitHub
    • Home
      • Learning outcomes
      • Pre-requirements
      • Course dates
      • Introduction
    • Schedule
      • Intro
      • Become member of project
      • Issues
      • Kanban board
      • Team roles
      • Create class list
      • Create structs
      • Dream design
      • Introduction
      • SDLC tools
      • Get started with git and the project
      • Analysis Phase
      • Exercise Analysis Phase
      • Software Development Lifecycle
      • Object Oriented development
      • Function design
      • Expressive data types
      • Modular programming
      • A 'has-a' relation
      • Class design
      • Issues
      • Kanban board
      • Team roles
      • Git workflow, branches
      • Git(-Hub) workflow, merging
      • Contributing & code review
      • Sharing and social coding
      • Pair programming
      • Continuous integration
      • assert
      • Test-driven development
      • TDD at a bigger scale
      • Using a formal testing framework
      • Runtime speed profiles
      • Improve run-time speed
      • Big-O
      • Implement the project as a package
      • Deploy
      • Documentation
      • Wrap-up
      • 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

    Index

    Made with Material for MkDocs