В февральском номере Oracle Magzine опубликована статья "Стэффорд Бир и новые аналитические средства КИС"
http://www.oracle.com/global/ru/oramag/feb2008/feb-08_otocky...
В статье анализируется опыт Киберсин для перспективы ИТ

Семантическое моделирование... тема слишком большая и пока практически «неразработанная» в литературе. О чем она? О смысле... Кому она может быть интересна?.. Тому, кто участвовал в разработке больших систем, в ком есть неудовлетворенность, кто понимает, что не все делалось правильно... А как правильно?..

Академик А.П. Ершов, 1983 г.

В рассуждениях о том, как надо развиваться программированию, нам, к сожалению, приходится начинать с того, что существующая практика программирования совершенно не адекватна тем задачам, которые стоят перед этим новым видом человеческой деятельности. Охарактеризуем вкратце как сегодняшнюю практику программирования, так и задачи в расчете на 15 – 20-летнюю перспективу.

Излагаемое является результатом размышлений, вызванных личной неудовлетворенностью предлагаемыми решениями по широкому кругу вопросов - не только проектирования и программирования, но и сопровождения, реюза, совместной работы многих программ, просто использования программ, их пакетов, системы в целом.

Алексей Седов, 1997

Уважаемые Господа! Хочу предложить Вам (в сокращении) фрагмент моей старой статьи по ряду проблем построения программ. Статья была написана по другому поводу, чем предлагавшиеся мною ранее материалы, но, надеюсь, она немного прояснит то, что я понимаю под введенными ранее понятиями. Полагаю, ее чтение не оставит сомнений в том, что я не считаю, будто люди мыслят многомерными матрицами. В настоящий момент мне трудно предложить какой-либо иной способ ответить на возникавшие здесь вопросы, чем пересылка в конференцию фрагмента моего архива.

Мне бы хотелось рассмотреть два примера демонстрирующие несколько иной взгляд на применение технологии ООП. Первый пример иллюстрирует процесс разработки графического интерфейса, второй описывает идеологию построения систем хранения информации.

В. А. Успенский (Theoretical Computer Science 130,1994, pp.273-238.), перевод А. Иличевского
источник: http://metaphysis.narod.ru/things/tavrov/alexandrian/a_p.htm

1. Постановка задачи

Теорема о неполноте, точную формулировку которой мы дадим в конце этой главки, а быть может позже (в случае возникновения к этому интереса у читателя) и доказательство, утверждает примерно следующее: при определенных условиях в любом языке существуют истинные, но недоказуемые утверждения.