Programmatūras izstrādes tehnika, kas sastāv no izolēšanas sistēmas funkciju vai datiem un šos datus moduļa darbību kopumu un sniedzot precīzas specifikācijas modulim.