Abstract: In a previous work, we presented a technique that allows verifying the conformance between Java implementations and UML class diagrams, using design tests. While it allowed verifying ...

This is the git repository for course programming language in SoSe 2023 Chapter 01 Java basics review Chapter 02 Object oriented programming review Chapter 03 UML diagrams Chapter 04: generic ...