Algebraic specification
Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: 1.
* formally defining types of data, and mathematical operations on those data types 2.
* abstracting implementation details, such as the size of representations (in memory) and the efficiency of obtaining outcome of computations 3.
* formalizing the computations and operations on data types 4.
* allowing for automation by formally restricting operations to this limited set of behaviors and data types.
primaryTopic
Algebraic specification
Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: 1.
* formally defining types of data, and mathematical operations on those data types 2.
* abstracting implementation details, such as the size of representations (in memory) and the efficiency of obtaining outcome of computations 3.
* formalizing the computations and operations on data types 4.
* allowing for automation by formally restricting operations to this limited set of behaviors and data types.
has abstract
Algebraic specification, is a ...... of the constructor functions.
@en
Em ciência da computação, espe ...... os permitem reduzir a álgebra.
@pt
Wikipage page ID
Wikipage revision ID
608,401,995
subject
hypernym
type
comment
Algebraic specification, is a ...... t of behaviors and data types.
@en
Em ciência da computação, espe ...... ser dedutíveis mas outros não.
@pt
label
Algebraic specification
@en
Especificação algébrica
@pt