Формальные методы разработки программного обеспечения
Построение абстрактных машин и определения их характеристик с использованием структур B метода. Проблема детализации и завершимости моделей. Программное обеспечение, с помощью которого создаются абстрактные машины в нотации Abstract Machine Notation.
Подобные документы
Система поддержки процесса сопровождения программного обеспечения. Проблемы, возникающие в процессе разработки требований к нему. Основные этапы процесса проектирования ПО, их выходные результаты. Модель процесса тестирования исполняемой программы.
контрольная работа, добавлен 07.01.2013Основные методы и нотации, применяемые при разработке сложного программного обеспечения. Методы проектирования программных систем с использованием структурного, объектного и компонентного подходов. Принципы проектирования пользовательских интерфейсов.
учебное пособие, добавлен 15.03.2014Применение системы программирования Visual C++ как один из полных и совершенных продуктов, предназначенных для разработки программного обеспечения. Проектирование, реализация и тестирование программного обеспечения. Реализация механизма смены курсора.
курсовая работа, добавлен 02.06.2012Реализация надежного программного обеспечения задач технической диагностики информационно-управляющих систем. Исследование временных отрезков между системными ошибками. Рассмотрение классификации современных моделей надежности программного обеспечения.
статья, добавлен 29.05.2017Совместное использование метода локальной оптимизации и алгоритма последовательного анализа вариантов для улучшения качества процесса разработки программного обеспечения. Методы усовершенствования процессов жизненного цикла автоматизированных систем.
статья, добавлен 04.02.2017Выбор архитектуры программного обеспечения. Инструментарий разработки программного обеспечения. Обеспечение информационной безопасности при эксплуатации экономических информационных систем. Экономическая эффективность от внедрения программного продукта.
дипломная работа, добавлен 10.07.2017Обзор базовой функциональности программного обеспечения, его специфические особенности. Характеристика программного обеспечения для построения распределенных и надежных веб-систем. Исследование основных критериев для сравнения программного обеспечения.
статья, добавлен 11.01.2018Рассмотрение существующих моделей разработки программного обеспечения. Представление схем, требований, особенностей методологии, базовых концепций, преимуществ и условий применения таких моделей, как Waterfall, V-Model, Rad Model, Spiral, Kanban, Scrum.
презентация, добавлен 16.02.2018Сущность информационного обеспечения. Построение схем информационных потоков, разработка баз данных. Техническое, математическое и программное, правовое обеспечение этапов проектирования информационной системы. Технология программного обеспечения.
презентация, добавлен 14.10.2013Главные критерии, использующиеся при оценке качества программного продукта. Стандарты качества программного обеспечения. Определение требований к внешним метрикам. Взгляды участников программного проекта на важность достижения тех или иных характеристик.
контрольная работа, добавлен 13.10.2013Схемы разработки программного обеспечения. Понятие проекта - пакет Quartus II. Ввод описания проекта в среде Quartus II. Создание файла верхнего уровня проекта. Описание на языке AHDL. Компилятор, описание с использованием мастера мегафункций MegaWizard.
курсовая работа, добавлен 03.04.2011Особенности информационных систем. Методологии разработки информационных систем в отечественной и зарубежной литературе. Технология разработки информационных систем. Государственные и международные стандарты в области разработки программного обеспечения.
курсовая работа, добавлен 09.02.2023Общая характеристика организационной структуры ОАО "Иркутская электросетевая компания". Построение локальной компьютерной сети организации и виды программного обеспечения её автоматизированных систем. Разработка руководства пользователя "ЛиК Студент".
отчет по практике, добавлен 22.03.2013- 64. Конфигурационное управление программного обеспечения: метрики и модель оценки окупаемости инвестиций
Конфигурационное управление программного обеспечения как важная составляющая процесса разработки программного обеспечения (ПО). Разработка модели, с помощью которой показан возврат от инвестиций в конфигурационное управление ПО с затратами и выгодами.
статья, добавлен 05.06.2018 Метод поиска координат приемной гидроакустической системы, основанный на методе наименьших квадратов. Моделирование поиска координат в системе Matlab с помощью разработанного программного обеспечения. В качестве примера используется дальномерная система.
статья, добавлен 29.07.2018Понятие программного обеспечения, его сущность, виды и классификации. Создание математической модели абстрактной машины Аланом Тьюрингом. Группировка ПО по способам распространения и использования программ. Архитектура и функции операционных систем.
реферат, добавлен 12.05.2015Построение программного обеспечения вычислительных и информационных комплексов, основанных на идеологии открытых систем. Задачи переносимости программного обеспечения на платформы различных производителей. Проблемы взаимозаменяемости узлов и устройств.
статья, добавлен 26.05.2017Программное обеспечение информационной базы по автоматизации сбора, обработки и передачи информации "Учебного отдела". Создания программного обеспечения по совершенствованию информационной базы "Трубчевского профессионально-педагогического колледжа".
курсовая работа, добавлен 30.09.2013Анализ жизненного цикла программного обеспечения. Описание этапов технологии разработки программного обеспечения. Определение понятий "действие", "процесс" и "стадия". Анализ наборов технологических процессов и видов формирования технологических стадий.
презентация, добавлен 06.09.2017Ознакомление с содержанием стандарта "Информационная технология – процессы жизненного цикла программного обеспечения". Исследование сущности детализации, техники и метрики проведения работ, как вопроса инженерии. Анализ структуры стандартных процессов.
презентация, добавлен 09.09.2017Проблема нелегального использования программного обеспечения. Программы побайтного копирования данных с накопителей. Виртуальная защита. Рассмотрен инструментарий управления Windows, системный анализ его классов и свойств. Защита программного обеспечения.
статья, добавлен 30.01.2019Использование унифицированной структуры программного представления конечного автомата. Моделирование поведения программы на стадиях разработки. Применение автоматической генерации кода по формальному описанию алгоритма. Нотация диаграмм состояний UML.
статья, добавлен 10.03.2018Файловая структура операционной системы. Инструментарий технологии программирования. Прикладное и системное программное обеспечение. Рыночная классификация программного обеспечения. Системы управления базами данных, автоматизированного проектирования.
реферат, добавлен 28.08.2013Классификация программного обеспечения по способу распространения, оплаты, ограничения в использовании. Развитие законодательства в сфере авторского права. Ответственность за нелегальное копирование и использование лицензионного программного обеспечения.
разработка урока, добавлен 25.09.2013Проектирование программного обеспечения. Описание подхода к проектированию. Описание языка моделирования UML. Аналитическая модель программного обеспечения. Диаграмма вариантов использования. Разработка программного обеспечения, спецификации программы.
курсовая работа, добавлен 23.10.2013