Buchumschlag

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we want to ask: Can informaticians righteously be accounted for incorr...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
Hauptverfasser:	Goerigk, Wolfgang, Langmaack, Hans
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2003
Schlagworte:	Теоретические и методологические основы программирования
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1304
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:	Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation / Wolfgang Goerigk, Hans Langmaack // Проблеми програмування. — 2003. — N 2. — С. 3—27. — Бібліогр.: 37 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, W., et al.
Veröffentlicht: (2015)

Теоретико-категорная характеризация развертки временных сетей Петри
von: Дубцов, Р.С.
Veröffentlicht: (2004)

Концепція діалогових обчислень та деякі проблеми автоматизації програмування
von: Петрушенко, А.М., et al.
Veröffentlicht: (2004)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
von: Крывый, С.Л., et al.
Veröffentlicht: (2003)

Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
von: Панченко, Т.В.
Veröffentlicht: (2004)

Формальные модели компонентного программирования
von: Грищенко, В.Н.
Veröffentlicht: (2003)

Узагальнена композиційна модель символьної обробки
von: Винник, В.Ю.
Veröffentlicht: (2003)

Процесологічні середовища моделювання
von: Редько, И.В.
Veröffentlicht: (2003)

Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
von: Грибовская, Н.С.
Veröffentlicht: (2004)

Коалгебраическое исследование бисимуляционных паралельных процессов
von: Антонцева, М.Ф.
Veröffentlicht: (2004)

Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Композиційно-номінативні логіки предикатів над даними з неповною інформацією
von: Нікітченко, М.С., et al.
Veröffentlicht: (2004)

Композиційні логіки номінативних даних
von: Нікітченко, М.С., et al.
Veröffentlicht: (2003)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Экспликативный базис интеграционных сред
von: Редько, И.В.
Veröffentlicht: (2004)

Аксиоматические модели и методы проектирования языковых трансляторов
von: Парасюк, И.Н., et al.
Veröffentlicht: (2003)

Об одной геометрической модели временных параллельных процессов
von: Ошевская, Е.С,
Veröffentlicht: (2004)

О возможных основаниях немонотонного дедуктивного синтеза программ
von: Приходько, П.П.
Veröffentlicht: (2003)

Инсерционное моделирование
von: Летичевский, А.Ад.
Veröffentlicht: (2012)

The Conception and Application of PFL: a Process Functional Programming Language
von: Kollar, Jan
Veröffentlicht: (2004)

Система символьных вычислений для программирования динамических приложений
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Теоретические проблемы устойчивости броуновских дисперсных систем
von: Мищук, Н.А.
Veröffentlicht: (2011)

Расчет фильтрования суспензий через многослойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2008)

Влияние УФ-излучения на кинетику разложения катионных ПАВ озоном в водной среде
von: Гончарук, В.В., et al.
Veröffentlicht: (2007)

Инженерный расчет фильтрования суспензии через двухслойную загрузку при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2011)

Моделирование погружных фотореакторов с оптимальными параметрами УФ-излучения для водоочистки
von: Самсони-Тодоров, А.О., et al.
Veröffentlicht: (2013)

Динамика сорбции серной кислоты слабоосновными полиакриловыми анионитами, синтезированными на основе полиаминов
von: Мамченко, А.В., et al.
Veröffentlicht: (2008)

Влияние полиакриламида на поверхностные свойства растворов хлоридов алкилпиридиния при их извлечении
von: Стрельцова, Е.А., et al.
Veröffentlicht: (2008)

Фильтрование суспензии с убывающей скоростью при линейной кинетике массообмена
von: Поляков, В.Л.
Veröffentlicht: (2012)

Термодинамические характеристики воды, слабо связанной с поверхностью слоистых силикатов
von: Тарасевич, Ю.И.
Veröffentlicht: (2013)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

When a complication is not justified
von: I. O. Bulkin
Veröffentlicht: (2016)

Trusted computing with addition machines. II
von: A. V. Anisimov, et al.
Veröffentlicht: (2018)

Trusted computing with addition machines. I
von: A. V. Anisimov, et al.
Veröffentlicht: (2017)

He Was Able
von: A. Tkachenko
Veröffentlicht: (2017)

Межмодельный подход к разработке естественно-языкового интерфейса с использованием методов нечеткой логики
von: Теленик, С.Ф., et al.
Veröffentlicht: (2004)

Технология анализа и синтеза предложений естественного языка в интегрированном интеллектуальном интерфейсе системы ИРМ
von: Булавенко, О.Н., et al.
Veröffentlicht: (2004)

Моделі агрегатування об'єктів навчального контенту на базі систем інформаційних технологій
von: Манако, А.Ф.
Veröffentlicht: (2004)

Застосування принципів ТЕІ до кодування текстових корпусних данних
von: Демська-Кульчицька, О.
Veröffentlicht: (2004)