Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Refinement_(computing)> }
Showing triples 1 to 52 of
52
with 100 triples per page.
- Refinement wikiPageDisambiguates Refinement_(computing).
- Data_refinement wikiPageRedirects Refinement_(computing).
- Operation_refinement wikiPageRedirects Refinement_(computing).
- Program_Refinement wikiPageRedirects Refinement_(computing).
- Program_refinement wikiPageRedirects Refinement_(computing).
- Refinement_type wikiPageRedirects Refinement_(computing).
- Abstract_state_machines wikiPageWikiLink Refinement_(computing).
- Abstraction_(computer_science) wikiPageWikiLink Refinement_(computing).
- B-Method wikiPageWikiLink Refinement_(computing).
- Baherove_Air_Base wikiPageWikiLink Refinement_(computing).
- Data_refinement wikiPageWikiLink Refinement_(computing).
- Data_transformation wikiPageWikiLink Refinement_(computing).
- Design_by_contract wikiPageWikiLink Refinement_(computing).
- F*_(programming_language) wikiPageWikiLink Refinement_(computing).
- FDR2 wikiPageWikiLink Refinement_(computing).
- Formal_methods wikiPageWikiLink Refinement_(computing).
- Formal_specification wikiPageWikiLink Refinement_(computing).
- Index_of_object-oriented_programming_articles wikiPageWikiLink Refinement_(computing).
- Jim_Woodcock wikiPageWikiLink Refinement_(computing).
- Kaisa_Sere wikiPageWikiLink Refinement_(computing).
- Liskov_substitution_principle wikiPageWikiLink Refinement_(computing).
- Model_checking wikiPageWikiLink Refinement_(computing).
- Model_transformation wikiPageWikiLink Refinement_(computing).
- Operation_refinement wikiPageWikiLink Refinement_(computing).
- Predicative_programming wikiPageWikiLink Refinement_(computing).
- Program_Refinement wikiPageWikiLink Refinement_(computing).
- Program_derivation wikiPageWikiLink Refinement_(computing).
- Program_refinement wikiPageWikiLink Refinement_(computing).
- Program_transformation wikiPageWikiLink Refinement_(computing).
- Ralph-Johan_Back wikiPageWikiLink Refinement_(computing).
- Refinement wikiPageWikiLink Refinement_(computing).
- Refinement_(computing) wikiPageWikiLink Refinement_(computing).
- Refinement_calculus wikiPageWikiLink Refinement_(computing).
- Refinement_type wikiPageWikiLink Refinement_(computing).
- Set_(abstract_data_type) wikiPageWikiLink Refinement_(computing).
- Software_design wikiPageWikiLink Refinement_(computing).
- Specification_(technical_standard) wikiPageWikiLink Refinement_(computing).
- Subtyping wikiPageWikiLink Refinement_(computing).
- TLA+ wikiPageWikiLink Refinement_(computing).
- Total_functional_programming wikiPageWikiLink Refinement_(computing).
- Transformation_language wikiPageWikiLink Refinement_(computing).
- Type_system wikiPageWikiLink Refinement_(computing).
- Typestate_analysis wikiPageWikiLink Refinement_(computing).
- Unifying_Theories_of_Programming wikiPageWikiLink Refinement_(computing).
- Wide-spectrum_language wikiPageWikiLink Refinement_(computing).
- 004b44dd502c8186ff9fff125981354bde3d6c7e914d54e87deae31959da66b9 isCitedBy Refinement_(computing).
- 354473574e2fe95ff4989cb2efc49d5b1a31c2a8fb43c493f985ba50005830a1 isCitedBy Refinement_(computing).
- 88874413fcab0aa17449fe8e4939ee683865118393e8fa03b5b0b763cef8beb3 isCitedBy Refinement_(computing).
- 99bd581ed839b58ef068c57938066fb9664f00c78793bd11f0feee4fca1bb139 isCitedBy Refinement_(computing).
- 3-540-58085-9_74 isCitedBy Refinement_(computing).
- 113445.113468 isCitedBy Refinement_(computing).
- Refinement_(computing) primaryTopic Refinement_(computing).