Realistic correct systems implementation
Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови...
Збережено в:
| Дата: | 2003 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
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 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862606266114768896 |
|---|---|
| author | Goerigk, Wolfgang Langmaack, Hans |
| author_facet | Goerigk, Wolfgang Langmaack, Hans |
| citation_txt | Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. |
| collection | DSpace DC |
| description | Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів
Представленная первая часть статьи и последующая ее вторая часть посвящены методам корректного построения и
функционирования больших компьютерных систем. В центре внимания – проблема обоснования, понимаемая в смысле формулирования математической модели информационных потоков в компьютерной системе и построения управляющего программного обеспечения, контролирующего правильность поведения, отсутствие внутренних ошибок и устойчивость по отношению к внешним атакам как логические следствия, получаемые из модели. В первой части статьи изложена математическая теория доказательного построения компиляторов.
|
| first_indexed | 2025-11-28T12:01:05Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1062 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-11-28T12:01:05Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Goerigk, Wolfgang Langmaack, Hans 2008-07-16T13:12:09Z 2008-07-16T13:12:09Z 2003 Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1062 681.3.51 Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів Представленная первая часть статьи и последующая ее вторая часть посвящены методам корректного построения и
 функционирования больших компьютерных систем. В центре внимания – проблема обоснования, понимаемая в смысле формулирования математической модели информационных потоков в компьютерной системе и построения управляющего программного обеспечения, контролирующего правильность поведения, отсутствие внутренних ошибок и устойчивость по отношению к внешним атакам как логические следствия, получаемые из модели. В первой части статьи изложена математическая теория доказательного построения компиляторов. en Інститут програмних систем НАН України Теоретические и методологические основы программирования Realistic correct systems implementation Реалістична реалізація коректних систем Реалистическая реализация корректных систем Article published earlier |
| spellingShingle | Realistic correct systems implementation Goerigk, Wolfgang Langmaack, Hans Теоретические и методологические основы программирования |
| title | Realistic correct systems implementation |
| title_alt | Реалістична реалізація коректних систем Реалистическая реализация корректных систем |
| title_full | Realistic correct systems implementation |
| title_fullStr | Realistic correct systems implementation |
| title_full_unstemmed | Realistic correct systems implementation |
| title_short | Realistic correct systems implementation |
| title_sort | realistic correct systems implementation |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1062 |
| work_keys_str_mv | AT goerigkwolfgang realisticcorrectsystemsimplementation AT langmaackhans realisticcorrectsystemsimplementation AT goerigkwolfgang realístičnarealízacíâkorektnihsistem AT langmaackhans realístičnarealízacíâkorektnihsistem AT goerigkwolfgang realističeskaârealizaciâkorrektnyhsistem AT langmaackhans realističeskaârealizaciâkorrektnyhsistem |