Применение графо-аналитических моделей при верификации программных продуктов

Рубрика	Программирование, компьютеры и кибернетика
Вид	статья
Язык	русский
Дата добавления	24.03.2018
Размер файла	342,4 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Подобные документы

• Стандартизированные критерии качества программных продуктов

  Влияние качества программных продуктов на экономические характеристики производства, управление ими. Стандартизированные характеристики качества сложных программных продуктов. Гипотетические примеры определения требований к характеристикам качества.
  
  контрольная работа [22,4 K], добавлен 13.12.2014
  

• Разработка программных продуктов

  Эффективность и оптимизация программ. Разработка программных продуктов. Обеспечение качества программного продукта. Назначение, область применения, требование к программному продукту. Требования к функциональным характеристикам, надежности, совместимости.
  
  курсовая работа [46,8 K], добавлен 05.04.2009
  

• Компьютерные технологии в инвестиционном проектировании

  Основные интегрированные информационные системы поддержки принятия решений. Обзор и сравнительный анализ программных продуктов инвестиционного проектирования. Программа управления проектами "MS Project". Примеры программных продуктов в ОАО "Криогенмаш".
  
  курсовая работа [776,0 K], добавлен 03.06.2014
  

• Правовые основы компьютерной деятельности на российском рынке

  Программное обеспечение для ЭВМ и личные права на него. Техническое обслуживание программного обеспечения. Компьютерные преступления на рынке программных продуктов. Пути снижения преступности на рынке программных продуктов и компьютерной информации.
  
  курсовая работа [95,7 K], добавлен 23.01.2012
  

• Создание программных продуктов для обработки экспериментальных данных. Идентификация параметров

  Обработка экспериментальных данных с помощью программных продуктов. Редактирование и оформление электронных табличных расчётов. Метод наименьших квадратов: применение в качестве критерия близости суммы квадратов отклонений заданных и расчетных значений.
  
  курсовая работа [275,5 K], добавлен 07.03.2011
  

• Технология разработки программных продуктов

  Этапы технологического процесса разработки программных продуктов, их жизненный цикл. Общая характеристика языков программирования. Виды ошибок и принципы тестирования программ. Установление прав собственности на продукт посредством лицензий и контрактов.
  
  презентация [1,9 M], добавлен 01.05.2011
  

• Автоматизация учета продаж программных продуктов 1С

  Создание программы для автоматизации продаж программных продуктов, ведение базы данных по клиентам, формирование отчетов по реализованным товарам и вырученным средствам. Алгоритмизация задачи. Аномалии и защитное программирование. Тестирование и отладка.
  
  курсовая работа [2,9 M], добавлен 17.07.2014
  

• Процесс сертификации программных продуктов. Документирование процессов и результатов сертификации программных продуктов

  Разработка программного обеспечения. Подтверждение соответствия программного продукта государственным стандартам в области информационных технологий. Оформление Сертификата соответствия. Оценка, проводимая экспертами. Экспертиза программной документации.
  
  контрольная работа [24,5 K], добавлен 06.11.2013
  

• Разработка автоматизированной подсистемы учета разрабатываемых программных продуктов специалистами ООО "Система" для сторонних организаций на базе Borland Delphi 7

  Диагностический анализ системы управления ООО "Система". Оценка функциональной структуры функционирующей АСУ, ее плюсы и минусы. Проектирование подсистемы "Учет разрабатываемых программных продуктов". Расчет затрат на разработку программного продукта.
  
  дипломная работа [5,7 M], добавлен 29.06.2011
  

• Безопасность операционных систем

  Проблема безопасности операционных систем. Функции подсистемы безопасности. Идентификация пользователей, программные угрозы (атаки). Типы сетевых атак. Жизненный цикл разработки безопасных программных продуктов. Оценка атак на программное обеспечение.
  
  презентация [1,4 M], добавлен 24.01.2014
  

• Информационно-компьютерное обеспечение коммерческой деятельности

  Основные производители информационно-вычислительного оборудования для работы торгового предприятия. Сравнение моделей оборудования, программных продуктов. Стационарные сканеры штрих-кода. Применение терминалов сбора данных для решения задач автоматизации.
  
  курсовая работа [1,8 M], добавлен 17.03.2010
  

• Защита информации в экономических ИС

  Понятие защиты информации, сущность информационной безопасности. Программные средства, обеспечивающие защиту. Обзор программных брандмауэров (на примере Firewall). Особенности реализации политики безопасности. Криптографические преобразования данных.
  
  курсовая работа [54,2 K], добавлен 16.05.2015
  

• Стандарты разработки и документирования программных средств

  Особенности документирования программных средств, стадии разработки продуктов. Классификация обеспечивающего пакета документов. Сущность и основные недостатки Единой системы программной документации. Классификация стандартов, Гост 19.102-77 ЕСПД.
  
  презентация [64,8 K], добавлен 22.03.2014
  

• Дидактические и методические основы построения цифрового образовательного ресурса

  Понятие и классификация педагогических программных средств. Значимость программных продуктов фирмы "1С" в образовании. Структура и описание цифрового образовательного ресурса. Методика формирования знаний, умений и навыков по программным продуктам "1С".
  
  дипломная работа [7,7 M], добавлен 02.05.2012
  

• Оптимизация состава используемых средств защиты информации с применением марковских моделей безопасности

  Защита информации и средства для ее обеспечения. Обзор моделей информационной безопасности. Основные сведения о марковских случайных процессах. Алгебраический метод решения уравнения Колмогорова. Исследование среднего времени до отказа безопасности.
  
  дипломная работа [1,1 M], добавлен 12.01.2022
  

• Использование интегрированных программных пакетов

  Характеристика интегрированных информационных технологий. Интегрированный офисный пакет – набор программных продуктов, объединенных в единый удобный инструмент. Microsoft Word как наиболее известный текстовый редактор. Работа с Microsoft Publisher.
  
  контрольная работа [1,3 M], добавлен 01.02.2011
  

• Разработка тематических тестов

  Этапы разработки программных продуктов. Основные понятия и методы программирования. Разработка обучающей программы по технике безопасности при работе на ПК. Постановка и разработка модели задачи. Проектирование. Отладка и тестирование программы.
  
  курсовая работа [3,8 M], добавлен 04.10.2008
  

• Создание информационной системы "Кулинария разных стран"

  Характеристика программных продуктов, используемых при разработке информационной системы. Проектирование интерфейса и базы данных. Создание информационной системы, в которой нужно разработать структурную и функциональную схему программного продукта.
  
  курсовая работа [2,1 M], добавлен 04.03.2021
  

• Разработка базы данных для автоматизации деятельности специалиста по технике безопасности и охраны труда

  Информационная система – совокупность организационных, технических и программных средств, объединенных в единую систему для сбора, хранения, обработки, выдачи необходимой информации. Анализ особенностей инфологической, логической моделей базы данных.
  
  курсовая работа [675,2 K], добавлен 16.09.2017
  

• Разработка информационной системы для учета компьютерной техники предприятия

  Проектирование информационной системы "Учёт работы поликлиники": анализ программных продуктов, описание диаграмм бизнес–процесса, описание IDEF0, DFD, IDEF3 диаграмм потоков данных и документирования процессов посредством AllFusion Process Modeler r7.3.
  
  курсовая работа [2,5 M], добавлен 20.08.2012
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к началу текста
• вернуться к подобным работам