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

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 1
• ISSN: 1727-4907
• Автори та афіліації: A.Yu. Doroshenko — Institute of Software systems NAS of Ukraine; V.O. Iovchev — Institute of Software systems NAS of Ukraine
• Автори: Doroshenko, A.Yu., Iovchev, V.O.
• Формат: Стаття
• Мова: Російська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: Abstract data types; Algorithmic Algebra; Software and its engineering~Abstract data types
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/34
• Назва журналу: 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 completene...