Разработка программного обеспечения для чистых помещений

От / / Оставьте комментарий

Оглавление1 Разработка программного обеспечения для чистых помещений1.1 Процесс разработки программного обеспечения для чистых помещений1.2 История и философия1.3 Философия и принципы1.4 […]

Software quality, Качество программного обеспечения

Разработка программного обеспечения для чистых помещений

  • Процесс разработки программного обеспечения для чистых помещений

    • Процесс разработки ПО для создания сертифицированного надежного ПО 
    • Основан на формальных методах, поэтапном внедрении и статистическом тестировании 

  • История и философия

    • Разработан Харланом Миллсом и коллегами из IBM в середине-конце 1980-х 
    • Применен в вооруженных силах в начале 1990-х 
    • Совмещение с автоматизированной проверкой по спецификациям CSP 

  • Философия и принципы

    • Фокус на предотвращении дефектов, а не на их устранении 
    • Название “чистая комната” отражает чистоту в электронной промышленности 

  • Основные принципы

    • Рекомендации по дальнейшему чтению и внешние ссылки в конце статьи 

Полный текст статьи:

Разработка программного обеспечения для чистых помещений — Википедия

Похожие статьи:

  1. Философия – Arc.Ask3.Ru Оглавление1 Философия1.1 Определение философии1.2 История философии1.3 Основные разделы философии1.4 Методы философии1.5 Связь с другими областями1.6 Этимология...
  2. Схема разработки программного обеспечения Оглавление1 Основные принципы разработки программного обеспечения1.1 Обзор разработки программного обеспечения1.2 Участники разработки программного обеспечения1.3 Проблемы разработки...
  3. Философия науки Оглавление1 Философия науки1.1 Философия науки1.2 История и развитие1.3 Основные подходы1.4 Проблемы и вопросы1.5 Философские проблемы в...
  4. Бережливая разработка программного обеспечения Оглавление1 Бережливая разработка программного обеспечения1.1 Основы бережливого подхода к разработке программного обеспечения1.2 Стратегии бережливого подхода1.3 Принятие...
  5. Фокус-группа Оглавление1 Фокус-группа1.1 Определение и история фокус-групп1.2 Применение и преимущества1.3 Проблемы и критика1.4 Анализ данных1.5 Упражнения1.6 Рекомендации2...
  6. Список философий разработки программного обеспечения Оглавление1 Список философий разработки программного обеспечения1.1 Основы разработки программного обеспечения1.2 Принципы проектирования1.3 Принципы кодирования1.4 Принципы тестирования1.5...
  7. Китайская комната Оглавление1 Китайская комната1.1 Аргумент “китайской комнаты”1.2 История аргумента1.3 Критика и влияние1.4 Философские аспекты1.5 Системы искусственного интеллекта...
  8. Гибкая разработка программного обеспечения Оглавление1 Гибкая разработка программного обеспечения1.1 Основы гибкой разработки программного обеспечения1.2 История и развитие Agile1.3 Ключевые принципы...
  9. Бесплатное программное обеспечение Оглавление1 Бесплатное программное обеспечение1.1 Определение свободного программного обеспечения1.2 История и развитие1.3 Различия с другими типами программного...
  10. Разработка программного обеспечения с открытым исходным кодом Оглавление1 Разработка программного обеспечения с открытым исходным кодом1.1 Основы разработки программного обеспечения с открытым исходным кодом1.2...
  11. Шифер (выборы) Оглавление1 Список кандидатов (выборы)1.1 Голосование и его формы1.2 Различные типы голосования1.3 Полный текст статьи:2 Шифер (выборы)...
  12. Точечный процесс Пуассона Оглавление1 Точечный процесс Пуассона1.1 Определение и свойства пуассоновского точечного процесса1.2 История и применение1.3 Однородный и неоднородный...
  13. Компьютерная разработка программного обеспечения Оглавление1 Разработка автоматизированного программного обеспечения1.1 История и развитие CASE-технологий1.2 Основные этапы развития CASE1.3 Основные инструменты CASE1.4...
  14. Принципы действия Оглавление1 Принципы действия1.1 Принципы действия в физике1.2 Вариативный подход1.3 Различные принципы действия1.4 Применение принципов действия1.5 Общие...
  15. Пауза гласных Оглавление1 Пауза в гласном1.1 Количественный метатезис1.2 Градация согласных1.3 Произнесение согласных и молитва1.4 Ассимиляция1.5 Спирантизация1.6 L-вокализация1.7 Дебуккализация1.8...
  16. Мастерство разработки программного обеспечения Оглавление1 Мастерство разработки программного обеспечения1.1 Определение и развитие мастерства в разработке программного обеспечения1.2 Рекомендации и дальнейшее...
  17. Судебная разработка программного обеспечения Оглавление1 Криминалистическая разработка программного обеспечения1.1 История программного обеспечения1.2 Категории и временные рамки1.3 Дополнительные ресурсы2 Судебная разработка...
  18. Обзор программного обеспечения Оглавление1 Обзор программного обеспечения1.1 Обзор программного обеспечения1.2 Виды обзоров программного обеспечения1.3 Экспертные оценки1.4 Формальность и эффективность1.5...
  19. История разработки программного обеспечения Оглавление1 История разработки программного обеспечения1.1 История разработки программного обеспечения1.2 Развитие и инновации1.3 Современные тенденции и проблемы1.4...
  20. Барри Бём Оглавление1 Барри Бем1.1 Биография и карьера Барри Бема1.2 Образование и ранние работы1.3 Основные достижения1.4 Публикации и...
  21. Система чистых типов Оглавление1 Система чистого типа1.1 Основы теории доказательств и типов1.2 История и развитие1.3 Гипотеза Барендрегта-Гейверса-Клопа1.4 Определение системы...
  22. V-модель (разработка программного обеспечения) Оглавление1 V-модель (разработка программного обеспечения)1.1 Обзор V-модели разработки программного обеспечения1.2 Этапы разработки в V-модели1.3 Критика V-модели1.4...

Оставьте комментарий

Прокрутить вверх