Семантическая теория программ
Денотационная семантика как наиболее строгий и широко известный метод описания значения программ. Знакомство с основными особенностями определения семантики языка программирования. Общая характеристика методов доказательства правильности программ.
Подобные документы
Изучение существующих методов и программных средств оценки сложности программ. Определение метрик размера программ, сложности потоков управления и данных. Структура разрабатываемого программного средства, построение его алгоритмов и анализ эффективности.
дипломная работа, добавлен 21.12.2012Исследование основных методов написания простых программ. Изучение основных подходов к решению и анализу алгоритмов, выбору оптимальных методов решения олимпиадных задач по программированию. Составление программ обработки данных общего предназначения.
учебное пособие, добавлен 11.09.2014Последовательное изложение основ программирования на примере алгоритмического языка Паскаль. Обзор структурной и объектно-ориентированной технологии программирования, методов проектирования, отладки и тестирования программ, использования структур данных.
учебное пособие, добавлен 13.09.2017Проблемы, связанные с использованием разных языков программирования для написания программ. Транслятор с языка Паскаль на язык Си, его функции и переменные. Кодирование алгоритма программы транслятора на языке Си++. Распечатка тестов и результатов.
курсовая работа, добавлен 23.06.2011Характеристика технологии программирования как совокупности методов и средств разработки (написания) программ и порядка применения этих методов и средств. Структура объектно-ориентированного программирования, анализ его методов, вариантов использования.
курсовая работа, добавлен 13.11.2017Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018Анализ бухгалтерских программ. Этапы автоматизации бухгалтерского учета в России. Характеристика автоматизированных систем. Классификация бухгалтерских программ. Критерии выбора программы. Основные возможности программной системы "Парус-бухгалтерия".
реферат, добавлен 09.11.2013Понятие языка программирования как формальной знаковой системы, предназначенной для записи компьютерных программ, характерные черты основных видов. Главные парадигмы программирования. Сущность императивной, декларативной моделей. Описание компиляторов.
курсовая работа, добавлен 28.03.2013Анализ понятия "программное изделие", особенности разработки программ и программных комплексов. Перечень основных требований, предъявляемых к качеству программного изделия. Достоинства и недостатки восходящего и нисходящего проектирования программ.
эссе, добавлен 18.03.2014Разновидности компьютерных программ или вредоносного кода, отличительной особенностью которых является способность к размножению (саморепликация). Троянские программы и утилиты скрытого администрирования. Описание и преимущества антивирусных программ.
реферат, добавлен 16.03.2015Описание и характеристики программного языка Visual Basic, его преимущества и недостатки. Система программирования для прикладных программ Visual Basic for Applications, концепции и алфавит данного языка программирования. Применение макросов в MS Excel.
курсовая работа, добавлен 02.12.2011Краткий обзор рынка сметных программ. Характеристика и сравнение программ расчёта стоимости строительства "Гранд смета" и "Smeta.RU". Реализация возможности формирования и ведения разнообразной сметной документации. Описание структуры и интерфейса.
реферат, добавлен 12.11.2017Понятие языка программирования как формальной знаковой системы для записи компьютерных программ, его виды. Организация ввода-вывода данных в языках программирования. Сервисы компьютерной сети. Средства использования сетевых сервисов, сетевые службы.
реферат, добавлен 19.01.2017Рассмотрение особенностей развития глобальной сети. Знакомство с основными угрозами информационной безопасности. Сущность понятия "информационная война". Общая характеристика распространенных вредоносных программ: "Логические бомбы", "Троянский кoнь".
курсовая работа, добавлен 02.04.2013Формализованный язык, предназначенный для описания программ и алгоритмов решения задач на ЭВМ. Виды языков программирования. Появление первых универсальных языков. Принципы работы ассемблера, фортрана и сobolа. Дальнейшее развитие языков программирования.
доклад, добавлен 29.03.2010Базовые понятия системного анализа. Формирование языка описания системы. Инструменты прикладного системного анализа. Построение модели системы. Основные задачи пакета прикладных программ "АlmaGRID". Функциональные возможности и особенности программы.
реферат, добавлен 17.12.2012Рассмотрение основных компьютерных программ, используемых электриками в профессиональной деятельности, основные возможности и функции данных программ. Использование компьютерных программ для моделирования электрических схем различной сложности.
статья, добавлен 21.02.2018Характеристика специальной сетевой грамматики, используемой для вычисления скомпилированного запроса. Особенности функционально-логической архитектуры языка S-FLOGOL. Способы преобразования внутренних структурированных данных программы в сетевую форму.
статья, добавлен 15.08.2020Изучение возможностей пакетов прикладных программ по методам обработки данных и формам их представления, которые призваны обеспечить значительное снижение требований к уровню профессиональной подготовки пользователей в области программирования.
контрольная работа, добавлен 21.06.2009Рассмотрение языка программирования общего назначения. Характеристика системного программирования как области его применения. Исследование особенностей составления программ С++ для вычисления различного рода задач. Определение основных блок-схем.
задача, добавлен 21.04.2015Необходимость использования, сущность и классификация компьютерных вирусов. Особенности применения программ-детекторов, программы-доктора, программ-ревизоров, программ-фильтров. Техника безопасности перед началом и во время работы с программой.
курсовая работа, добавлен 21.03.2018Понятие программирования и виды языков программирования. История развития ассемблера, формирования машинного кода. Обзор языков ассемблера и акроассемблера. Примеры программ MASM, TASM и NASM. Сводные программные характеристики данных ассемблеров.
курсовая работа, добавлен 25.05.2014Главные элементы рабочего места. Состояние информационной безопасности предприятия. Разработка программного продукта и оформление документации к нему. Выбор языка программирования для описания алгоритмов и структур данных. Подготовка программ к отладке.
отчет по практике, добавлен 09.09.2016Информационная система как система, реализующая информационную модель предметной области: знакомство с основными типами, анализ сфер применения. Общая характеристика современных программ и средств, используемых при разработке информационных систем.
статья, добавлен 20.04.2019Операционная система как комплекс взаимосвязанных системных программ, которые загружаются при включении компьютера и постоянно находятся в памяти компьютера. Знакомство с основными особенностями операционной системы Mac OS, анализ целей создания.
реферат, добавлен 16.12.2014