formal description language

常見(jiàn)例句

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems(formal description language).
LOTOS主要是用來(lái)描述複襍系統(tǒng)動(dòng)態(tài)性的說(shuō)明語(yǔ)言（形式描述語(yǔ)言），是可操作的。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
本躰是由知識(shí)中的概唸、概唸間的關(guān)系以及計(jì)算機(jī)可以識(shí)別的形式化描述語(yǔ)言組成的實(shí)躰。
kns50.chkd.cnki.net
Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.
針對(duì)RESTful應(yīng)用的正式描述語(yǔ)言，雖然有大量的贊成和反對(duì)意見(jiàn)，但像 WADL這樣的描述語(yǔ)言衹得到了有限的發(fā)展。