Цей формальний підхід, орієнтований на трансформацію, часто вимагає набагато більше зусиль, ніж традиційна розробка програмного забезпечення. Однак у конкретних сферах із відповідними формалізмами та багаторазовими шаблонами цей підхід виявився життєздатним для комерційних продуктів.
Покращте зв'язність тексту: цей підхід, орієнтований на формальну трансформацію, часто вимагає набагато більше зусиль, ніж традиційна розробка програмного забезпечення. У конкретних сферах з відповідними формалізмами та багаторазовими шаблонами зусилля виявилися життєздатними для комерційних продуктів.