00977nam a2200217 c 4500001001300000005001500013008004100028041001300069049001800082052001600100056001400116082001600130245024000146260003600386300004100422502008900463504002900552650006000581650006500641700005300706KDM20065032420200917160640060825s2006    ulkad      AK 000   kor  0 akorbeng0 lEM3679290fDP01a566.32b6-4  a566.32240 a621.39122100a시나리오 기반 모델 변환을 통한 실시간 객체 모델의 다중 쓰레드 구현 합성=xSynthesizing real-time object-oriented models into multithread implementations via scenario-based model transformations/d김세화  a서울:b서울대학교,c2006  axiv, 199 p.:b삽화, 도표;c26 cm1 a학위논문(박사) --b서울대학교 대학원,c전기컴퓨터공학부,d2006  a참고문헌: p. 183-191 8a객체 지향 설계[客體指向設計]0KSH2004031372 8a실시간 처리 시스템[實時間處理--]0KSH20000012241 a김세화,g金世和,d1974-0KAC2019E88374aut