[计] executable specification language

kě zhí xíng de guī gé shuō míng yǔ yán ㄎㄜˇ ㄓˊ ㄒㄧㄥˊ ㄉㄜ˙ ㄍㄨㄟ ㄍㄜˊ ㄕㄨㄛ ㄇㄧㄥˊ ㄩˇ ㄧㄢˊ