Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Refinement_(computing)> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Refinement_(computing) abstract "Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.".
- Refinement_(computing) wikiPageID "1644367".
- Refinement_(computing) wikiPageLength "4227".
- Refinement_(computing) wikiPageOutDegree "39".
- Refinement_(computing) wikiPageRevisionID "672605357".
- Refinement_(computing) wikiPageWikiLink Abstraction_(computer_science).
- Refinement_(computing) wikiPageWikiLink Array_data_structure.
- Refinement_(computing) wikiPageWikiLink B-Method.
- Refinement_(computing) wikiPageWikiLink Category:Computer_programming.
- Refinement_(computing) wikiPageWikiLink Category:Formal_methods.
- Refinement_(computing) wikiPageWikiLink Cliff_Jones_(computer_scientist).
- Refinement_(computing) wikiPageWikiLink Computer_program.
- Refinement_(computing) wikiPageWikiLink Correctness_(computer_science).
- Refinement_(computing) wikiPageWikiLink Data_structure.
- Refinement_(computing) wikiPageWikiLink Determinism.
- Refinement_(computing) wikiPageWikiLink Element_(mathematics).
- Refinement_(computing) wikiPageWikiLink Empty_set.
- Refinement_(computing) wikiPageWikiLink Executable.
- Refinement_(computing) wikiPageWikiLink FermaT_Transformation_System.
- Refinement_(computing) wikiPageWikiLink Formal_methods.
- Refinement_(computing) wikiPageWikiLink Formal_specification.
- Refinement_(computing) wikiPageWikiLink Formal_system.
- Refinement_(computing) wikiPageWikiLink Formal_verification.
- Refinement_(computing) wikiPageWikiLink Hoare_logic.
- Refinement_(computing) wikiPageWikiLink Liskov_substitution_principle.
- Refinement_(computing) wikiPageWikiLink Logical_consequence.
- Refinement_(computing) wikiPageWikiLink Nondeterministic_algorithm.
- Refinement_(computing) wikiPageWikiLink Parameter_(computer_programming).
- Refinement_(computing) wikiPageWikiLink Postcondition.
- Refinement_(computing) wikiPageWikiLink Precondition.
- Refinement_(computing) wikiPageWikiLink Refinement_(computing).
- Refinement_(computing) wikiPageWikiLink Refinement_calculus.
- Refinement_(computing) wikiPageWikiLink Reification_(computer_science).
- Refinement_(computing) wikiPageWikiLink Retrenchment_(computing).
- Refinement_(computing) wikiPageWikiLink Return_type.
- Refinement_(computing) wikiPageWikiLink Set_(mathematics).
- Refinement_(computing) wikiPageWikiLink Specification_(technical_standard).
- Refinement_(computing) wikiPageWikiLink Subroutine.
- Refinement_(computing) wikiPageWikiLink Top-down_and_bottom-up_design.
- Refinement_(computing) wikiPageWikiLink Type_theory.
- Refinement_(computing) wikiPageWikiLink Variable_(computer_science).
- Refinement_(computing) wikiPageWikiLinkText "Refinement (computing)".
- Refinement_(computing) wikiPageWikiLinkText "Refinement (computing)#Refinement types".
- Refinement_(computing) wikiPageWikiLinkText "refinement types".
- Refinement_(computing) wikiPageWikiLinkText "refinement".
- Refinement_(computing) wikiPageUsesTemplate Template:Citation_needed.
- Refinement_(computing) wikiPageUsesTemplate Template:Data_transformation.
- Refinement_(computing) wikiPageUsesTemplate Template:Refimprove.
- Refinement_(computing) wikiPageUsesTemplate Template:Reflist.
- Refinement_(computing) wikiPageUsesTemplate Template:Soft-eng-stub.
- Refinement_(computing) subject Category:Computer_programming.
- Refinement_(computing) subject Category:Formal_methods.
- Refinement_(computing) hypernym Term.
- Refinement_(computing) type Area.
- Refinement_(computing) type Area.
- Refinement_(computing) type Method.
- Refinement_(computing) type Redirect.
- Refinement_(computing) comment "Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.".
- Refinement_(computing) label "Refinement (computing)".
- Refinement_(computing) sameAs Q3417382.
- Refinement_(computing) sameAs Raffinement.
- Refinement_(computing) sameAs 詳細化.
- Refinement_(computing) sameAs m.05k4zg.
- Refinement_(computing) sameAs Q3417382.
- Refinement_(computing) wasDerivedFrom Refinement_(computing)?oldid=672605357.
- Refinement_(computing) isPrimaryTopicOf Refinement_(computing).