Тут как сказать. Дело в том, что это итеративный процесс: никто не переписывает программу с нуля, если она не прошла верификацию с первого раза. И на тот код, что порождают условные "индусы", подгоняя имеющийся код под требования средств формальной верификации, слабонервным лучше не смотреть.
Особенно если игнорировать недоумение исполнителя.
И летает на этом "человек сидящий верхом на турбине" с компутером в руках.
Нещитово.
Человек сидящий верхом на турбине, но лишенный компьютера, жалок.
Он на бесплатном пилоне сидит. Какой с него спрос?
Человек, сидящий почти на fadecе уже не жалок
Ну.... если то на чем он сидит по вашему почти на FADEC то..... Во первых FADEC это концепция, а то что стоит на двигателе это ЕЕС и он достаточно далеко от этого места.
Это была шутка
Немного не в тему, но вот программисты прямо сейчас успешно спасают Хаббл:
"Программисты могут" тогда и только тогда, когда паяльники сделали гибко перестраиваемую архитектуру.Немного не в тему, но вот программисты прямо сейчас успешно спасают Хаббл:
"Команда «Хаббла» продолжает подключать научные инструменты космического телескопа после его перехода в безопасный режим в конце октября. К научным операциям вернулся прибор Cosmic Origins Spectrograph. Таким образом, уже три из четырех активных инструментов «Хаббла» снова собирают научные данные.
А инженеры тем временем продолжают разработку и тестирование изменений в программном обеспечении для приборов. Эти изменения позволят им проводить научные операции, даже если компьютер обнаружит снова потерянные сообщения синхронизации – именно из-за этого 25 октября произошел автоматический перевод в безопасный режим и прекращение сбора данных. "
Так что да, программисты могут
#ау
Кнопку "reset" прикрутить, и все ок будет!
То есть, одно поколение программистов внезапно выяснило, что проверка на потерянные сообщения, сделанное другими программистами, вредит.
Как программу напишем
Забудьте про Марс, Венера ждёт! ДОР сказал, что нужно к 2030 году туда слетать.
Нет конечно, но это уже совсем офтоп
