A software development technique that consists of isolating a system function or a set of data and operations on those data within a module and providing precise specifications for the module.