Вы здесь

Главная

Методы теоретического и системного программирования

Связанные издания:

Case-технология и возможности современных case-средств в поддержке этапов проектирования программного продукта
VLIW-машины: развитие архитектуры и принципов построения программного обеспечения
Автоматический синтез программ с циклами и рекурсиями
Алгебраическое исчисление для алгоритмов над графами и алгоритмов сортировки
Базовые процедуры для ассоциативных параллельных процессоров с вертикальной обработкой
Задачи прикладной информатики и системного программирования в области информатизации образования
Имитационная система функционального проектирования и моделирования СТАРТ С90
Использование языка РАПИРА при разработке экспериментальных систем
К проблеме синтеза информационных объектов
Неформальная спецификация и реализация системы управления данными повышенной надежности
Неформальная спецификация и реализация системы упрравления данными повышенной надежности
Об объектно-ориентированных прикладных системах и программах и обеспечении их мобильности
Применение методов искусственного интеллекта в педагогических программных средствах
Программирование в ограничениях на Флэнге
Программирование в ограничениях: обзор и классификация подходов и методов
Программно-методический средства подготовки русскоязычных текстов при разработке программных систем
Рекурсивные схемы: преобразования и отношения эквивалентности
Семантический анализ интервальных конгруэнтностей
Система создания и поддержки пользовательского интерфейса прикладных программных систем
Сравнительный анализ некоторых моделей надежности программного обееспечения
Сравнительный анализ некоторых моделей надежности программного обеспечения
Феномен Форта
Формализация семантики исполнения языка Модула-2
Формализация семантики исполнения языка Модула-2
Формализация семантики исполнения языка Модула-2
Функциональный подход к разработке программ с развитым параллелизмом
Язык спецификаций систем и свойств взаимодействую их процессов реального времени
Язык спецификаций систем и свойств взаимодействую их процессов реального времени