Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Program_derivation> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Program_derivation abstract "In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non-executable, and then apply mathematically correct rules in order to obtain an executable program satisfying that specification. The program thus obtained is then correct by construction. Program and correctness proof are constructed together.The approach usually taken in formal verification is to first write a program, and then provide a proof that it conforms to a given specification. The main problems with this are that the resulting proof is often long and cumbersome; no insight is given as to how the program was developed; it appears \"like a rabbit out of a hat\"; should the program happen to be incorrect in some subtle way, the attempt to verify it is likely to be long and certain to be fruitless.Program derivation tries to remedy these shortcomings by keeping proofs shorter, by development of appropriate mathematical notations; making design decisions through formal manipulation of the specification.Terms that are roughly synonymous with program derivation are: transformational programming, algorithmics, deductive programming.The Bird-Meertens Formalism is an approach to program derivation.".
- Program_derivation wikiPageExternalLink aPToP.
- Program_derivation wikiPageID "474691".
- Program_derivation wikiPageLength "2802".
- Program_derivation wikiPageOutDegree "13".
- Program_derivation wikiPageRevisionID "685266021".
- Program_derivation wikiPageWikiLink Bird–Meertens_formalism.
- Program_derivation wikiPageWikiLink Category:Program_derivation.
- Program_derivation wikiPageWikiLink Computer_science.
- Program_derivation wikiPageWikiLink Correctness_(computer_science).
- Program_derivation wikiPageWikiLink Design_by_contract.
- Program_derivation wikiPageWikiLink Edsger_W._Dijkstra.
- Program_derivation wikiPageWikiLink Eric_Hehner.
- Program_derivation wikiPageWikiLink Formal_specification.
- Program_derivation wikiPageWikiLink Formal_verification.
- Program_derivation wikiPageWikiLink Hoare_logic.
- Program_derivation wikiPageWikiLink Mathematical_proof.
- Program_derivation wikiPageWikiLink Proof-carrying_code.
- Program_derivation wikiPageWikiLink Refinement_(computing).
- Program_derivation wikiPageWikiLinkText "Program derivation".
- Program_derivation wikiPageWikiLinkText "deriving programs".
- Program_derivation wikiPageWikiLinkText "program derivation".
- Program_derivation subject Category:Program_derivation.
- Program_derivation hypernym Derivation.
- Program_derivation type Area.
- Program_derivation type Area.
- Program_derivation type Method.
- Program_derivation comment "In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non-executable, and then apply mathematically correct rules in order to obtain an executable program satisfying that specification. The program thus obtained is then correct by construction.".
- Program_derivation label "Program derivation".
- Program_derivation sameAs Q7248413.
- Program_derivation sameAs プログラム導出.
- Program_derivation sameAs m.02dy4d.
- Program_derivation sameAs Q7248413.
- Program_derivation wasDerivedFrom Program_derivation?oldid=685266021.
- Program_derivation isPrimaryTopicOf Program_derivation.