Inhalt

• Verifizieren, Spezifizieren (Korrektheit, Termination) (Vorbedingung, Nachbedingung, Invariante, ,,Terminante``)
• Testen (Blackbox, Unit, Whitebox) (Überdeckungen)
• Quelltextverwaltung
• Entwurfsmuster, Refactoring, Code Smells
• Klassen (Immutabilität, Vererbung bricht Kapselung)
• Dokumentation (selbsterklärender Code, Schnittstellen-Dok.)