Z ++ - Z++

Эта статья включает список литературы, связанное чтение или внешние ссылки, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшить эта статья введение более точные цитаты. (Январь 2013) (Узнайте, как и когда удалить этот шаблон сообщения)

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] [англ.

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

• Объект-Z

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

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

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

Эта язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.