http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이진호(Jeanho Lee),황대연(Daeyon Hwang),심재환(Jeahwan Sim),최진영(Jinyoung Choi) 한국정보과학회 2008 한국정보과학회 학술발표논문집 Vol.35 No.1
시스템의 복잡도를 정의하고 측정하는 일은 보다 신뢰성있고 효율적인 시스템을 만들기 위한 초석이다. 복잡도가 증가함에 따라 복잡도에 영향을 받는 안전필수 시스템의 안전성을 정의하고 측정할 메트릭스가 필요성도 증가하고 있다. 본 논문에서는 임베디드 시스템의 복잡성과 안전성을 고찰하고, 안전성의 성질을 서술하는 복잡도 메트릭을 제안한다.
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
이진호(Jeanho Lee),황대연(Daeyon Hwang),김진현(Jinhyun Kim),박준길(Junkil Park),최진영(Jin-Young Choi),황종규(Jong-Gyu Hwang),윤용기(Yong-Ki Yoon),조현정(Hyun-Jeong Jo) 한국정보과학회 2008 정보과학회논문지 : 소프트웨어 및 응용 Vol.35 No.12
철도 제어 시스템은 대표적인 안전필수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다. A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.
김지영(JeeYoung Kim),황대연(DaeYon Hwang),최진영(Jin-Young Choi) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1D
스마트폰의 보급 확산과 웹2.0의 확대로 개인들의 정보 생산과 소비활동이 쉽게 이뤄지면서 참여, 공개, 대화, 커뮤니티 연결의 특성을 기반으로 한 소셜미디어의 등장과 활용빈도가 크게 증가되고 있다. 이러한 정보 통신 기술의 발전으로 ‘물리적인 지점만 = 영업력’이라는 등식이 더 이상 유효하지 않는 시대가 도래됨에 따라 고객을 ‘기다리는 영업’에서 ‘찾아가는 영업’으로 영업방식에 대한 새로운 접근법이 필요한 시점이다. 이에 본 논문에서는 기존 단방향성의 독점적인 ‘전달’에서 벗어나 양방향적인 정보흐름이 가능한 ‘소통’을 지원하는 온라인 관계 마케팅의 필요성을 살펴보고, CRM시스템과 연계하여 고객과 영업점 직원 창구단말기간 1:1 소통할 수 있는 새로운 마케팅 채널로서 SNS을 활용한 스마트 채널의 구축방안을 제시하고자 한다.