Formaler Entwurf Bedeutung

Suchen

Formaler Entwurf

Formaler Entwurf Logo #40006Formaler Entwurf Methodenrichtung des logischen Entwurfs, bei der das Schema aus einer Menge allgemein benannter Datenelemente a1, a2, ..an und den funktionalen Abhängigkeiten zwischen diesen Elementen gewonnen wird, also ohne jeden Bezug zur inhaltlichen Bedeutung der Elemente. Formale Methoden würden einen maschinellen logischen Entwurf ermögl...
Gefunden auf https://www.enzyklo.de/Lokal/40006
Keine exakte Übereinkunft gefunden.