Приемы построения программ
Методы построения программы с одновременным доказательством ее правильности, сведения ее к более простым задачам. Спецификация программ, логические средства. Предусловие и постусловие, построение инварианта. Выделение последовательности из массива.
Подобные документы
Обоснование актуальности вопроса построения системы управления взаимодействия с клиентами (client relationship management system). Изучение различных методик выбора программного средства для построения CRM-системы в телекоммуникационной компании.
статья, добавлен 24.05.2017Отладка как процесс нахождения местоположения ошибок в программе и их исправление. Листинг исходного кода, подробная спецификация программы. Отслеживание обращений к программам. Средства и методы отладки. Категории ошибок в программном обеспечении.
лекция, добавлен 02.04.2019Получение более компактного выходного потока информационных единиц - цель процесса сжатия данных. Алгоритм построения бинарного дерева Хаффмана. Необходимость работы с накопительными счетчиками частот - недостаток метода арифметического кодирования.
статья, добавлен 25.07.2018Определение сущности антивирусных программ, основной задачей которых является от вредоносных программ. Ознакомление с основными методами защиты персонального компьютера: сигнатурными и эвристическими. Характеристика и анализ режимов работы антивирусов.
реферат, добавлен 18.08.2014Рассмотрение алгоритма построения самоорганизующейся нейронной сети, основанного на применении метода глобальной оптимизации. Сравнение результатов построения моделей на наборах данных, созданных при помощи описанного алгоритма и средства TensorFlow.
статья, добавлен 10.12.2024Проблемы, связанные с использованием разных языков программирования для написания программ. Транслятор с языка Паскаль на язык Си, его функции и переменные. Кодирование алгоритма программы транслятора на языке Си++. Распечатка тестов и результатов.
курсовая работа, добавлен 23.06.2011Основные факторы, определяющие надежность программ. Методы контроля состояния и исполнения. Методы обеспечения надежности комплексов программ при сопровождении. Обязательная и добровольная сертификация для обеспечения надежности программных средств.
контрольная работа, добавлен 15.06.2011Параллельные программы и предсказание их выполнения. Модели параллельного программирования. Операция копирования массивов COPY. Конвейерная обработка спецификации ACROSS. Реализация конвейера в системе DVM. Спецификация ACROSS для параллельного цикла.
дипломная работа, добавлен 21.11.2010Изучение синтаксиса и семантики программ. Использование языка Pascal для описания процедуры predlast(f), возвращающей предпоследний элемент файла f типа fr. Описание рекурсивной функции sum без параметров для нахождения суммы элементов файла f.
лабораторная работа, добавлен 23.09.2024Векторные поля, определение и основные характеристики. Правила и порядок построения векторных полей. Построение графиков трехмерных векторных полей. Методы векторного анализа в MathCAD. Исследование и разработка программы вычисления заданной функции.
курсовая работа, добавлен 20.12.2014Особенности представления данных для разработки алгоритма программы. Способы ввода информации об неориентированных графах. Аномалии исходных данных и реакция программы на них. Краткие сведения о временной сложности, демонстрация ее работоспособности.
курсовая работа, добавлен 28.09.2013Составление локальной и сетевой программы вычисления стоимости акций, особенности файловой системы и построения алгоритма решения задач. Характеристика языков программирования JavaScript и Borland Delphi. Расчеты с помощью табличного оператора Excel.
курсовая работа, добавлен 21.01.2015Создание трехмерной многополигональной модели в программе 3D–моделирования, с последующем экспортом ее в OBJ–файл. Особенности создания массива вершин непосредственно в блоке отрисовки программы. Импортирование сложных много полигональных моделей.
статья, добавлен 12.04.2019Принципы составления программ, решающих квадратные, биквадратные и иные уравнения. Проектирование алгоритмов вычисления факториалов. Разработка приложения для определения суммы различных чисел. Построение блок-схем данных программ, графики функций.
лабораторная работа, добавлен 07.05.2017Построение абстракций с помощью процедур. Элементы программирования: выражения, имена, вычисление комбинаций. Линейная рекрусия и интерация. Последовательности как стандартные интерфейсы. Метациклический интерпретатор. Проектирование регистровых машин.
учебное пособие, добавлен 12.02.2015Антивирусная программа как многофункциональный продукт, сочетающий в себе как превентивные, профилактические средства, так и средства лечения вирусов и восстановления данных. Характеристика антивирусных программ (Dr. Web, NOD32, Антивирус Касперского).
доклад, добавлен 22.11.2011Развитие машинного перевода. Периодизация и классификация систем МП. Обзор программ-переводчиков: QDictonary, Babylon, ABBYY Lingvo, TranslateІt, Языковые инструменты Google. Назначение программ, системные требования, интеграция с офисным приложением.
реферат, добавлен 26.11.2022Проектирование программы построения графиков восьми различных функций. Листинг реализации нажатия кнопки "Линейная функция". Описание пользовательских структур данных. Создание библиотеки для работы с графиками. Скриншоты программы, ее тестирование.
курсовая работа, добавлен 08.08.2013Использование программы Adobe Photoshop для обработки, изменения, сохранения графических объектов. Сканирование, импорт и экспорт изображений. Выделение областей, использование контуров. Рисование и редактирование. Выбор цветов. Преобразование документов.
курсовая работа, добавлен 18.10.2013Понятие и функциональные особенности антивирусных программ, обеспечивающих защиту от вирусов, троянских программ, руткитов, adware. Оценка преимуществ и недостатков использования антивирусов Dr. Web, Касперский и Avast!, их структура и основные элементы.
презентация, добавлен 04.05.2017- 121. Применение современных информационных технологий в области строительства: обзор сметных программ
Функциональные возможности программ составления смет и удобство интерфейса. Реализованные информационно-поисковые функции, позволяющие получать сведения о значениях реквизитов и отказаться от ручного ввода текстовой информации на входе и при управлении.
статья, добавлен 14.03.2019 Изучение процесса пузырьковой сортировки, позволяющего упорядочить данные в возрастающем или убывающем порядке. Характеристика использования ключевого слова template для построения функций и классов. Построение параметризованного ограниченного массива.
реферат, добавлен 01.02.2011Обзор основных понятий, используемых при изучении пакетов прикладных программ. Классификация пакетов прикладных программ. Исследование особенностей их применения в экономической деятельности. Характеристика программ автоматизации бухгалтерского учёта.
курсовая работа, добавлен 08.01.2014- 124. Компьютерная графика
Пиксель как основа растрового представления графики. Программы векторной графики, форматы файлов. Основной принцип построения графических объектов. Применение и виды фракталов, виды программ для 3D графики. Интеграция детерминированных фракталов и хаос.
курсовая работа, добавлен 13.12.2009 Описание компьютерных вирусов как специальных, вредоносных программ, их разновидности и функционирование. Особенности опасных и неопасных вирусов. Определение заражаемых объектов файловыми и загрузочными вирусами. Использование антивирусных программ.
курсовая работа, добавлен 30.01.2013