Er zijn 2 definities.

Een systeem ontwerpen aan de hand van scenario’s.

Elektronische schakelingen zodanig ontwerpen dat de steeds complexer wordende schakeling toch relatief eenvoudig getest kan worden.

Een systeem deugdelijk ontwerpen.

Een systeem ontwikkelen met een formele methode die logisch correct is.

Ww Een ontwerp opnieuw ontwikkelen.