Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Refinement_(computing)> }
Showing triples 1 to 45 of
45
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).
- Unifying_Theories_of_Programming wikiPageWikiLink Refinement_(computing).
- Wide-spectrum_language wikiPageWikiLink Refinement_(computing).
- Refinement_(computing) primaryTopic Refinement_(computing).