정형 명세 (Formal Specification)
소프트웨어가 수행해야 할 동작을 수학적이거나 구조화된 논리로 엄격하게 정의하는 방식으로, 자연어의 모호함을 제거하기 위해 사용됨
용례
"영어가 코딩하기에 너무 장황하고 불분명하기 때문에, 대신 사용할 수 있는 프로그래밍 언어를 개발한 것입니다."
소프트웨어가 수행해야 할 동작을 수학적이거나 구조화된 논리로 엄격하게 정의하는 방식으로, 자연어의 모호함을 제거하기 위해 사용됨
"영어가 코딩하기에 너무 장황하고 불분명하기 때문에, 대신 사용할 수 있는 프로그래밍 언어를 개발한 것입니다."