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

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

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

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

А в микроэлектронике — нет? Можно это раскрыть подробнее?

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

Это не многое. Это кое-что. Даже все, что можно с помощью компилятора автоматизировать на данном этапе развития технологии — и то не автоматизируется.

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

Вопрос остается.

K>>И как вообще R отделяется от D?
FR>Да легко есть наука есть промышленность.

И совсем не легко. R&D — это и есть, скажем так, область проникновения науки в промышленность — так что граница не очень-то четкая.
А в программировании от промышленности только R&D и остается — серийного производства-то нет.

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

Как интересно. Ну и как можно на одном уровне ничего не гарантировать в принципе — а на следующем гарантировать — да еще и полностью?