ESC/JAVA

1. Wstęp
2. Różne rodzaje kontroli błędów
3. Zalety kontroli statycznej i jej przewaga nad dynamiczną
4. Różne podejścia analizy statycznej
5. Dowodzenie poprawności
6. Proste systemy statyczne i inne narzędzia
7. Extended Static Chcecking dla Javy ( skąd się wzięło?, po co?, czym jest?, co robi? )
8. ESC/Java ( cele? czym się nie zajmuje,... )
9. Porównanie kontrolerów statycznych (LINT, Type Systems, ESC[java, modula-3] , full veryfication)
10. Architektura ESC/Java ( wejście , modułowe sprawdzanie , wyjście , opis interfejsów, przykłady)
11. Adnotacje/dyrektywy ESC/Java ( kategorie składniowe dyrektyw , lista dyrektyw)
12. Wyspecyfikowane wyrażenia ESC/Java
13. Cele modyfikacji ESC/Java
14. Typy ostrzegawcze ESC/Java i informacje o ostrzeżeniach w ESC/Java
15. Automat do dowodzenia twierdzeń - Simplify
16. Przykłady
16. ESC/Java vs. Testing
17. Podsumowanie ESC/Java
18. Bibliografia.
19. Homework. (ewentualny)