정형 기법

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

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

 참조 

 같이 보기 
 자동 정리 증명
 계약에 의한 설계
 형식과학
 형식 검증
 형식 체계
 감리교회
 방법론
 과학적 방법
 소프트웨어 공학
 명세 언어
 참고 문헌 
 Jean François Monin and Michael G. Hinchey, Understanding formal methods, Springer, 2003, .
 Jonathan P. Bowen and Michael G. Hinchey, Formal Methods. In Allen B. Tucker, Jr. (ed.), Computer Science Handbook, 2nd edition, Section XI, Software Engineering,Chapter 106, pages 106-1 – 106-25, Chapman & Hall / CRC Press, Association for Computing Machinery, 2004.
 Michael G. Hinchey, Jonathan P. Bowen, and Emil Vassev, Formal Methods. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, Taylor & Francis, 2010, pages 308–320.

 외부 링크 
  Formal Methods Wiki


분류:소프트웨어 개발 철학
분류:이론 컴퓨터 과학