Title: Prototypingorientierte Systemspezifikation