Здравствуйте, FR, Вы писали:

K>>1) Есть разница между "разработка по формальным спецификациям невозможна" и "разработка по формальным спецификациям не ведется".
FR>Угу, в совтостроении тоже возможно, и будет на порядок дороже чем сейчас. Рецепт простой пишем первую версию делаем на ее базе формальные спецификации и с нуля пишем вторую версию

Есть разница между "известен неприемлемый способ разработки по спецификации" и "не существует приемлемых способов разработки по спецификации".

Если в микроэлектронике действительно можно отделить R и полностью автоматизировать D (в чем я лично сомневаюсь) почему нельзя сделать это и для программирования? И не надо снова замыкать круг.

K>>2) Empiric + defined = empiric. Все равно R&D и там и там empiric.
FR>Угу вопрос в соотношении и цене.

Как определяется это соотношение? И как вообще R отделяется от D?

K>>Ну, тогда не имеет отношение противопоставление empiric и defined.
FR>А чистые варианты и не встречаются.

Вот уж нет — defined может существовать только в чистом виде — небольшая примесь empiric дает empiric (понятно, что с примесями defined)