Без заголовка
2. В курс вычислительного мышления (операции с моделями там!) уходят: частное описание (view), метод описания (viewpoint), модель, вид модели -- мета-модель, множественность описаний: мультимодель, мегамодель, прожекторный и синтетический подходы к описанию. Как ни удивительно, 42010 оказывается не столько системным стандартом, сколько стандартом информатики (опирающимся на онтологику в части соотношения моделей и мира). С этим нужно отдельно ещё поразбираться, в этом месте пока всё мутно. Вообще, курс вычислительного мышления требует к себе повышенного внимания, ибо в нём в том числе и вся тематика AI (алгоритмы искусственного интеллекта, в том числе работа с коннективистскими моделями).
Не надо под моделями понимать только формальные модели. Это с формальными моделями вычислительное, а с моделями вообще — нет.
>-- системы в обеспечении [было "обеспечивающая система", но тот же тип преобразования, что в окружении ***тут нужно бы тоже назвать покороче, но непонятно, как]
Это, считаю, зря, я бы оставила "обеспечивающая".
Пункт 4 прекрасен примерно весь.
ЖЦ надо на что-то менять, считаю. Потому что он же не жизненный и не цикл.
Про 7 молчу молча. С лицом лица.