Приемы построения программ
Методы построения программы с одновременным доказательством ее правильности, сведения ее к более простым задачам. Спецификация программ, логические средства. Предусловие и постусловие, построение инварианта. Выделение последовательности из массива.
Подобные документы
История развития теории сжатия информации. Сущность и виды архиваторов - программ, позволяющих уменьшить размер файла для экономии места на диске. Архиваторы для MS DOS и Windows 9x. Программы для обслуживания архивных файлов. Режимы программ архивации.
реферат, добавлен 10.12.2012Понятия архивации и сжатия файлов с целью экономии памяти. Программы, выполняющие сжатие и восстановление сжатых файлов в первоначальном виде. Основные преимущества программ-упаковщиков. Показатели степени сжатия файлов. Оценка функциональности программ.
лабораторная работа, добавлен 28.07.2017Исследование особенностей визуального программирования. Изучение практических возможностей языка программирования Delphi 7. Составление простых и сложных программ. Способы исправления массива, изменения данных. Принципы использования справочной поддержки.
отчет по практике, добавлен 23.12.2014Технологическая цепочка решения задач на компьютере. Характеристика построения математической модели. Особенность выбора метода проектирования алгоритма. Отладка и тестирование программы. Пример моделирования движения тела, брошенного вертикально вверх.
контрольная работа, добавлен 09.12.2014Изучение основных возможностей и базовых понятий языка Пролог и Лисп. Характеристика принципов построения программ на языке функционального и логического программирования. Реализация определенной структуры данных и рекурсивной программы вычисления.
лабораторная работа, добавлен 07.02.2013Системы массового обслуживания и их применение при моделировании средств вычислительной техники. Основные принципы построения многоцелевой системы имитационного моделирования. Правила и приемы создания программ на языке программирования GPSS World.
учебное пособие, добавлен 14.09.2017Пакеты прикладных программ: характеристика и классификация. Решение экономических задач с использованием MS OFFICE. Организация табличного интерфейса и электронной обработки массива данных экономической задачи. Автоматизация расчетов для ее решения.
курсовая работа, добавлен 17.12.2012Модели параллельного программирования. Методика отладки DVM-программ. Разработка и внедрение в отладчик системы DVM возможностей управления размером трассировки. Реализация уровня подробности контрольных сумм. Сохранение элементов массива в заданный файл.
дипломная работа, добавлен 17.10.2013Организация сборов статических данных при контроле технологических процессов производства и методах обработки с использованием компьютерных программ. Экспертные системы: средства и методы защиты информации. Обзор современных операционных систем.
отчет по практике, добавлен 15.01.2014Понятие VBA как языка программирования, встроенный во множество программ, от приложений Microsoft Office, Microsoft Project, Visio и AutoCad до многочисленных специализированных приложений. Процесс объявления массива с использованием оператора Dim.
курсовая работа, добавлен 12.06.2017Характеристика программных средств: операционной системы, систем программирования. Описание программы для построения программ с использованием "Стека": ее компоненты, интерфейс, процедуры и функции, вызов и загрузка. Руководство пользователя к программе.
курсовая работа, добавлен 26.01.2017Руткит как программа или набор программ для скрытия следов присутствия злоумышленника или вредоносной программы в системе. Программы для поиска и удаления клавиатурных шпионов. Использование RootKit-технологий разработчиками вирусов, троянских программ.
дипломная работа, добавлен 21.01.2015Дефрагментация диска с помощью бесплатной программы Defraggler. Оптимизация всех настроек операционной системы. Очистка реестра, проверка работоспособности программ и правильности удаления файлов. Утилита Tracks Eraser Pro для работы с памятью браузеров.
презентация, добавлен 20.05.2014Сельскохозяйственное производство как объект компьютеризации. Программные средства для решения задач, перспективы компьютеризации. Предназначение внешней памяти компьютера для долговременного хранения программ и данных. Условия построения диаграмм.
контрольная работа, добавлен 23.09.2014Распознавание максимально большого количества существующих вредоносных программ при помощи антивирусов. Необходимость регулярного и частого обновления антивирусных программ. Корректное удаление вирусного кода и последствий заражения файлов и программ.
реферат, добавлен 17.11.2014Подробная характеристика пакетов прикладных программ, используемых в экономической деятельности. Классификация пакетов прикладных программ по их функциональному назначению. Программы автоматизации бухгалтерского учёта на примере "1С: Предприятие".
курсовая работа, добавлен 21.10.2017Процесс построения диаграмм классов UML по коду на языке Scala. Задачи обслуживания, улучшения или замены существующих программных систем. Использование визуальных представлений кода при помощи семантики и нотаций UML (Unified Modeling Language).
дипломная работа, добавлен 27.08.2016Разработка алгоритмов и программ. Операциональный и структурный подход. Новые методологии разработки программ. Жизненный цикл программного обеспечения. Декларативный подход в разработке компьютерных программ. Процедурно-ориентированное программирование.
доклад, добавлен 19.02.2014Краткий обзор антивирусных программ. Компоненты защиты компьютера. Основные требования к антивирусным программам. Защита домашнего и рабочего ПК от вирусов. Характеристика антивирусных программ. Антивирусные программы, их классификация и принципы работы.
реферат, добавлен 11.01.2013Разработка программы, которая выводит новый прейскурант при изменении стоимости товара. Разработка программы для вывода заданного натурального числа прописью. Разработка блок-схем, листинга программ, а также описание их тестирования и общего вида.
курсовая работа, добавлен 25.06.2017Разработка и применение компьютерных технологий в обучении. Обзор средств разработки обучающих программ и программ проверки знаний. Основы создания компьютерных тестов. Пакет программ SunRav. Средства реализации модуля. Структура электронного учебника.
дипломная работа, добавлен 13.05.2009Определение и классификация компьютерных вирусов. Пути проникновения вирусов в компьютер и механизм распределения вирусных программ. Признаки заражения компьютера вирусом. Методы защиты от компьютерных вирусов. Анализ современных антивирусных программ.
реферат, добавлен 24.09.2008Базовые понятия системного анализа. Формирование языка описания системы. Инструменты прикладного системного анализа. Построение модели системы. Основные задачи пакета прикладных программ "АlmaGRID". Функциональные возможности и особенности программы.
реферат, добавлен 17.12.2012Основные сведения о программе T-FLEX CAD 2D, ее технологии и инструменты. Параметрическое проектирование и создание 2D-чертежей и конструкторской документации. Принципы построения маршрутных и операционных карт. Построение операционной карты детали.
отчет по практике, добавлен 15.04.2015Способы, параметры и методы сжатия файлов. Виды архивов и приемы работы с программами-архиваторами. Применение WinRAR, просмотр содержимого, создание и распаковка архива. Поддержка Drag-and-Drop. Сравнительная характеристика программ-архиваторов.
дипломная работа, добавлен 25.08.2009