Поюс ещё самое интересное - когнитивная эргономика.
Потому что труд человеческого разума очень дорог, и использовать его надо максимально эффективно!
Если на обероновских форумах и нет обсуждения вопросов верификации, то, вероятно, потому, что для многих участников использование контрактов и инвариантов считается само собой разумеющимся. Тем более, что лучше не делать ошибок, чем упорно их потом искать ;)
К сожалению, в оглавлении Вашего учебника этих вопросов также не видно...
В любом случае, в обучении акцент следует делать на правильное проектирование.
Эргономичный инструмент - такой инструмент, который не вводит излишней сложности и тем самым не провоцирует человека на ошибки.
Язык программирования следует понимать в более общем смысле, чем упомянутые Вами текстовые языки Алгол, Алгол-68, Ада, PL/I, JAVA.
Так, для проектирования электрических схем наиболее адекватным будет язык "схема электрическая принципиальная", для динамических систем - FBD (function block diagram), для отдельных специфических применений - текстовый псевдокод. При этом важна не только семантика языка, но и качество инструментального ПО (среды разработки). В совокупности они составляют Инструмент.
А представьте, нас интересует то же самое! ;)
Поюс ещё самое интересное - когнитивная эргономика.
Потому что труд человеческого разума очень дорог, и использовать его надо максимально эффективно!
Если на обероновских форумах и нет обсуждения вопросов верификации, то, вероятно, потому, что для многих участников использование контрактов и инвариантов считается само собой разумеющимся. Тем более, что лучше не делать ошибок, чем упорно их потом искать ;)
К сожалению, в оглавлении Вашего учебника этих вопросов также не видно...
В любом случае, в обучении акцент следует делать на правильное проектирование.
Предупреждение ошибок достигается:
- адекватной методологией;
- эргономичным инструментом;
- правильной организацией труда.
Эргономичный инструмент - такой инструмент, который не вводит излишней сложности и тем самым не провоцирует человека на ошибки.
Язык программирования следует понимать в более общем смысле, чем упомянутые Вами текстовые языки Алгол, Алгол-68, Ада, PL/I, JAVA.
Так, для проектирования электрических схем наиболее адекватным будет язык "схема электрическая принципиальная", для динамических систем - FBD (function block diagram), для отдельных специфических применений - текстовый псевдокод.
При этом важна не только семантика языка, но и качество инструментального ПО (среды разработки). В совокупности они составляют Инструмент.
Но, вообще-то, это другая, большая тема ;)