WikiDer > 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] [англ.
Смотрите также
использованная литература
Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.
- Лано, К., Z ++, объектно-ориентированное расширение Z. Z User Workshop, Оксфорд, 1990 г., Springer, Workshops in Computing, 1991, pp. 151–172.
- Лано К.К. Формальная объектно-ориентированная разработка. Springer-Verlag, Лондон, 1995.
- AAOB - Диссертация 2009.
Эта язык программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |