# Ada (programming language) > Design by contract를 지원하는 프로그래밍 언어. 를 지원하는 <프로그래밍 언어>.