Нанодрама

Любовь - это компромисс слепоты, иллюзии и надежды.

Про ёжика в тумане, зазнайство, языки программирования и вериги

Вынесу из комментариев к закрытому посту. Уж больно хорошо получилось.

vit_r

... чтоб не появлялось багов, спроектированное должно прямо генериться в код. Плюс должны быть тесты и проверки моделей. Я знаю отдельные случаи, где так и делается. Но методики не прижились. Потому что людей, способных мыслить абстрактно, очень мало.
...
xtUML, но его применяют только в embedded. Там сложности с выходом на GUI. Да и компиляторы моделей стоят столько, что проще нанять десять индусов.

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

akuklev

Мы такое с sorhed'ом лет 7 назад изобрели и были феерически горды собой... пока в процессе имплементации не обнаружили книжку 1956 года ("Automatal models of multiagent systems", емнип), где это уже описано. :-)

Про подход при этом не знала ни университетская профессура, с которой я бурно обсуждал доказательства корректности, ни "старшие товарищи" из индустрии.

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

Да, ключевые слова от akuklev для желающих:

• von Neumann multiagent formalism
• Robin Milner
• C.A.R. Hoare
• Sally Shlaer и Stephen Mellor [сейчас идёт под маркой Executable UML (xtUML и xUML) - vit_r]
• A. J. H. Simons
• W. M. L. Holcombe
• Complete functional testing using object machines
• A theory of regression testing for behaviourally compatible object types