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

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

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

Почему неприемлим, он используется хоть и не часто. Правда количество empiric он не уменьшает

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

Потому что в программировании преобладают грязные задачи.
Ну и многое в программирование очень даже полностью автоматизированно, называется компилятор

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

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

Да легко есть наука есть промышленность.

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

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

Почему только в чистом, вполне возможно что на нижнем уровне empiric а уровнем выше полностью defined