This course is designed to teach the HOOD methodology; consisting of textual definitions of the solution, graphical representation and formal refinement leading to automated verification, documentation and target language source code generation, typically in Ada83. The course is supported by many workshop-style practical exercises using the preferred HOOD tool of your choice.