Requirements Checker

Hallo Leute,

wenn die Firma kein kostspieliges Tool wie DOORs spendiert
(für manche vielleicht auch zum Glück) fallen viele auf Excel zurück.

Ich habe das Gefühl, dass die heutigen Compiler mit mächtigen type 
checkern
und flexibelen Typsystem die Rolle eines Requirement Checkers übernehmen 
könnten. Was fehlt ist eine Art DSL (domain specific language), damit 
das
Wesentliche nicht im Rauschen des Codes untergeht.

Ich bin am Überlegen sowas mal skizzenmässig auszuprobieren.
Entweder mit Prolog, Haskell oder Typescript.
Vielleicht lassen sich die Engines für Packetverwaltungen dafür 
misbrauchen :)

Hat einer ein Tip oder Erfahrungen dazu?

Gruß