auroraの日記: Design by Contract
日記 by
aurora
- Building bug-free O-O software: An introduction to Design by Contract
- contract pattern (PDF)
- Java and ``Design by Contract''
- 事前条件と事後条件
- Implement Design by Contract for Java using dynamic proxies
DbC の条件をインタフェースの Javadoc 形式の コメントとして記述し,Dynamic Proxy クラスを自動的に作成する.
Design by Contract More ログイン