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