Entwicklung wissensbasierter Systeme auf der Grundlage einer ausführbaren Spezifikation.