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

formalized software specification method
.טכנול	形式化软件规格说明方法