Формальные методы разработки программного обеспечения
Построение абстрактных машин и определения их характеристик с использованием структур B метода. Проблема детализации и завершимости моделей. Программное обеспечение, с помощью которого создаются абстрактные машины в нотации Abstract Machine Notation.
Подобные документы
Разработка требований к программной системе предприятия, ее кодирование, тестирование и сопровождение. Использование инструментальных средств разработки программного обеспечения. Аппаратное и программное обслуживание средств вычислительной техники.
курсовая работа, добавлен 17.05.2016Определение методологии разработки программного обеспечения. Исследование и анализ классических способов программирования. Рассмотрение гибкой методологии разработки программного обеспечения страховой компании как альтернативы традиционному подходу.
статья, добавлен 22.03.2016Изучение особенностей программного и технического обеспечения организации, выявление целей ее функционирования. Функции отдела по программному обеспечению и обслуживанию компьютерной техники. Используемые операционные системы и программное обеспечение.
отчет по практике, добавлен 20.03.2013Подбор программного, аппаратного обеспечения для серверов и рабочих станций компании, выбор сетевого оборудования. Построение роутера на базе Ubuntu. Построение почтовой системы на базе Microsoft Exchange server. Построение прокси-сервера на базе squid.
контрольная работа, добавлен 25.07.2012Понятие программного обеспечения как совокупности программ, предназначенных для решения задач на компьютере. Характеристика системного, прикладного и инструментального программирования, особенности его основных компонентов и их функционирование.
лабораторная работа, добавлен 19.07.2013Классификация служебных программных средств. Использование программ автоматического перевода. Классификация прикладного программного обеспечения. Основные типы трансляторов. История развития программного обеспечения. Классификация инструментальных языков.
курсовая работа, добавлен 15.02.2013Основы тестирования программного обеспечения, история его развития и основные определения в данной области. Классификация тестирования, ошибок и список вопросов для выявления ошибок в начале теста. Функции модульного тестирования и его оболочки JUnit.
курсовая работа, добавлен 17.04.2011Возможности современного персонального компьютера. Понятие, сущность прикладного программного обеспечения. Операционные системы, трансляторы, пакеты программ: виды, особенности использования. Структура программного обеспечения персонального компьютера.
контрольная работа, добавлен 29.09.2017Анализ предметной области и выбор среды разработки программного обеспечения. Построение концептуальной, логической и физической моделей базы данных. Проектирование интерфейса и тестирование приложения "Информационная система составления тестирования".
курсовая работа, добавлен 29.02.2020Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010Определение ПО, его классификация, назначение, роль и тенденции развития. Основные разновидности программного обеспечения (прикладное, системное и инструментальное); характеристика каждого вида; его задачи; сферы применения. Сетевые операционные системы.
реферат, добавлен 25.01.2014Этапы и фазы жизненного цикла ИТ-услуг. Направления обеспечения функциональности программного обеспечения. Планирование и рабочий процесс предоставления бизнес-услуг. Согласование информационных технологий и бизнеса. Карта обслуживания и ее разделы.
презентация, добавлен 10.09.2013Функционирование локальной вычислительной сети. Способы передачи данных по сетям. Структура программного обеспечения персонального компьютера. Системное и прикладное программное обеспечение ПК. Языки программирования, табличный процессор Ексель.
контрольная работа, добавлен 09.11.2010Характеристика категорий программного обеспечения. Программы общего пользования, не связанные с конкретным применением ПК и выполняющие традиционные функции. Компоненты создания программы на выбранном языке программирования. Пакеты прикладных программ.
реферат, добавлен 08.12.2013Постановка цели и задач проектируемого программного обеспечения. Разработка функциональных моделей предметной области в нотации BPMN 2.0. Объектно-ориентированное моделирование с использованием языка UML. Разработка диаграммы вариантов использования.
курсовая работа, добавлен 01.07.2020Уровень пиратства в сфере компьютерного обеспечения. Колоссальные потери экономики стран мира из-за компьютерного пиратства. Недостатки использования нелицензионных копий программного обеспечения (ПО). Юридические последствия использования пиратского ПО.
презентация, добавлен 18.04.2014Изучение технических предметов во время обучения в учебном заведении. Анализ электротехнических комплексов с использованием программного обеспечения. Интерфейс программы моделирования электрической машины. Моделирование реальных физических процессов.
статья, добавлен 17.02.2019Рассмотрение способов применения моделирующих программ и их особенностей на примере разработки идеальной системы для рециркуляции с использованием программного обеспечения Aspen Plus. Эффективность использования иностранного программного обеспечения.
статья, добавлен 03.05.2023Классификация программного обеспечения: системное, общего назначения, специальное. Операционная система MS DOS, структура, назначение блоков. Принцип работы коммандеров, оболочек, редакторов: встроенных и текстовых. Базы данных, бухгалтерские пакеты.
реферат, добавлен 25.03.2010Понятие программного обеспечения как совокупности программ, хранящихся в долговременной памяти компьютера. Прикладные и системные программы, системы программирования. Анализ схемы взаимодействия пользователя с операционной системой и работы с файлами.
презентация, добавлен 14.12.2012Идентификация проблемной области. Описание бизнес-процесса предприятия. Построение функциональных моделей бизнес-процесса "как есть" и "как будет". Аналоги, имеющиеся на рынке программного обеспечения. Формализация и технология наполнения базы знаний.
дипломная работа, добавлен 07.08.2018Проектирование и разработка программы для определения надежности тестируемого программного обеспечения различными моделями с использование языка C# и Visual Studio 2013. Описание технологии и методов разработки приложения, характеристика его макета.
курсовая работа, добавлен 26.09.2017Понятие и изучение устройства корпоративных информационных систем; основные этапы их создания и методики внедрения. Описание моделей жизненного цикла программного обеспечения. Архитектура корпоративных компьютерных сетей, обеспечение их безопасности.
контрольная работа, добавлен 21.03.2013Исследование математического обеспечения процедуры сертификации программного обеспечения по требованиям безопасности информации с учетом временных ограничений, нормативно-правовых и конструкторских требований. Исходные коды программного обеспечения.
статья, добавлен 07.03.2019Раскрытие понятия программного обеспечения персонального компьютера. Характеристика системного и прикладного программного обеспечения. Ознакомление с языками и средами программирования. Рассмотрение видов компьютерных сетей, их назначения и архитектуры.
реферат, добавлен 25.08.2014