チューリング完全 出典: フリー百科事典『ウィキペディア（Wikipedia）』 移動: メニュー, 検索計算理論で、あるプログラミング言語がチューリング機械と同じ計算能力をもつとき、その言語はチューリング完全（チューリングかんぜん、Turing-complete）ある…

大規模開発におけるモデル品質向上のためのモデル検証フレームワーク 本論文は，UML モデルの品質確保のためのモデル検証において，プロジェクト固有のモデリング・ルールを容易に定義・検証できるモデル検証フレームワークを提案する．本フレームワークでは…