Верификация программ - аналитический метод проверки правильности программ:
Главный программист - технический руководитель проекта:
Графические языки моделирования используются при изучении методов проектирования:
Для тестирования рекомендуется использовать наиболее сложные данные:
Количество этапов в процессе тестирования:
Модель - схематическое описание системы программного обеспечения:
Начало перехода к сборочному индустриальному способу программного обеспечения на основе объектно-ориентированного подхода:
Отладка - выявление и устранение допущенных ошибок:
Отличие количества возможных состояний программных систем от количества состояний компьютеров:
Оценка затрат на разработку программного продукта не играет роли в процессе создания программного обеспечения:
Полнота, точность и понятность - основные свойства спецификации:
При тестировании сокращают объем данных по сравнению с реальными:
Прикладное программирование:
Применение методов и средств создания программного обеспечения не позволяет повысить качество процесса проектирования:
Программа задает характер поведения для неопределенного числа возможных процессов:
Программные системы принципиально не отличаются от технических систем:
Проектирование программного обеспечения является формальным процессом (основная идея программной инженерии):
Производство программного обеспечения - крупнейшая отрасль мировой экономики:
Простота и рациональность кодирования программ затрудняет отладку:
Семантические ошибки - ошибки логические и ошибки кодирования:
Сетевая технология позволяет объединить отдельных исполнителей в единый процесс проектирования:
Синтаксические ошибки - ошибки при неправильном построении конструкции языка:
Системное программирование и прикладное программирование - виды программного обеспечения:
Сложность программного обеспечения - существенное свойство:
Сопровождение - улучшение программы в процессе ее эксплуатации:
Спецификация программы - описание задачи в наиболее естественном для нее виде:
Спецификация является:
Тестирование выявляет синтаксические ошибки:
Технология программирования для составления алгоритмов не использует математические методы:
Четкое планирование и управление проектом можно обеспечить даже при отсутствии достоверной оценки: