Skip to content

Course introduction

Learning outcomes

Learners have ...

  • heard to course goal
  • Identify the main topics and objectives for the week's lessons.
  • Evaluate the importance of engaging with course content and identify strategies to maintain interest and motivation throughout the week.
For teachers

Prior:

  • What does 'Programming Formalisms' mean?
  • What is the goal of the course?
  • What is software development?
  • What is formal software development?
  • What are some examples of evidence-based best practices?

Course goal

The goal of the 'Programming Formalisms' course is to teach formal and evidence-based best practices principles of software development.

Course approach

  • Discuss the phases in software development, from planning to maintenance
  • Work on a project to experience this

Exercise 1: where is what?

Explore the website of the course. Where you can you find the things below?

  • The schedule
  • The sessions
  • A description of the course project
  • Earlier evaluation results