specification language

常見(jiàn)例句

雙語(yǔ)例句

• OOZS is an object-oriented formal specification language, it is an extension to Z language.
  OOZS語(yǔ)言是一種面向?qū)ο蟮男问揭?guī)格說(shuō)明語(yǔ)言，用于書(shū)寫(xiě)軟件的形式規(guī)格說(shuō)明。
• AAA, an algebraic specification language based on the abstract data type, is introduced first.
  首先給出一種基于抽象數(shù)據(jù)類(lèi)型的代數(shù)規(guī)格說(shuō)明語(yǔ)言AAA；
• The paper models software requirement in the form of formalized specification language B, develops software based on a precise mathematical framework in order to achieve better software performance.
  利用形式化規(guī)格說(shuō)明語(yǔ)言—— B語(yǔ)言對(duì)軟件需求進(jìn)行了嚴(yán)格定義，在嚴(yán)格的數(shù)學(xué)基礎(chǔ)上進(jìn)行軟件開(kāi)發(fā)，以獲得更好的軟件性能。
返回 specification language