契約プログラミング - Wikipedia
ja.wikipedia.org