[å½¢å¼æ‰‹æ³•][モデル検証] Alloyã§Dining Philosophors 日本語版 - Milestones to EVERPEACE 〜alius via〜FormalMethod勉強会をやられã¦ã„ã¦ã€æœ€è¿‘ã¯åƒ•ã‚‚åœè«–勉強会ã§ã”一緒ã•ã›ã¦ã„ãŸã ã„ã¦ã„ã‚‹ id:kencoba ã•ã‚“ãŒå‰ã‹ã‚‰æ案ã•ã‚Œã¦ã„㟠Unicode identifier in Alloy Analyzer http://alloy.mit.edu/community/node/1039 ãŒã‚ã§ãŸã本家ã®Alloy Analyzerã«å–ã‚Šè¾¼ã¾ã‚Œã‚‹ã“ã¨ã«ãªã£ãŸãã†ã§ã™â˜† モデル検証ã«ãŠã„ã¦ã€è˜åˆ¥åãŒæ—¥æœ¬èªžã‚‚OKã¨ã„ã†ã“ã¨ã¯ã‚½ãƒ¼ã‚¹ã‚‚ãã†ã ã‘ã‚Œã©ã€å›³ç¤ºã—ãŸã¨ãã®ç†è§£ã—ã‚„ã™ã•ãŒæ ¼æ®µã«ã‚ã‹ã‚Šã‚„ã™ããªã‚‹ã€‚ ã£ã¦ã“ã¨ã§Dining Philosophersã®alloyã®ãƒ¢ãƒ‡ãƒ«ã‚’日本語化ã—ã¦ã¿ã¾ã—ãŸã€‚ ã¾ãšã¯ã€ãƒ‡ãƒƒãƒ‰ãƒãƒƒã‚¯çŠ¶æ…‹ã‚’図示ã—ãŸã‚„ã¤ã€‚ ソースã¯ã‚³ãƒãƒ©ã€‚
2011-01-06 - IHARA Note å‹æ‰‹ã«ã¯é€²æ©ã—ãªã„科å¦ã€‚
html5jp_graphs
Steak ã‚’ Request Specs + Capybara ã«å¤‰æ›´ã—ã¦ã¿ãŸ - yuumi3ã®ãŠä»•äº‹æ—¥è¨˜
{{#tags}}- {{label}}
{{/tags}}