契約ã«ã‚ˆã‚‹è¨è¨ˆå¥‘ç´„ã«ã‚ˆã‚‹è¨è¨ˆ 今回ã¯ã€C++ ã§ã¯å®Ÿç¾ã—ã«ãã„é¢ãŒã‚ã‚‹ã‘ã‚Œã©ã‚‚〠考ãˆæ–¹ã¨ã—ã¦ã¯éžå¸¸ã«å½¹ç«‹ã¤ã¨æ€ã‚れる開発手法を紹介ã™ã‚‹ã€‚ 「契約ã«ã‚ˆã‚‹è¨è¨ˆã€ (Design by Contractã€ä»¥ä¸‹ã€DBC ã¨ç•¥è¨˜) ã¨ã¯ã€ ã‚‚ã¨ã‚‚㨠Eiffel*1 ã¨ã„ã†ã‚ªãƒ–ジェクト指å‘プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®è¨è¨ˆè€…ã§ã‚ã‚‹ Bertrand Meyeræ°ãŒæå”±ã—ã€åŒè¨€èªžã«å®Ÿè£…ã—ãŸæ¦‚念ã§ã‚るらã—ã„。 åŒæ°ãŒè¨ç«‹ã—㟠ISE ã¨ã„ã†ä¼šç¤¾ã® Web サイトを見るã¨ã€ãªãœã‹ã€"Design by Contract" ã«ã€ TM ãŒä»˜ã„ã¦ã„ãŸã‚Šã™ã‚‹ã€‚ã¾ã‚ã€ãã‚Œã¯ã¨ã‚‚ã‹ã。 DBC ã§ã¯ã€ã‚ã‚‹æ“作を実行ã™ã‚‹ã®ã«å¿…è¦ãªæ¡ä»¶ã‚„〠æ“作を実行ã™ã‚‹å‰å¾Œã§å¤‰ã‚ã£ã¦ã¯ãªã‚‰ãªã„æ¡ä»¶ãªã©ã‚’記述ã—〠プãƒã‚°ãƒ©ãƒ ã®å®Ÿè¡Œæ™‚ã«ãã®æ¡ä»¶ã‚’ãƒã‚§ãƒƒã‚¯ã™ã‚‹ã“ã¨ãŒã§ãる。 ã“ã†ã™ã‚‹ã“ã¨ã«ã‚ˆã£ã¦ã€ãƒ‘ラメータや戻値ãªã©ã®å€¤ã®å¦¥å½“性ã®ä¿è¨¼ã«ã¤ã„ã¦ã€ 呼ã³å‡ºã—å´ã¨æ“
{{#tags}}- {{label}}
{{/tags}}