Методологии проектирования программных средств в решении задач идентификации данных
Читать статью полностью
Методологии проектирования программных средств в решении задач идентификации данных(1007,25 KB)Аннотация
В статье исследованы современные направления решения проблем усовершенствования методологий проектирования программных средств, ориентированных на данные, что позволяет решать вопросы количественного определения масштабности и полноты данных информационной системы для установлении их достоверности, как основного критерия, отличающего уровень защищенности информации. Предложено использование методов формальных спецификаций в усовершенствовании научно-методического аппарата количественного определения достоверности данных автоматизированной управляющей информационной системы через показатели масштабности и полноты содержания информационных ресурсов.
Ключевые слова:
информационная система управления - management information system; данные - data; методология - methodologies; программные средства - software tools; достоверность - consistency; масштабность - shape proportion; формальные спецификации - formal specification
Список литературы
1. Дал, У. Структурное программирование: монография / У. Дал, Э. Дийкстра, К. Хоор. - М.: Мир, 1975. - 250 с.
2. Dijkstra, E. W. Goto Statement considered harmful / E.W. Dijkstra // CACM 1. - 1968. - No. 3. - P. 147-148.
3. Глушков, В. М. Алгебра, языки, программирование: монография / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. - К.: Наукова думка, 1978. - 320 с.
4. Сбитнев, А. И. Моделирование структурных свойств программного обеспечения АСУ при человеко-машинном проектировании / А.И. Сбитнев // Кибернетика и вычислительная техника. - 1981. - C. 31-34.
5. Сбитнев, А. И. Построение верификатора модульной системы на основе расширенных графов / А.И. Сбитнев // Кибернетика и вычислительная техника. - 1985. - C. 96-98.
6. Вельбицкий, И. В. Технология программирования: монография / И.В. Вельбицкий. - К.: Техника, 1984. - 279 с.