References
- Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
- B. Meyer, 'Applying 'design by contract:', Computer, pp. 40-51, October, 1992 https://doi.org/10.1109/2.161279
- B. Baudry, Vu Le Hanh, Y. Le Traon, 'Testing-for-Trust: the Genetic Selection Model Applied to Component Qualification', Technology of Object-Oriented Languages, TOOLS 33, Proceedings pp. 108-119, 2000 https://doi.org/10.1109/TOOLS.2000.848755
- K. Amout, r. Simon, 'The .NET Contract Wizard: Adding Design By Contract to Language Other Than Eiffel', Technology of Object-Oriented Languages and Systems, TOOLS 39 International Conference and Exhibition, pp, 14-23, 2001 https://doi.org/10.1109/TOOLS.2001.941655
- ISE, 'Building bug-free O-O software : An introduction to Design By Contract', http://www.eiffel.com/doc/manuals/technoloty/contract/page.html 1,2000
- Jean-Marc Jezequel, and Bertrand Meyer, 'Design By Contract: The Lessons of Ariane', Computer, pp. 129-130, Jan, 1997 https://doi.org/10.1109/2.562936
-
R. Kramer, 'iContract-The
$Java^{TM}$ ' Design by Contract' Tool', Technology of Object-Oriented Languages, TOOLS 26 Proceedings, pp. 295-307, 1998 https://doi.org/10.1109/TOOLS.1998.711021 - Yu Liu, 'From UML to Design By Contracts', JOOP, April, 2001
- Ed Roman, Mastering Enterprise JavaBeans, Wiley, 2000
- B. Meyer, 'Design by Contract: Making Object-Oriented Programs that Work', Technology of Object-Oriented Languages and Systems, TOOLS 25 Proceedings, pp. 360-361, 1998
- R. Plosch, 'Technology of Object-Oriented Languages and Systems', TOOLS 26 Proceedings, pp. 282-294, 1998
- Warmer, Kleppe, The Object Constraint Language, Addison Wesley, 1998
- B. Meyer, 'Design By Contract: The Eiffel Method', Technology of Object-Oriented Languages, TOOLS 26, Proceedings, pp. 446-446, 1998
- Benoit Baudry, Yves Le Traon, Jean-Marc Jezequel, 'Robustness and Diagnosability of 00 Systems Designed By Contracts', Software Metrics Symposium, pp. 272-284, 2001 https://doi.org/10.1109/METRIC.2001.915535
- 노혜민, 이상영, 김송주, 유철중, 장옥배, 이우진, 신규상, '서버측 애플리케이션 개발을 위한 EJB 지원 엔터프라이즈 빈즈 생성기/전개기의 설계 및 구현', 한국정보과학회 논문지;컴퓨터의 실제, pp, 429-439, 2001
- 노혜민, 유철중, 장옥배, 'DBC 접근법을 이용한 엔터프라이즈 빈즈 명세 기법', 한국정보과학회 추계 학술발표논문집(I), 제28권 2호, pp. 421-423, 2001
- OMG, OMG Unified Modeling Language Specification, http://www.rational.co.kr/leadership/uml_resource_center.asp, 1999
-
ParaSoft, Using Design By
$Contract^{TM}$ : to Automate$Java^{TM}$ Software and Component Testing, 2001. - Richard Mitchell, Jim McKim, Design by Contract, by Example, Addison Wesley, 2002