Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Refinement_calculus> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Refinement_calculus abstract "The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non-executable "program", which is then refined by a series of correctness-preserving transformations into an efficiently executable program.Proponents include Ralph-Johan Back, who originated the approach in his 1978 PhD thesis On the Correctness of Refinement Steps in Program Development, and Carroll Morgan, especially with his book Programming from Specifications (Prentice Hall, 2nd edition, 1994, ISBN 0-13-123274-6). In the latter case, the motivation was to link Abrial's specification notation Z, via a rigorous relation of behaviour-preserving program refinement, to an executable programming notation based on Dijkstra's language of guarded commands. Behaviour-preserving in this case means that any Hoare triple satisfied by a program should also be satisfied by any refinement of it, which notion leads directly to specification statements as pre- and postconditions standing, on their own, for any program that could soundly be placed between them.".
- Refinement_calculus wikiPageExternalLink PfS.
- Refinement_calculus wikiPageExternalLink index.php?page=Refinement%20calculus%20all.html.
- Refinement_calculus wikiPageExternalLink home.html.
- Refinement_calculus wikiPageExternalLink morgan.
- Refinement_calculus wikiPageID "2775268".
- Refinement_calculus wikiPageLength "1778".
- Refinement_calculus wikiPageOutDegree "12".
- Refinement_calculus wikiPageRevisionID "628232976".
- Refinement_calculus wikiPageWikiLink Carroll_Morgan_(academic).
- Refinement_calculus wikiPageWikiLink Carroll_Morgan_(computer_scientist).
- Refinement_calculus wikiPageWikiLink Category:Formal_methods.
- Refinement_calculus wikiPageWikiLink Category:Formal_specification_languages.
- Refinement_calculus wikiPageWikiLink Category:Logical_calculi.
- Refinement_calculus wikiPageWikiLink Edsger_W._Dijkstra.
- Refinement_calculus wikiPageWikiLink Guarded_Command_Language.
- Refinement_calculus wikiPageWikiLink Guarded_commands.
- Refinement_calculus wikiPageWikiLink Hoare_logic.
- Refinement_calculus wikiPageWikiLink Hoare_triple.
- Refinement_calculus wikiPageWikiLink Jean-Raymond_Abrial.
- Refinement_calculus wikiPageWikiLink Program_refinement.
- Refinement_calculus wikiPageWikiLink Ralph-Johan_Back.
- Refinement_calculus wikiPageWikiLink Refinement_(computing).
- Refinement_calculus wikiPageWikiLink Z_notation.
- Refinement_calculus wikiPageWikiLinkText "Refinement calculus".
- Refinement_calculus wikiPageWikiLinkText "refinement calculi".
- Refinement_calculus wikiPageWikiLinkText "refinement calculus".
- Refinement_calculus hasPhotoCollection Refinement_calculus.
- Refinement_calculus wikiPageUsesTemplate Template:Formalmethods-stub.
- Refinement_calculus subject Category:Formal_methods.
- Refinement_calculus subject Category:Formal_specification_languages.
- Refinement_calculus subject Category:Logical_calculi.
- Refinement_calculus hypernym Approach.
- Refinement_calculus type Area.
- Refinement_calculus type Language.
- Refinement_calculus type ProgrammingLanguage.
- Refinement_calculus type Area.
- Refinement_calculus type Language.
- Refinement_calculus type Method.
- Refinement_calculus comment "The refinement calculus is a formalized approach to stepwise refinement for program construction.".
- Refinement_calculus label "Refinement calculus".
- Refinement_calculus sameAs m.081_yy.
- Refinement_calculus sameAs Q7307205.
- Refinement_calculus sameAs Q7307205.
- Refinement_calculus wasDerivedFrom Refinement_calculus?oldid=628232976.
- Refinement_calculus isPrimaryTopicOf Refinement_calculus.