Realistic correct systems implementation
Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови...
Збережено в:
| Видавець: | Інститут програмних систем НАН України |
|---|---|
| Дата: | 2003 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2003
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1062 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Цитувати: | Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1062 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-10622008-07-17T12:00:10Z Realistic correct systems implementation Goerigk, Wolfgang Langmaack, Hans Теоретические и методологические основы программирования Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів Представленная первая часть статьи и последующая ее вторая часть посвящены методам корректного построения и функционирования больших компьютерных систем. В центре внимания – проблема обоснования, понимаемая в смысле формулирования математической модели информационных потоков в компьютерной системе и построения управляющего программного обеспечения, контролирующего правильность поведения, отсутствие внутренних ошибок и устойчивость по отношению к внешним атакам как логические следствия, получаемые из модели. В первой части статьи изложена математическая теория доказательного построения компиляторов. 2003 Article Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1062 681.3.51 en Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования |
| spellingShingle |
Теоретические и методологические основы программирования Теоретические и методологические основы программирования Goerigk, Wolfgang Langmaack, Hans Realistic correct systems implementation |
| description |
Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів |
| format |
Article |
| author |
Goerigk, Wolfgang Langmaack, Hans |
| author_facet |
Goerigk, Wolfgang Langmaack, Hans |
| author_sort |
Goerigk, Wolfgang |
| title |
Realistic correct systems implementation |
| title_short |
Realistic correct systems implementation |
| title_full |
Realistic correct systems implementation |
| title_fullStr |
Realistic correct systems implementation |
| title_full_unstemmed |
Realistic correct systems implementation |
| title_sort |
realistic correct systems implementation |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2003 |
| topic_facet |
Теоретические и методологические основы программирования |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1062 |
| citation_txt |
Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. |
| work_keys_str_mv |
AT goerigkwolfgang realisticcorrectsystemsimplementation AT langmaackhans realisticcorrectsystemsimplementation |
| first_indexed |
2023-03-24T08:20:35Z |
| last_indexed |
2023-03-24T08:20:35Z |
| _version_ |
1796138853432557568 |