Не только нужно, но просто жизненно необходимо!

Это вопросы основополагающие, фундаментальные, если хотите!

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

Прошу Вас не монополизировать право суждения о том, что нужно и не нужно школьникам - будущим гражданам родной страны и Мира!

Также повторяю конкретные вопросы для Вас:

• обоснуйте неоправданное, на мой взгляд, сужение предмета информатики в Вашем учебнике;
• ответьте, кто и в каком предмете будет учить будущих членов информационного общества типовым информационным задачам (как приведённый мною пример - покупка в интернет-магазине);
• хотя бы конспективно приведите пример рекламируемой Вами безошибочной технологии разработки программ;
• расскажите о том, как данная технология помогает решать реальные задачи (создание надёжных систем 24x7 из ненадёжных элементов).