Realistic correct systems implementation

• Дата: 2003
• Автори: Goerigk, Wolfgang, Langmaack, Hans
• Формат: Стаття
• Мова: Англійська
• Опубліковано: Інститут програмних систем НАН України 2003
• Теми: Теоретические и методологические основы программирования
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/1062
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ.

Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів Представленная первая часть статьи и последующая ее вторая часть посвящены методам корректного построения и
 функционирования больших компьютерных систем. В центре внимания – проблема обоснования, понимаемая в смысле формулирования математической модели информационных потоков в компьютерной системе и построения управляющего программного обеспечения, контролирующего правильность поведения, отсутствие внутренних ошибок и устойчивость по отношению к внешним атакам как логические следствия, получаемые из модели. В первой части статьи изложена математическая теория доказательного построения компиляторов.