Z ++

Z++

C ++プログラミング言語の
バージョンであるZ ++と混同しないでください Z ++（zed plus plusと発音）は、Z仕様言語のオブジェクト指向拡張です。
Z ++では、クラスの定義、および継承、関連付け、または集約によるクラスの関係が可能です。Z ++の主要な構成要素はクラスです。Z ++クラスは、オプションのいくつかの句で構成されています。

Z ++クラス構造
クラスClassName [OWNS List_of_attributes] [関数constant_definitions] [TYPE type_declaration] [ENTENDS list_of_super_classes] [操作list_of_state_change_operations_definitions] [RETURNS list_of_query_operations_definitions] [アクションall_operations_declarations] [HISTORY RTL_predicates]エンドクラス

も参照してください
Object-Z

参考文献
は、2008年11月1日より前にFree Online Dictionary of Computingから取得され、GFDLバージョン1.3以降の「再ライセンス」条件に基づいて組み込まれた資料に基づいています。
Lano、KC、Z ++、Zのオブジェクト指向拡張。Z User Workshop、Oxford 1990、Springer、Workshops in Computing、1991、151〜172ページ。
Lano、KC、正式なオブジェクト指向開発。Springer-Verlag、ロンドン、1995年。
AAOB-論文2009。

  このプログラミング言語関連
“