
Formaler 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.