Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Проблеми програмування, 2003
→
Перегляд Проблеми програмування, 2003 за темою

Перегляд Проблеми програмування, 2003 за темою "Теоретические и методологические основы программирования"

Результати 1-11 з 11

Realistic correct systems implementation

Goerigk, Wolfgang; Langmaack, Hans (2003)

Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

Goerigk, Wolfgang; Langmaack, Hans (2003)

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 ...
Аксиоматические модели и методы проектирования языковых трансляторов

Парасюк, И.Н.; Провотар, А.И.; Кондратенко, В.А. (2003)

Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

Дорошенко, А.Е.; Цейтлин, Г.Е. (2003)

Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены ...
Композиційні логіки номінативних даних

Нікітченко, М.С.; Шкільняк, С.С. (2003)

Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних ...
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

Нікітченко, М.С.; Шкільняк, С.С. (2003)

Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості ...
О возможных основаниях немонотонного дедуктивного синтеза программ

Приходько, П.П. (2003)

Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании ...
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел

Крывый, С.Л.; Невмержицкий, А.В. (2003)

Рассматривается проблема определения несовместности нелинейных уравнений вида x m+ y m = z m в множестве положительных натуральных чисел при условии простоты чисел m и z. Общее решение данного уравнения, имеющего название ...
Процесологічні середовища моделювання

Редько, И.В. (2003)

Розвиваються інтенсіональні засади моделювання. Дається розгорнута експлікація понять дескриптивного процесу. Досліджуються процесологічні аспекти моделювання предметних областей. Вводяться поняття часткової функції, акції ...
Узагальнена композиційна модель символьної обробки

Винник, В.Ю. (2003)

У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що ...
Формальные модели компонентного программирования

Грищенко, В.Н. (2003)

Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные ...

Результати 1-11 з 11

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Розділ

Перегляд Проблеми програмування, 2003 за темою "Теоретические и методологические основы программирования"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2003 за темою "Теоретические и методологические основы программирования"

Пошук

Перегляд

Вся бібліотека

Розділ

Мій обліковий запис