Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Refinement_calculus> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items 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 wikiPageRevisionID "531184911".
- Refinement_calculus hasPhotoCollection Refinement_calculus.
- Refinement_calculus subject Category:Formal_methods.
- Refinement_calculus subject Category:Formal_specification_languages.
- Refinement_calculus subject Category:Logical_calculi.
- Refinement_calculus type Ability105616246.
- Refinement_calculus type Abstraction100002137.
- Refinement_calculus type Cognition100023271.
- Refinement_calculus type Communication100033020.
- Refinement_calculus type FormalMethods.
- Refinement_calculus type FormalSpecificationLanguages.
- Refinement_calculus type Know-how105616786.
- Refinement_calculus type Language106282651.
- Refinement_calculus type Method105660268.
- Refinement_calculus type PsychologicalFeature100023100.
- 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 sameAs Refinement_calculus.
- Refinement_calculus wasDerivedFrom Refinement_calculus?oldid=531184911.
- Refinement_calculus isPrimaryTopicOf Refinement_calculus.