Формальные методы разработки программного обеспечения
Построение абстрактных машин и определения их характеристик с использованием структур B метода. Проблема детализации и завершимости моделей. Программное обеспечение, с помощью которого создаются абстрактные машины в нотации Abstract Machine Notation.
Подобные документы
Общая характеристика и классификация программного обеспечения. Построение программного обеспечения информационных систем. Стадии разработки и жизненный цикл программного продукта. Рассмотрение методов оценки затрат на разработку программных средств.
учебное пособие, добавлен 03.03.2018Моделирование процессов разработки программного обеспечения с использованием объекта-модели. Составление спецификации требований, которая лежит в основе модели продукта, дальнейшее его кодирование. Стандартный процесс разработки программного продукта.
статья, добавлен 06.05.2019Обзор текущего процесса разработки программного обеспечения в НИУ ВШЭ г. Пермь и методик его улучшения. Описание бизнес-процесса "как есть" и "как должно быть" в нотации ARIS. Симуляция проектирования программного обеспечения в рамках учебных проектов.
дипломная работа, добавлен 30.08.2016Этапы развития элементной базы электронной вычислительной машины как историческая основа дальнейшего развития программного обеспечения. Принцип программного управления. Представление информации в ЭВМ. Современное состояние программного обеспечения.
курсовая работа, добавлен 28.09.2015CASE-средства как любое программное средство, автоматизирующее ту или иную совокупность процессов жизненного цикла программного обеспечения. Особенности архитектуры CASE-средств, их классификация. CASE-модель жизненного цикла программного обеспечения.
реферат, добавлен 07.12.2011Понятие программного обеспечения как набора программ для решения задач на компьютере. Классификация программного обеспечения: системное, специальное, общего назначения. Системное обеспечение персонального компьютера. Прикладное программное обеспечение.
курсовая работа, добавлен 27.05.2014Модульные внешние станции удаленного управления, процесс создания программных продуктов. Спецификация программного обеспечения. Определение основных характеристик программного обеспечения отраслевой направленности. Описание стандартной модели качества.
реферат, добавлен 21.09.2019Общая характеристика лицензии на программное обеспечение как правового инструмента, определяющего использование и распространение программного обеспечения, защищенного авторским правом. Виды лицензий на программное обеспечение, их краткое содержание.
доклад, добавлен 09.10.2014Исследование моделей жизненного цикла программного обеспечения. Особенность классического и модифицированного каскадного образца. Анализ построения множества прототипов с помощью концепции прототипирования. Сущность итеративной инкрементной методики.
презентация, добавлен 20.09.2017Программное обеспечение (ПО)- совокупность программ и сопровождающей их документации для решения задач на ПК. Состав программного обеспечения компьютера. Операционная система - комплекс программ, обеспечивающих функционирование вычислительной машины.
презентация, добавлен 29.11.2016Характеристика общей схемы процесса разработки программного обеспечения. Краткое описание фаз каскадной модели, анализ ее основных преимуществ и недостатков. Изучение особенностей V-образной модели жизненного цикла разработки программного обеспечения.
контрольная работа, добавлен 13.05.2017Методика определения связей между элементами проекта разработки программного обеспечения, реализуемого с помощью трассировки требований на основе данных из систем контроля версий исходного программного кода. Характеристика известных методов трассировки.
статья, добавлен 07.03.2019Прикладные программы, входящие в комплекс системного программного обеспечения (СПО). Программное обеспечение, ориентированное на применение в определенной проблемной области (программное обеспечение специального назначения) и общего назначения.
презентация, добавлен 17.03.2011Анализ требований и определение спецификации программного обеспечения при структурном подходе. Структуры данных и диаграммы отношений компонентов данных. Использование метода пошаговой детализации для проектирования структуры программного обеспечения.
курсовая работа, добавлен 07.04.2017Понятие программного обеспечения, его классификация. Характерные черты системного, прикладного программного обеспечения и системы программирования. Особенности жизненного цикла инструментальных систем и его модели. Этапы развития программного обеспечения.
реферат, добавлен 27.02.2009Тестирование программного обеспечения, предпосылки и основные методы его проведения. Экспериментальное определение фактических (достигнутых) характеристик свойств как цель испытания. Инструменты тестирования, сертификация программного обеспечения.
курсовая работа, добавлен 15.07.2012Особенности системного и прикладного программного обеспечения. Рассмотрение основных функций операционной системы. Анализ программного обеспечения, предназначенного для разработки программ. Системы контроля и диагностики. Пакеты прикладных программ.
презентация, добавлен 14.03.2016Понятие проприетарного программного обеспечения. Движение за свободное программное обеспечение, стимулы и качество разработок, их функциональность, дизайн интерфейсов. Возможности локального программного обеспечения, совместимость с частными системами.
реферат, добавлен 30.11.2016Изучение лицензионных и свободно распространяемых программных продуктов. Виды программного обеспечения персонального компьютера. Методы защиты информации и компьютерных систем. Контроль доступа к аппаратуре. Организация обновления ПО через Интернет.
практическая работа, добавлен 26.12.2022Понятие и сущность прикладного программного обеспечения. Интегрированные прикладные программы. Развитие прикладного программного обеспечения. Методы тестирования программ. Возможности текстовых редакторов. Полнофункциональные издательские системы.
контрольная работа, добавлен 29.09.2017История развития вычислительной техники от арифмометра до современных машин. Характеристика персонального компьютера и программного обеспечения к нему: виды и классификация. Аспекты технического оснащения автоматизированного рабочего места специалиста.
контрольная работа, добавлен 27.02.2009Внутрифирменная система информации, функции, цели. Расчет трудоемкости разработки программного обеспечения (ПО) и численности исполнителей. Аппарат управления внутрифирменной системой информации. Расчет единовременных расходов пользователя на освоение ПО.
курсовая работа, добавлен 19.11.2013Обзор программного обеспечения DeltaV. Использование программного обеспечения для управления технологическими процессами. Разработка системы управления вариаторами для регулирования температуры в холодильных камерах. Автоматизация переработки нефти.
отчет по практике, добавлен 22.03.2014Общие принципы разработки программного обеспечения. Проектирование фирменного бланка предприятия в текстовом редакторе Word. Разработка рисунков с использованием Microsoft Paint. Создание книги по расчету заработной платы для сотрудников фирм в Excel.
контрольная работа, добавлен 31.05.2014Программное обеспечение как набор программ, которые обеспечивают выполнение задач, решаемых на компьютере. Операционные системы, системы программирования и сервисные программы. Инструментальное программное обеспечение, автоматизированное проектирование.
реферат, добавлен 04.10.2013