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)描述復(fù)雜系統(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ā)展。 返回 formal description language