å¥ç´ã«ããè¨è¨ ä»åã¯ãC++ ã§ã¯å®ç¾ãã«ããé¢ãããããã©ãã èãæ¹ã¨ãã¦ã¯é常ã«å½¹ç«ã¤ã¨æãããéçºææ³ãç´¹ä»ããã ãå¥ç´ã«ããè¨è¨ã (Design by Contractã以ä¸ãDBC ã¨ç¥è¨) ã¨ã¯ã ãã¨ã㨠Eiffel*1 ã¨ãããªãã¸ã§ã¯ãæåããã°ã©ãã³ã°è¨èªã®è¨è¨è ã§ãã Bertrand Meyeræ°ãæå±ããåè¨èªã«å®è£ ããæ¦å¿µã§ãããããã åæ°ãè¨ç«ãã ISE ã¨ããä¼ç¤¾ã® Web ãµã¤ããè¦ãã¨ããªããã"Design by Contract" ã«ã TM ãä»ãã¦ããããããã¾ããããã¯ã¨ãããã DBC ã§ã¯ãããæä½ãå®è¡ããã®ã«å¿ è¦ãªæ¡ä»¶ãã æä½ãå®è¡ããåå¾ã§å¤ãã£ã¦ã¯ãªããªãæ¡ä»¶ãªã©ãè¨è¿°ãã ããã°ã©ã ã®å®è¡æã«ãã®æ¡ä»¶ããã§ãã¯ãããã¨ãã§ããã ãããããã¨ã«ãã£ã¦ããã©ã¡ã¼ã¿ãæ»å¤ãªã©ã®å¤ã®å¦¥å½æ§ã®ä¿è¨¼ã«ã¤ãã¦ã å¼ã³åºãå´ã¨æ
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}