Unter Verfeinerung versteht man in der Informatik ein Verfahren, bei dem aus einer abstrakten Beschreibung (z. B. Registermaschine, formale Spezifikation mittels Z-Notation) eine konkretere Beschreibung abgeleitet wird. Eine Verfeinerung erhält dabei in der konkreten Beschreibung (bestimmte) Eigenschaften der abstrakten Beschreibung. == Verfeiner...
Gefunden auf
https://de.wikipedia.org/wiki/Verfeinerung
Prozess, bei dem die Ergebnisse einer ersten Suche durch eine weitere Suche eingeschränkt werden. Das Ergebnis der weiteren Suche sind alle Positionen der ersten Suche, die den Kriterien der weiteren Suche entsprechen.
Gefunden auf
https://www.enzyklo.de/Lokal/40102
Keine exakte Übereinkunft gefunden.
