Формальные методы разработки программного обеспечения
Построение абстрактных машин и определения их характеристик с использованием структур B метода. Проблема детализации и завершимости моделей. Программное обеспечение, с помощью которого создаются абстрактные машины в нотации Abstract Machine Notation.
Подобные документы
Исследование динамики и проектирования систем и устройств - основное назначение программного комплекса "МВТУ". Простота построения сложных моделей с использованием вложенных структур и алгоритмов типовых блоков - одно из преимуществ данной программы.
курсовая работа, добавлен 26.07.2015Отработка штатного программного обеспечения вычислительного устройства в части основной программы старта и основной программы полета с использованием цифровых моделей, реализованных на базе ПЭВМ и поддерживающих штатные протоколы взаимодействия.
статья, добавлен 28.10.2018Программное обеспечение технологии "клиент–сервер". Архитектура компонента установки и поддержки серверного программного обеспечения. Инструменты администрирования и особенности эксплуатации различных видов серверного программного обеспечения.
курсовая работа, добавлен 13.11.2011Сущность принципа нелинейности как наиболее распространенного принципа проектирования и разработки IT проекта. Определение основных преимуществ использование общих средств визуализации нелинейных историй в моделях разработки программного обеспечения.
статья, добавлен 15.07.2020Отладка сложных программ унифицированного процесса разработки объектно-ориентированного программного обеспечения. Построение схемы конструирования программных приложений. Оценка качества проектирования при помощи объектно-ориентированных метрик.
реферат, добавлен 24.06.2009Характерные атрибуты для различных методологий разработки программного обеспечения. Определение ядра методологии способом описания алгоритмов. Объединение функционального и логического программирования. Отображение структур языка программирования.
презентация, добавлен 06.09.2017Излагаются методы отладки, и тестирования программ. Особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности. Стандарты качества программного обеспечения.
отчет по практике, добавлен 19.11.2020Понятие и виды программного обеспечения персонального компьютера, этапы его развития. Характеристика системного, прикладного и инструментального программного обеспечения. Открытое, свободное и проприетарное распространение программного обеспечения.
курсовая работа, добавлен 06.08.2013Понятие и функции современного антивирусного программного обеспечения, его обзор и классификация. Описание принципов работы антивирусного программного обеспечения и методов защиты от компьютерных вирусов. Представлена методика разработки презентации.
курсовая работа, добавлен 23.02.2021Программное обеспечение для автоматизации образовательной деятельности преподавателя. Этапы разработки и расчет экономической эффективности и безопасности программного обеспечения "Designer teachers" для автоматизации деятельности преподавателя.
дипломная работа, добавлен 21.12.2014Суть метода оценки разработки программного обеспечения COCOMO II на примере программы для электронно-вычислительных машин по нематериальному стимулированию труда – "Стимул". Аспекты внедрения информационных технологий и автоматизации на предприятиях.
статья, добавлен 24.07.2020Анализ проблемы защиты информации путем ее преобразования. Описание алгоритмов шифрования. Схема работы программного обеспечения. Состав программных средств разработки. Руководство системного программиста и оператора. Описание контрольного примера.
реферат, добавлен 12.03.2018Описание системного и прикладного программного обеспечения используемого в структурном подразделении. Разработка информационной системы для отдела. Проектирование и разработка модулей программного обеспечения. Тестирование программного продукта.
курсовая работа, добавлен 17.04.2017Понятие программного обеспечения компьютера и его классификация. Исследование особенностей прикладного, системного и инструментального программного обеспечения. Системы управления базами данных и автоматизированного проектирования. Текстовые редакторы.
презентация, добавлен 15.09.2016- 40. Объектно-ориентированный анализ и проектирование программного обеспечения с использованием языка UML
Программное обеспечение каталога ресурсов Интернет. Система автоматизированного управления тепличным хозяйством. Программное обеспечение службы занятости. Система автоматизации для библиотеки. Программная система поддержки генеалогических деревьев.
курсовая работа, добавлен 24.08.2015 Программное обеспечение, при помощи которого был разработан слайдер. Средства для разработки, тестирования и редактирования. Требования для клиентской Windows XP. Системы управления базами данных, компоненты MS Access. Встроенные средства взаимодействия.
отчет по практике, добавлен 29.03.2017Результаты проектирования и реализации программного обеспечения для моделирования, фильтрации и интерполяции сигнала для моделей сложной нелинейной природы, в частности модели стохастической волатильности. Вопросы разработки программного комплекса.
статья, добавлен 30.07.2017Разработка имитационных моделей контролируемой замены версий программного обеспечения на основе системы моделирования GPSS. Модели оценки времени выполнения контролируемой замены версий программного обеспечения. Образование интервалов возможного отката.
автореферат, добавлен 05.05.2018Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Составление договора на оказание услуг по проектированию программного обеспечения. Экономический расчет обеспечения сайта "математические методы". Алгоритм и структура программного продукта, конструктивная часть. Тестирование программы в браузерах.
дипломная работа, добавлен 28.04.2014- 46. Цели задачи технологий разработки программного обеспечения. Особенности современных крупных проектов
Рассмотрение классификации типов программного обеспечения. Изучение международных стандартов проектирования, разработки, оформления документации, пользовательского интерфейса. Ознакомление с основными критериями качества программного обеспечения.
контрольная работа, добавлен 08.12.2022 Характеристика программного обеспечения как алгоритма, реализованного в виде последовательности инструкций для процессора. Классификация программного обеспечения. Семейства и хронология операционных систем. Вредоносные программы и антивирусные средства.
реферат, добавлен 06.11.2020Описание универсальной учебной виртуальной машины УУМ-32. Безопасность исполнения кода и разграничение прав пользователя. Суть средств разработки программного обеспечения. Изображение логической структуры приложения. Анализ входных и выходных данных.
дипломная работа, добавлен 24.11.2014Выбор методов выявления и устранения проблем совместимости программного обеспечения отраслевой направленности. Решение проблем сбоя установки ОС. Тестирование производительности программного обеспечения. Обслуживание серверного программного обеспечения.
методичка, добавлен 24.02.2022Методы User Story как база артефактов проектирования требований при разработке программного обеспечения. Оценка его эффективности для описания целей системы. Анализ генеративного метода представления требований к разработке программного обеспечения.
статья, добавлен 10.05.2022