WikiDer > Z ++

Z++

Z ++ (произносится зед плюс плюс) является объектно-ориентированный расширение Z язык спецификации.

Z ++ позволяет определять классы, а отношение классов через наследство, ассоциация, или агрегирование. Основная конструкция Z ++ - это класс. Класс Z ++ состоит из ряда необязательных предложений.

Структура классов Z ++

КЛАСС Имя класса  [OWNS List_of_attributes] [FUNCTIONS constant_definitions] [TYPE type_declaration] [ENTENDS list_of_super_classes] [OPERATIONS list_of_state_change_operations_definitions] [RETURNS list_of_query_Operations_definitions] [RETURNS list_of_query_operations_definitions] [RETURNS list_of_query_operations_definitions] [англ.

Смотрите также

использованная литература

Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.

  • Лано, К., Z ++, объектно-ориентированное расширение Z. Z User Workshop, Оксфорд, 1990 г., Springer, Workshops in Computing, 1991, pp. 151–172.
  • Лано К.К. Формальная объектно-ориентированная разработка. Springer-Verlag, Лондон, 1995.
  • AAOB - Диссертация 2009.