Schnittstellen-Mismatch

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Fehlermodus, der auftritt, wenn zwei logische Module, Theorien oder Komponenten inkompatible Annahmen, Signaturen oder Verträge an ihrer Schnittstelle offenlegen, sodass sie ohne Anpassung nicht direkt komponiert werden können.