Eine Software Entwicklung-Technik, bei der eine Systemfunktion oder eine Reihe von Daten und Operationen auf diesen Daten innerhalb eines Moduls zu isolieren und genaue Spezifikationen für das Modul.