정형 기법

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
Z 언어를 이용한 형식 명세서의 예

컴퓨터 과학, 특히 소프트웨어 공학에서 정형 기법(영어: formal methods, 형식 수법)은 소프트웨어하드웨어 시스템의 명세, 개발, 형식 검증을 위한 특정한 종류의 수학적 기반 기술이다.[1] 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다.[2]

정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, 프로그램 의미론, 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다.[3]

참조[편집]

  1. R. W. Butler (2001년 8월 6일). “What is Formal Methods?”. 2006년 11월 16일에 확인함. 
  2. C. Michael Holloway. “Why Engineers Should Consider Formal Methods”. 16th Digital Avionics Systems Conference (27–30 October 1997). 2006년 11월 16일에 확인함. 
  3. Monin, pp.3-4

참고문헌[편집]

바깥 고리[편집]