Технологии КИС

Основные вопросы

1. Модель перевода и источники ошибок при разработке программных средств.
Чтобы понять природу ошибок при переводе рассмотрим модель, изображенную на рис. На ней человек осуществляет перевод информации из представления A в представление B. При этом он совершает четыре основных шага перевода: он получает информацию, содержащуюся в представлении A, с помощью своего читающего механизма R; он запоминает полученную информацию в своей памяти M; он выбирает из своей памяти преобразуемую информацию и информацию, описывающую процесс преобразования, выполняет перевод и посылает результат своему пишущему механизму W; с помощью этого механизма он фиксирует представление B.
....................
2. Специфические особенности разработки программных средств.
Разработка программных средств имеет ряд специфических особенностей.
Прежде всего, следует отметить некоторое противостояние: неформальный характер требований к ПС (постановки задачи) и понятия ошибки в нем, но формализованный основной объект разработки - программы ПС. Тем самым разработка ПС содержит определенные этапы формализации, а переход от неформального к формальному существенно неформален.
...................