Object Oriented Programming

Description

In-depth study of a structured and disciplined approach to develop medium-sized, sequential software systems using the paradigm of object oriented programming. Students learn how to draw an adequate design for a software system in terms of classes, associations and inheritance. They know how to write proper documentation for classes and their ingredients, both in a natural language and in a simple formal language. They can work out a proper implementation that satisfies quality criteria such as correctness, adaptability, re-usability and efficiency. They know how to verify the correctness of software systems by means of a set of well chosen tests.