Expressivitätslücke

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine messbare Lücke zwischen der Menge von Eigenschaften, die eine Logik oder ein Spezifikationssprache definieren kann, und der Menge von Eigenschaften, die von einer Anwendung, Spezifikation oder Verifikationsaufgabe benötigt werden.