mechanized specification
- 스펙 프로그래밍
- 전산화된 명세/규격
- 돌릴수있는 명세
댓글 3개
이
이광근/YiKwangkeun·돌릴수있는 명세·10일 전
돌릴수있는 명세를 제안해요.
허
허기홍·전산화된 명세/규격·11일 전
성적데이터 전산화, 조선왕조실록 전산화, 판결문 전산화처럼 아날로그 데이터를 기계가 쉽게 처리하고 검색가능하게 하는데 이미 전산화라는 용어가 많이 쓰이고 있네요.
BJ
Bongjun Jang·스펙 프로그래밍·12일 전
스펙을 자연어가 아니라 프로그램으로 본다는 것은 본질적으로 스펙을 프로그래밍하는 것입니다. 프로그램(스펙)을 실행하는 인터프리터, 버그를 찾는 퍼저, 스펙을 분석하는 정적분석이나 검증이 가능하기 때문입니다.