About the method of projecting abstract data type at the algebra of algorithmic

A method of development of extended abstract data type and algebraic class is proposed. This abstract data type is an essential component of the phases of specification and projecting. The problem of completeness of the extended abstract data type is studied and the decision of sufficient completene...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2018
Автори: Doroshenko, A.Yu., Iovchev, V.O.
Формат: Стаття
Мова:rus
Опубліковано: Інститут програмних систем НАН України 2018
Теми:
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/34
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming

Репозитарії

Problems in programming
Опис
Резюме:A method of development of extended abstract data type and algebraic class is proposed. This abstract data type is an essential component of the phases of specification and projecting. The problem of completeness of the extended abstract data type is studied and the decision of sufficient completeness is proposed.