specification language

常見例句

OOZS is an object-oriented formal specification language, it is an extension to Z language.
OOZS語言是一種面向對象的形式規(guī)格說明語言，用于書寫軟件的形式規(guī)格說明。
AAA, an algebraic specification language based on the abstract data type, is introduced first.
首先給出一種基于抽象數據類型的代數規(guī)格說明語言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ī)格說明語言—— B語言對軟件需求進行了嚴格定義，在嚴格的數學基礎上進行軟件開發(fā)，以獲得更好的軟件性能。