01430na  a2200265   4500001001300000005001500013007000300028008004100031040001100072041001300083052003900096245022600135300002400361545009800385545009500483545010200578653013100680700005300811700004800864700003600912773016300948900001801111900001801129900001701147KSI00072454320081126160534ta081113s2000    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄷc27(1)-27(4)00a객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 =xHierarchical specification and verification of requirements using an object-oriented petri net /d홍장의,e윤일철,e배두환  ap. 157-167 ;c26 cm  a홍장의, 종신회원, 한국과학기술원 전자전산학과bjehong@salmosa.kaist.ac.kr  a윤일철, 비회원, 한국과학기술원 전자전산학과bicyoon@salmosa.kaist.ac.kr  a배두환, 종신회원, 한국과학기술원 전자전산학과 교수bbae@salmosa.kaist.ac.kr  a객체지향a페트리 넷a검증a명세aObject-orientedaPetri netaVerificationaRequirementaHierarchical sepcification1 a홍장의,g洪長義,d1965-0KAC2016312444aut1 a윤일철,g尹一喆,d1974-0KAC2019503601 a배두환,d1957-0KAC2018068000 t정보과학회논문지-소프트웨어 및 응용.d한국정보과학회.g27권 2호(2000년 2월), p. 157-167q27:2<157w(011001)KSE200000590,x1229-684810aHong, Jangeui10aYoon, Ilcheol10aBae, Doohwan