Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Algebraic_specification> ?p ?o }
Showing triples 1 to 37 of
37
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.↑ ↑ ↑".
- Algebraic_specification wikiPageID "4018181".
- Algebraic_specification wikiPageLength "3046".
- Algebraic_specification wikiPageOutDegree "15".
- Algebraic_specification wikiPageRevisionID "608401995".
- Algebraic_specification wikiPageWikiLink Boolean_algebra.
- Algebraic_specification wikiPageWikiLink Boolean_data_type.
- Algebraic_specification wikiPageWikiLink Category:Formal_methods.
- Algebraic_specification wikiPageWikiLink Common_Algebraic_Specification_Language.
- Algebraic_specification wikiPageWikiLink Constructor_(object-oriented_programming).
- Algebraic_specification wikiPageWikiLink Data_type.
- Algebraic_specification wikiPageWikiLink Don_Sannella.
- Algebraic_specification wikiPageWikiLink Exclusive_or.
- Algebraic_specification wikiPageWikiLink Finite-state_machine.
- Algebraic_specification wikiPageWikiLink Formal_specification.
- Algebraic_specification wikiPageWikiLink Logical_conjunction.
- Algebraic_specification wikiPageWikiLink Method_(computer_programming).
- Algebraic_specification wikiPageWikiLink Negation.
- Algebraic_specification wikiPageWikiLinkText "Algebraic specification".
- Algebraic_specification wikiPageWikiLinkText "algebraic specification".
- Algebraic_specification wikiPageWikiLinkText "constructors".
- Algebraic_specification wikiPageWikiLinkText "specifications".
- Algebraic_specification wikiPageUsesTemplate Template:Compsci-stub.
- Algebraic_specification subject Category:Formal_methods.
- Algebraic_specification hypernym Technique.
- Algebraic_specification type Area.
- Algebraic_specification type TopicalConcept.
- Algebraic_specification type Area.
- Algebraic_specification type Method.
- Algebraic_specification comment "Algebraic specification, is a software engineering technique for formally specifying system behavior.".
- Algebraic_specification label "Algebraic specification".
- Algebraic_specification sameAs Q4724019.
- Algebraic_specification sameAs Especificação_algébrica.
- Algebraic_specification sameAs m.0bcrzf.
- Algebraic_specification sameAs Q4724019.
- Algebraic_specification wasDerivedFrom Algebraic_specification?oldid=608401995.
- Algebraic_specification isPrimaryTopicOf Algebraic_specification.