지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011한국컴퓨터종합학술대회 논문집 제38권 제1호(B)
- 발행연도
- 2011.6
- 수록면
- 200 - 203 (4page)
이용수
초록· 키워드
오류제보하기
다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.
목차
요약
1. 서론
2. 반응형 시스템 개발 방법
3. 신호등 시스템 컨트롤러
4. 결론 및 향후 연구
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
소규모 교전을 위한 시나리오 생성 프로세스 제안
안의국
,
고민석
,
천상욱
외 1명
한국CDE학회 논문집
2013
.04
시뮬레이션 기반 디지털 조선소 구축 및 활용
한상동
,
유철호
,
신종계
외 1명
한국CDE학회 논문집
2008
.02
조선소 생산계획 업무 프로세스 분석을 통한 디지털 선박생산 시뮬레이션 적용 전략 수립
이광국
한국정보통신학회논문지
2013
.08
ERP 구축을 위한 기술관리, 생산계획/관리시스템의 효율적인 연계방안에 관한 연구
윤재홍
경영논총
1999
.12
여러 시나리오를 갖는 확장된 hub-and-spoke 수송네트워크설계
신경석
,
김준혁
,
김여근
대한산업공학회 춘계공동학술대회 논문집
2007
.05
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-000349241