8/15ã«geekbarã§ä½¿ã£ãŸè³‡æ–™ã§ã™ã€‚ Alloyã®ã‚³ãƒ¼ãƒ‰ã¯ä¸‹è¨˜ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã‚’ã”覧ãã ã•ã„。 http://d.hatena.ne.jp/osiire/20110829Read less
レイトン教授ã§å§‹ã‚る�Alloy Analyzer入門
8/15ã«geekbarã§ä½¿ã£ãŸè³‡æ–™ã§ã™ã€‚ Alloyã®ã‚³ãƒ¼ãƒ‰ã¯ä¸‹è¨˜ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã‚’ã”覧ãã ã•ã„。 http://d.hatena.ne.jp/osiire/20110829Read less
å½¢å¼æ‰‹æ³•ã¨alloyã®ç´¹ä»‹
8. モデル検査 • モデル検査（Model Checking）ã¨ã¯ã€å½¢å¼ã‚·ã‚¹ãƒ†ãƒ ã‚’ã‚¢ ルゴリズム的ã«æ¤œè¨¼ã™ã‚‹æ‰‹æ³•ã§ã‚る。ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã‚„ ソフトウェアã®è¨è¨ˆã‹ã‚‰å°Žå‡ºã•ã‚ŒãŸãƒ¢ãƒ‡ãƒ«ãŒå½¢å¼ä»•æ§˜ を満足ã™ã‚‹ã‹ã©ã†ã‹æ¤œè¨¼ã™ã‚‹ã€‚ http://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%87%E3%83%AB%E6%A4%9C%E6%9F%BB 9. 自動定ç†è¨¼æ˜Ž • コンピュータプãƒã‚°ãƒ©ãƒ ã«ã‚ˆã£ã¦æ•°å¦çš„定ç†ã«å¯¾ã™ã‚‹ 証明を発見ã™ã‚‹ã“ã¨ã€‚ →プãƒã‚°ãƒ©ãƒ ã®æ£ã—ã•ã‚’ä¿è¨¼ã—ãŸã‚Šã€å®‰å…¨ãªãƒ—ãƒã‚°ãƒ© ムを書ãã“ã¨ãŒã§ãる。 http://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E
Alloy Analyzer ã§å½¢å¼ä»•æ§˜è¨˜è¿°
仕様を形å¼çš„ã«è¨˜è¿°/検査ã™ã‚‹ã“ã¨ã®ã§ãる言語やツールã¯ã€VDM, B, Z, Isabelle ãªã©ä»–ã«ã‚‚色々ã‚ã‚Šã¾ã™ãŒã€ Alloy ã¯ãれらã«ãらã¹ã¦ã‚ˆã‚Šè»½ã„フットワークã§è¨˜è¿°/検査ã™ã‚‹ã“ã¨ãŒã§ãるツールã§ã™ã€‚ ãれらã®ãƒ„ール㨠Alloy ã¨ã®æ¯”較もã€æ©Ÿä¼šãŒã‚ã‚Œã°ã”紹介ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 2. Alloy を使ã£ãŸå½¢å¼ä»•æ§˜è¨˜è¿°ã®ç‰¹å¾´ æ•°ç†è«–ç†å¦ï¼‹é›†åˆè«–をベースã¨ã—㟠Alloy ã®è¨€èªžã§ä»•æ§˜ã‚’記述ã—ã¾ã™ã€‚ 書ã„ãŸä»•æ§˜ã‚’ã€ç°¡å˜ã«æ¤œæŸ»ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 難ã—ã„è«–ç†å¼ã®è¨¼æ˜Žãªã©ã¯å¿…è¦ã‚ã‚Šã¾ã›ã‚“。 検査çµæžœã¯å›³ã§è¡¨ç¤ºã—ã¦ãれるã®ã§ã€çµæžœã‚’目視ã§ç›´æ„Ÿçš„ã«ç†è§£ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 仕様ã§æ›¸ã„ãŸæŒ¯ã‚‹èˆžã„をシミュレーションã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 3. ã“ã®ãƒšãƒ¼ã‚¸ã®ã‚¹ã‚³ãƒ¼ãƒ— ã“ã“ã§ã¯ä»•æ§˜ã®ã†ã¡ã€æ¦‚è¦ãƒ¬ãƒ™ãƒ«ã®ä»•æ§˜ã‚„ã€é‡è¦ãªéƒ¨åˆ†ã ã‘を抜ã出ã—ãŸä»•æ§˜ã¨ã„ã£ãŸã€æŠ½è±¡åº¦ã®é«˜ã„仕様をスコープã¨ã—ã¦ã„ã¾ã™ã€‚ 抽象度
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}