å½¢å¼æ‰‹æ³•ã¯ãªãœæµè¡Œã£ã¦ã„ãªã„ã®ã‹ - Qiitaã¯ã˜ã‚ã« ã¿ãªã•ã‚“å½¢å¼æ‰‹æ³•ã‚’ã”å˜çŸ¥ã§ã—ょã†ã‹ï¼Ÿ åå‰ãらã„ã¯èžã„ãŸã“ã¨ã‚ã‚‹ã‘ã©ã„ã¾ã„ã¡ä½•ã‹ã‚ã‹ã‚‰ãªã„ã¨ã„ã†æ–¹ãŒå¤šã„ã®ã§ã¯ãªã„ã§ã—ょã†ã‹ã€‚ ãã®é€šã‚Šã§ã™ã€‚å½¢å¼æ‰‹æ³•ã¯ã‚¢ã‚«ãƒ‡ãƒŸã‚¢ã§ã¯ãã‚Œãªã‚Šã«ç ”究ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã®ã€ 一般ã®ï¼ˆç‰¹ã«Web系）ソフトウェア開発者ãŒæºã‚ã‚‹ã“ã¨ã¯ãªã‹ãªã‹ãªã„ã®ã§ã¯ãªã„ã‹ã¨æ€ã„ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºã«å½¢å¼æ‰‹æ³•ãŒå°Žå…¥ã•ã‚Œãªã„ã®ã¯ãªãœãªã®ã‹ã‚’考察ã—ã¾ã™ã€‚ ã“ã®è¨˜äº‹ã§ã¯ã‚¢ã‚¸ãƒ£ã‚¤ãƒ«ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºã«ãŠã„ã¦å½¢å¼æ‰‹æ³•ã‚’å°Žå…¥ã™ã‚‹éš›ã®ãƒãƒ¼ãƒ‰ãƒ«ã«ã¤ã„ã¦è€ƒå¯Ÿã—ã¾ã™ã€‚ 追記 本記事ã«ã¤ã„ã¦ã€ã€Œå½¢å¼æ‰‹æ³•ã¯æµè¡Œã£ã¦ã„ãªã„ã€ã¨ã„ã†ã®ã¯æ£ç¢ºã§ã¯ãªã„ã®ã§ã¯ãªã„ã‹ã¨ã„ã†æŒ‡æ‘˜ã‚’ã„ãŸã ãã¾ã—ãŸã€‚組ã¿è¾¼ã¿ç³»ã‚„社会インフラ系ç‰ãƒã‚°ã‚’絶対ã«å‡ºã›ãªã„システム開発ã§ã¯å½¢å¼æ‰‹æ³•ãŒã‚ˆã使ã‚ã‚Œã¦ã„ã‚‹ãã†ã§ã™ã€‚ ã¡ã‚‡ã£ã¨å¤ã„データã§ã™ãŒæ´»ç”¨äº‹ä¾‹ã§ã™ã€‚ 誤解を招ã紹介ã¨ãªã£ã¦ã„ãŸã“ã¨ã‚’ãŠè©«ã³ã—ã¾ã™ã€‚ ã•ã‚‰ã«è¿½è¨˜ ku
å½¢å¼æ‰‹æ³•å…¥é–€ ï¼ãƒã‚¸ãƒƒã‚¯ã«ã‚ˆã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢è¨è¨ˆï¼ | Ohmsha
ディペンダブル・システムã®ãŸã‚ã®å½¢å¼æ‰‹æ³•ã®å®Ÿè·µãƒãƒ¼ã‚¿ãƒ«
å½¢å¼æ‰‹æ³•æ›¸ç±ãƒ»ãƒªãƒ³ã‚¯é›†
Google Sites: Sign-in
Amazon.co.jp: 抽象ã«ã‚ˆã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢è¨è¨ˆâˆ’Alloyã§ã¯ã˜ã‚ã‚‹å½¢å¼æ‰‹æ³•âˆ’: Daniel Jackson (è‘—), 今井å¥ç”· (翻訳), 酒井政裕 (翻訳), é 藤侑介 (翻訳), 片岡欣夫 (翻訳), ä¸å³¶éœ‡ (監訳): 本
「形å¼æ‰‹æ³•é©ç”¨èª¿æŸ»ã€å ±å‘Šæ›¸ : æƒ…å ±å‡¦ç†æŽ¨é€²æ©Ÿæ§‹ï¼šã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°
フォーマルメソッド(å½¢å¼ä»•æ§˜è¨˜è¿°ã€Formal Methods)ã®æ•™ç§‘書: ホットコーナー
VDM++ã«ã‚ˆã‚‹ã‚ªãƒ–ジェクト指å‘システムã®é«˜å“質è¨è¨ˆã¨æ¤œè¨¼ 仕様ã®å“質を飛èºçš„ã«é«˜ã‚る手法 | SEshop.com
Alloy Analyzer ã§å½¢å¼ä»•æ§˜è¨˜è¿°
Isabelle
CafeOBJ 入門
www.vdmtools.jp – ã“ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã¯ãŠåå‰.comã§å–å¾—ã•ã‚Œã¦ã„ã¾ã™ã€‚
連載記事「誰ã§ã‚‚使ãˆã‚‹å½¢å¼æ‰‹æ³•ã€ ï¼ ï¼ IT MONOist
{{#tags}}- {{label}}
{{/tags}}