This is a collection of exercises and notes related to the Java Software Engineering course i've taken at university. The course, and hence my notes and exercises, focuses on the main aspects of Java Programming such as:
-
Propositional and temporal logic
- logic languages
- CTL and LTL logic
- propositional tableaux and ltl
- kripke structures
-
Java concurrency
- processes and threads
- concurrency and parallelism
- dynamic binding
- reflection
- high level abstractions
- introspection
-
Java AOP
- aspects
- annotations
- JLM
- test driven development (JUnit)
- design patterns
The main language for notes will be Italian, sorry :P