??????????????

????Design by Contract (DbC) – ???????

????DbC?????????????????е????????????????“????”??“????”???????????????????????“???”??“?????”???“???”???????????磺

????????????????????????Σ?????????????????????????????????

????????????????Σ?????????????????????????

????????????????????Щ?????????????Ч?????Σ??編???漲???

????????????????????????????????????????????????

???????????е???????????鶼????????????????????????????????????????????????????????????????????????????????????????????

????????????????????????????????????????——?????????????????????????????

????????????????????????????Щ?????????????????

???????????Щ???????????????????????????“????????”?????DbC??????????????????????

??????????????????

??????????????????

??????????????????

????????Bertrand Meyer???????DBC???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????л????????????????????????????????????????????????????

???????????????????????????????????????У??????????????

????1.???????????????

????2.?????????????????

???????仰?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????κλ????????????κ??????????????????????????????????????к??????????????????????????????????Υ????????????????κ?????????????????????????????е?????

??????????????????????????LSP???????????LSP??LSP??????????

?????ο???http://en.wikipedia.org/wiki/Design_by_contract

????Acyclic Dependencies Principle (ADP) – ??????????

??????????????????????????????????Σ????????????????в??????????????????????????????????γ??????????????????????????????????2??????????????????????????????????????????μ???????A??B??C?γ??·?????????????Щ?????????????????μ??D????????C????A?????C????D???A????D????????????????????????????????????DIP???????????????ISP????????????????

??????????????ADP??????????????????????????????????????????????????