1 |
OMG, OMG Unified Modeling Language Specification, http://www.rational.co.kr/leadership/uml_resource_center.asp, 1999
|
2 |
ParaSoft, Using Design By : to Automate Software and Component Testing, 2001.
|
3 |
Richard Mitchell, Jim McKim, Design by Contract, by Example, Addison Wesley, 2002
|
4 |
Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
|
5 |
B. Meyer, 'Applying 'design by contract:', Computer, pp. 40-51, October, 1992
DOI
ScienceOn
|
6 |
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
|
7 |
Jean-Marc Jezequel, and Bertrand Meyer, 'Design By Contract: The Lessons of Ariane', Computer, pp. 129-130, Jan, 1997
DOI
ScienceOn
|
8 |
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
DOI
|
9 |
R. Kramer, 'iContract-The ' Design by Contract' Tool', Technology of Object-Oriented Languages, TOOLS 26 Proceedings, pp. 295-307, 1998
DOI
|
10 |
B. Meyer, 'Design By Contract: The Eiffel Method', Technology of Object-Oriented Languages, TOOLS 26, Proceedings, pp. 446-446, 1998
|
11 |
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
DOI
|
12 |
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
|
13 |
노혜민, 유철중, 장옥배, 'DBC 접근법을 이용한 엔터프라이즈 빈즈 명세 기법', 한국정보과학회 추계 학술발표논문집(I), 제28권 2호, pp. 421-423, 2001
과학기술학회마을
|
14 |
Yu Liu, 'From UML to Design By Contracts', JOOP, April, 2001
|
15 |
Ed Roman, Mastering Enterprise JavaBeans, Wiley, 2000
|
16 |
R. Plosch, 'Technology of Object-Oriented Languages and Systems', TOOLS 26 Proceedings, pp. 282-294, 1998
|
17 |
Warmer, Kleppe, The Object Constraint Language, Addison Wesley, 1998
|
18 |
노혜민, 이상영, 김송주, 유철중, 장옥배, 이우진, 신규상, '서버측 애플리케이션 개발을 위한 EJB 지원 엔터프라이즈 빈즈 생성기/전개기의 설계 및 구현', 한국정보과학회 논문지;컴퓨터의 실제, pp, 429-439, 2001
과학기술학회마을
|
19 |
Benoit Baudry, Yves Le Traon, Jean-Marc Jezequel, 'Robustness and Diagnosability of 00 Systems Designed By Contracts', Software Metrics Symposium, pp. 272-284, 2001
DOI
|