Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2016.04a
  • /
  • Pages.522-525
  • /
  • 2016
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Case Study on Synthesizing Controller from GR(1) Specification

GR(1) 명세로부터 제어기를 합성하는 사례 연구

  • Im, Hae Min (Dept of Computer Science, Kyonggi University) ;
  • Kwon, Gihwon (Dept of Computer Science, Kyonggi University)
  • 임혜민 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과)
  • Published : 2016.04.29
Download PDF
⟨ Previous Next ⟩

Abstract

마오즈가 참고문헌 [4]에서 언급했듯이, GR(1) 합성이 소프트웨어 공학에서 활발히 사용되기 위해서는 명세 작성의 어려움이 해결되어야 한다. 명세 작성을 돕기 위해서 패턴 활용, 자연어 사용 및 그래픽 명세 언어 등이 제안되었지만 기대한 만큼 실효를 거두지는 못하고 있다. 일반 개발자들이 명세 작성을 배울 때 선호하는 방법이 예제에 의한 학습(learning by example) 이다. 본 논문에서는 GR(1) 합성을 이용하여 명세로부터 게임 예제의 제어기를 생성한다.

Keywords