Realistic correct systems implementation
Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1062 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Realistic correct systems implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 1. — С. 3—30. — Бібліогр.: 64 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1062 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Realistic correct systems implementation |
| spellingShingle |
Realistic correct systems implementation Goerigk, Wolfgang Langmaack, Hans Теоретические и методологические основы программирования |
| 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 |
| author |
Goerigk, Wolfgang Langmaack, Hans |
| author_facet |
Goerigk, Wolfgang Langmaack, Hans |
| topic |
Теоретические и методологические основы программирования |
| topic_facet |
Теоретические и методологические основы программирования |
| publishDate |
2003 |
| language |
English |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Реалістична реалізація коректних систем Реалистическая реализация корректных систем |
| description |
Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання математичної моделі інформаційних потоків у комп'ютерній системі і побудови керуючого програмного забезпечення, що контролює слушність поводження, відсутність внутрішніх помилок і усталеність стосовно зовнішніх атак як логічні наслідки, що одержуються з моделі. У першій частині статті викладена математична теорія доказової побудови компіляторів
Представленная первая часть статьи и последующая ее вторая часть посвящены методам корректного построения и
функционирования больших компьютерных систем. В центре внимания – проблема обоснования, понимаемая в смысле формулирования математической модели информационных потоков в компьютерной системе и построения управляющего программного обеспечения, контролирующего правильность поведения, отсутствие внутренних ошибок и устойчивость по отношению к внешним атакам как логические следствия, получаемые из модели. В первой части статьи изложена математическая теория доказательного построения компиляторов.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.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 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 |
| first_indexed |
2025-11-28T12:01:05Z |
| last_indexed |
2025-11-28T12:01:05Z |
| _version_ |
1850853725790273536 |