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:
随便看	spunky monkey spunky monkeys spunlaced spunlaced fabric spun laced fabric spunlaid spunlaid fabric spun like spunlike spunlike texturing spun line spun linen spun look spunner spunnest Spun off Spun Out spun part spun pipe spun plied yarn spun polyester thread spun polyster yarn spun precolored spun precoloured spun protein