Verfeinerung
Sign in to saveAlso known as data refinement
Verfahren, bei dem aus einer abstrakten Beschreibung eine konkretere Beschreibung abgeleitet wird
Article · Deutsch
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.
Abstract from DBpedia / Wikipedia · CC BY-SA