Matches in DBpedia 2016-04 for { ?s ?p "Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: formally defining types of data, and mathematical operations on those data types abstracting implementation details, such as the size of representations (in memory) and the efficiency of obtaining outcome of computations formalizing the computations and operations on data types allowing for automation by formally restricting operations to this limited set of behaviors and data types.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: constructor functions: functions that create or initialize the data elements, or construct complex elements from simpler ones additional functions: functions that operate on the data types, and are defined in terms of the constructor functions.↑ ↑ ↑"@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Algebraic_specification abstract "Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: formally defining types of data, and mathematical operations on those data types abstracting implementation details, such as the size of representations (in memory) and the efficiency of obtaining outcome of computations formalizing the computations and operations on data types allowing for automation by formally restricting operations to this limited set of behaviors and data types.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: constructor functions: functions that create or initialize the data elements, or construct complex elements from simpler ones additional functions: functions that operate on the data types, and are defined in terms of the constructor functions.↑ ↑ ↑".
- Q4724019 abstract "Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically develop more efficient programs by: formally defining types of data, and mathematical operations on those data types abstracting implementation details, such as the size of representations (in memory) and the efficiency of obtaining outcome of computations formalizing the computations and operations on data types allowing for automation by formally restricting operations to this limited set of behaviors and data types.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: constructor functions: functions that create or initialize the data elements, or construct complex elements from simpler ones additional functions: functions that operate on the data types, and are defined in terms of the constructor functions.↑ ↑ ↑".