Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4724019> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Q4724019 subject Q8466124.
- 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.↑ ↑ ↑".
- Q4724019 wikiPageWikiLink Q1049476.
- Q4724019 wikiPageWikiLink Q1437424.
- Q4724019 wikiPageWikiLink Q173183.
- Q4724019 wikiPageWikiLink Q176452.
- Q4724019 wikiPageWikiLink Q190087.
- Q4724019 wikiPageWikiLink Q190558.
- Q4724019 wikiPageWikiLink Q191081.
- Q4724019 wikiPageWikiLink Q498186.
- Q4724019 wikiPageWikiLink Q5153278.
- Q4724019 wikiPageWikiLink Q520777.
- Q4724019 wikiPageWikiLink Q5293472.
- Q4724019 wikiPageWikiLink Q815844.
- Q4724019 wikiPageWikiLink Q8466124.
- Q4724019 comment "Algebraic specification, is a software engineering technique for formally specifying system behavior.".
- Q4724019 label "Algebraic specification".