אנגלית ⇄ סינית +

behavioral specification of program
.בינה	行为规范编程