Title: Logische und Methodische Grundlagen der Programm- und Systementwicklung