実行可能性 (モデル記述言語の)のソースを表示
←
実行可能性 (モデル記述言語の)
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、以下のグループに属する利用者のみが実行できます:
登録利用者
。
このページは編集や他の操作ができないように保護されています。
このページのソースの閲覧やコピーができます。
'''【じっこうかのうせい (executability for model description language)】''' 記述されたモデルの正確性と完全性を自動的に検証する機能を処理システムに付与することが可能であるという, モデル記述言語の形式論理的性質をいう. 実行可能性には様々なレベルが考えられるものの, モデル記述言語に不可欠の特性と考えられている.
実行可能性 (モデル記述言語の)
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
ORWikiへのお問い合わせ
OR学会HP
OR学会アーカイブ集
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報