Využití softwarových nástrojů pro podporu transformace do programu, který si uvědomuje, že specifikace specifikace programu.