DOI QR코드

DOI QR Code

Applicability Analysis of Formal Methods for Game Software

게임 소프트웨어를 위한 정형기법의 적용성 분석

  • Published : 2007.11.30

Abstract

The game software development involves planning, programming and graphics. Between planning and programming, software analysis and design is essential and plays the role of a bridge. This article analyzes, for game software, the applicability of formal methods, which are widely used in general software engineering fields. Since the effective communication between game planners and game developers is crucial, appropriate application of formal methods give us a lot of benefits in view of development cost and software quality.

Keywords

Formal Methods;Game Software Analysis and Design;Applicability