Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:2 (25)
Скачать PDF0 Кбайт
В работе рассматривается объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением; строится определение типа со сложным поведением, предлагается метод формальной спецификации и определение отношения наследования для таких типов.