http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이수영(Su-Young lee),김진현(Jin-Hyun Kim),안영아(Youna-Ah Ahn),심재환(Jae-Hwan Sim),양진석(Jin-Seock Yang),이나영(Na-Young Lee),손한성(Han-Seong Son),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
항공 및 국방 산업 등에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification:SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification:SDS)를 정형기법을 이용하여 명세하였다 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정 확하게 소프트웨어를 구현할 수 있는 방법을 제시 하고자 한다.