翻訳と辞書
Words near each other
・ Object-oriented design
・ Object-Oriented Fortran
・ Object-oriented modeling
・ Object-oriented ontology
・ Object-oriented operating system
・ Object-oriented programming
・ Object-Oriented Software Construction
・ Object-oriented software engineering
・ Object-Oriented Turing
・ Object-oriented user interface
・ Object-PL/SQL
・ Object-relational database
・ Object-relational impedance mismatch
・ Object-relational mapping
・ Object-role modeling
Object-Z
・ ObjectARX
・ ObjectBroker
・ ObjectCenter
・ ObjectDatabase++
・ ObjectDB
・ ObjectDock
・ Objecteering
・ ObjectiF
・ Objectif et action Mutualistes
・ Objectif Exhibitions
・ Objectification
・ Objectified
・ Objectifs
・ ObjecTime


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Object-Z : ウィキペディア英語版
Object-Z
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.
Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported.
While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi.
== See also ==

* Z++

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Object-Z」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.