01177nam a2200229 c 4500001001300000005001500013007000300028008004100031040001100072041001300083052004000096245019000136300002400326545010700350545011600457653006900573700005300642700004800695773016900743900001600912900001900928KSI00072822420081127160549ta081124s2002    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄷc29(7)-29(12)00aDbC 접근법을 이용한 EJB 기반 애플리케이션의 명세 기법 =xSpecification technique of EJB-based application using design by contracts approach /d노혜민,e유철중  ap. 895-906 ;c26 cm  a노혜민, 학생회원, 전북대학교 대학원 컴퓨터통계정보학과bhmino@cs.chonbuk.ac.kr  a유철중, 종신회원, 전북대학교 자연과학대학 컴퓨터과학과 교수bcjyoo@moak.chonbuk.ac.kr  aDbCaDesign by contracta정형명세aEJBaFormal specification1 a노혜민,g魯慧敏,d1973-0KAC2017211514aut1 a유철중,g劉哲中,d1960-0KAC2016331720 t정보과학회논문지-소프트웨어 및 응용.d한국정보과학회.g29권 11-12호(2002년 12월), p. 895-906q29:12<895w(011001)KSE200000590,x1229-684810aNoh, Hyemin10aYoo, Cheoljung