The objective of this course is to teach students the basic concepts of object-oriented programming. The concepts are illustrated and implemented with the Java language. At the end of this course, the student will be able to structure, specify and implement robust programs using data abstraction and subtyping. Of particular importance is program correction (compliance with specifications, substitution principle, tests...).
The course is primarily motivated by the need for powerfull abstraction techniques that facilitate the development and maintenance of large programs. After a brief introduction to the basics of the Jaca language, the course the abstraction techniques are successively introduced, each being the subject of a chapter: procedural abstraction (reminder), data abstraction ,iteration abstraction and type hierarchy abstraction. Additional chapters are dedicated to exceptions, generics and testing. In each chapter, concepts are illustrated and implemented with the Java language. The course is based on the book: "Program Development in Java: Abstraction, Specification and Object-Oriented Design" by Barbara Liskov & John Guttag, Addison-Wesley
Written evaluation
Program Development in Java: Abstraction, Specification and Object-Oriented Design Barbara Liskov & John Guttag, Addison-Wesley
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Bachelor in Computer Science | Standard | 0 | 5 | |
| Bachelor in Business Engineering | Standard | 0 | 3 | |
| Bachelor in Mathematics | Standard | 0 | 5 | |
| Bachelor in Business Engineering | Standard | 2 | 3 | |
| Bachelor in Computer Science | Standard | 2 | 5 |