Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_specification> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items 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.↑ ↑ ↑".
- Algebraic_specification wikiPageID "4018181".
- Algebraic_specification wikiPageRevisionID "598484759".
- Algebraic_specification hasPhotoCollection Algebraic_specification.
- Algebraic_specification subject Category:Formal_methods.
- Algebraic_specification type Ability105616246.
- Algebraic_specification type Abstraction100002137.
- Algebraic_specification type Cognition100023271.
- Algebraic_specification type FormalMethods.
- Algebraic_specification type Know-how105616786.
- Algebraic_specification type Method105660268.
- Algebraic_specification type PsychologicalFeature100023100.
- Algebraic_specification comment "Algebraic specification, is a software engineering technique for formally specifying system behavior.".
- Algebraic_specification label "Algebraic specification".
- Algebraic_specification label "Especificação algébrica".
- Algebraic_specification sameAs Especificação_algébrica.
- Algebraic_specification sameAs m.0bcrzf.
- Algebraic_specification sameAs Q4724019.
- Algebraic_specification sameAs Q4724019.
- Algebraic_specification sameAs Algebraic_specification.
- Algebraic_specification wasDerivedFrom Algebraic_specification?oldid=598484759.
- Algebraic_specification isPrimaryTopicOf Algebraic_specification.