Вы здесь

Главная

Интеллектуализация и качество программного обеспечения: Сборник научных трудов

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

Анализатор семантических свойств Модула-программ
Инструментальная система для изучения преобразования программ
Интеграция различных средств представления знаний в рамках объектно-ориентированной системы
Конструирование систем аналитических вычислений и преобразования программ
Конструирование уточняемых функций при разработке программ
Об анализе побочных эффектов операторов в оптимизирую ем генераторе кода проекта СОКРАТ
О документировании систем программирования в процессе их разработки
Оптимизация циклов в оптимизирую ем генераторе кода проекта СОКРАТ
Оптимизирую ие и реструктурирую ие преобразования программ: к проблеме создания каталога
Оптимизирую ие и реструктурирую ие преобразования программ: к проблеме создания каталога
Оптимизирую ий генератор кода в проекте СОКРАТ
О свойстве полноты механизма аннотаций директив
Подходы к елевой оптимизации
Реализация процедурно-модульного механизма в языке Рапира
Система Expert Builder, перспектива применения и развития
Специализатор программ: проектные решения
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Язык функционального программирования SISAL
Язык функционального программирования SISAL