Programmierung und Argumentation mit teilweiser Beobachtbarkeit