Software-Entwicklung auf der Grundlage von Gleichungskalkülen | lit.salon