"Марсокод, или Как создавалось ПО для марсохода Curiosity". цЫтаты: - "Мы считаем, что стиль написания кода (например, регламентирующий размещение фигурных скобок или форматирование оператора цикла) можно легко откорректировать в зависимости от предпочтений программиста, читающего код (или рецензента этого кода). Такая коррекция выполняется при помощи стандартных инструментов переформатирования кода."
- "Соответствие стандартам написания кода не должно быть радикальным: «все или ничего»."
- "При подготовке программного обеспечения для космических полетов в ЛРД применяется стандарт ISO-C99"
А вот с автоматическим доказательством алгоритмов, ИМХО, чего-то перемудрили.
https://devby.io/news/marsokod-ili-kak-sozdavalos-po-dlya-marsohoda-curiosity
Chum_A (29.12.2022 14:16, просмотров: 565)