Algebraic specification

Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by:

An algebraic specification achieves these goals by defining one or more data types, and specifying a collection of functions that operate on those data types. These functions can be divided into two classes:

单词	Algebraic specification
释义	Algebraic specification 英语百科 Algebraic specification Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: An algebraic specification achieves these goals by defining one or more data types, and specifying a collection of functions that operate on those data types. These functions can be divided into two classes:
随便看	departments of the treasury的意思 departments of transportation的意思 departments of veterans affairs的意思 departments responsible for the work的意思 department statistics的意思 department store的意思 departmentstore的意思 department store of finance的意思 department store ownership group的意思 department store的意思 department store transit policy的意思 department stre的意思 department substation的意思 department supervisor的意思 Departments,X Ray的意思 department tag file的意思 department technical economics的意思 department variance on overhead的意思 departmentwide的意思 department wrap的意思 department writeups的意思 Department,X Ray的意思 departmrnt of dermatology的意思 depart on的意思 depart out of this world的意思