Model Base内検索 / 「A.3.6 外科医のグローブ」で検索した結果

• A.3.6 外科医のグローブ
  更新日2011-09-03 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ] 設問 ある外科医が3 人の患者を手術しなければ ならないが、2 組のグローブしかない。二次汚染はあってはならない。つまり、外科 医はどの患者の血と接触してもならないし、どの患者も他の患者の血と接触しては ならない。外科医は手術に両手を使う。この外科医はどうすべきか？ この問題をAlloy で表現し、解析器を使って解を見つけよ。 モデル化の方針 求められているのは "外科医はどうすべきか？" なので、"外科医がすること"のイベント列を提示すればよい。 書籍の2.4 や6.1.3で紹介されているように、util/ordering ライブラリモジュールを用いて 全順序関...
• 抽象によるソフトウェア設計／付録 A 練習問題 解答例
  ...ャベツ、狼 A.3.6 外科医のグローブ A.4 メタモデル A.4.1 状態機械の定義 A.4.2 状態機械の模倣関係 A.4.3 Alloyのメタモデル A.4.4 Javaのメタモデル
• プラグイン/ニュース
  ニュース @wikiのwikiモードでは #news(興味のある単語) と入力することで、あるキーワードに関連するニュース一覧を表示することができます 詳しくはこちらをご覧ください。 ＝＞http //atwiki.jp/guide/17_174_ja.html たとえば、#news(wiki)と入力すると以下のように表示されます。 マニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「NotePM」：時事ドットコム - 時事通信 マニュアル作成に便利な「画像編集」機能を提供開始！ - ナレッジ共有・社内wikiツール「NotePM」 - PR TIMES 【アイプラ】リセマラは必要？当たりキャラランキング【IDOLY PRIDE】 - Gamerch(ゲーマチ) 篠原悠希×田中芳樹が明かす「歴史ファンタジー小説...
• 「形式手法の独学」のPFD
  更新日2013-01-31 [ 形式手法の独学 ] 「形式手法の独学」のPFD 各プロセスの説明 P001_命題論理を学習する P002_述語論理を学習する P003_集合論_関係_順序を学習する P100_状態遷移システムの構成概念を理解する P021_モデル発見器を学習する P200_仕様の推敲を練習する P004_時相論理を学習する P031_モデル検査器を学習する P300_設計の検証を練習する P900_知見を整理する 各成果物の説明 I001_事例や業務経験 I002_数理論理学の教本 I003_離散数学の教本 I004_様相論理を含む数理論理学の教本 I005_モデル発見器_Alloy I006_Allo...
• A.4.2 状態機械の模倣関係
  更新日2011-10-23 [ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ] ( h ) トレースを定義した状態機械のAlloy モデルを作成し、状態機械の例と関連するトレース集合をいくつか生成してみよ モデル化の方針 まず、遷移ラベルと状態は以下のように定義する。 sig A{} abstract sig State{} この設問で考えさせられたのはトレースの表現であった。 設問内の定義によれば状態機械のトレースとは、 初期状態からはじまる遷移ラベルからなる有限列 ということである。 これを算出するには、状態機械がたどった遷移の履歴(これを経路と呼びたい)、 から遷移ラベルを抽出すればよい。 いま状態機械の遷移の表現を A - State - ...
• 「状態遷移システムの構成概念を理解する」のPFD
  更新日2013-01-31 [ 形式手法の独学 ] / [ 「形式手法の独学」のPFD ] 「状態遷移システムの構成概念を理解する」のPFD 各プロセスの説明 P101_FSMの数学モデルを学ぶ P102_状態遷移に関わる用語の意味を考える P103_UMLでの"状態"という用語の運用について考える P104_状態遷移の合成ついて考える P105_状態遷移時のアクションについて考える P106_ProtocolStateMachine図とBehavioralStateMachine図の作図目的の違いを考える P107_ステートマシンの作図を練習する 各成果物の説明 I101_FSMの数学モデルの定義 I102_UMLのチュートリアル I103_状態...
• @wiki全体から「A.3.6 外科医のグローブ」で調べる

更新順にページ一覧表示 | 作成順にページ一覧表示 | ページ名順にページ一覧表示 | wiki内検索