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

• Date: 2018
• Main Authors: Doroshenko, A.Yu., Iovchev, V.O.
• Format: Article
• Language: Russian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: Abstract data types; Algorithmic Algebra; Software and its engineering~Abstract data types
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/34
• Journal Title: 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...