Bir sistem işlev veya veri ve bir modül içinde bu veri üzerinde işlem yalıtma ve modül için kesin özellikleri sağlayan yazılım geliştirme tekniği.