SOFL

Definition

SOFL steht für Structured Object-Oriented Formal Language und ist eine formale Spezifikationssprache, die strukturierte und objektorientierte Konzepte vereint. Sie wird in der Softwareentwicklung zur präzisen Beschreibung von Systemanforderungen eingesetzt.