Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Program_refinement> }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Abstract_state_machines wikiPageWikiLink Program_refinement.
- Abstraction_(computer_science) wikiPageWikiLink Program_refinement.
- B-Method wikiPageWikiLink Program_refinement.
- Baherove_Air_Base wikiPageWikiLink Program_refinement.
- Data_transformation wikiPageWikiLink Program_refinement.
- Design_by_contract wikiPageWikiLink Program_refinement.
- FDR2 wikiPageWikiLink Program_refinement.
- Formal_methods wikiPageWikiLink Program_refinement.
- Formal_specification wikiPageWikiLink Program_refinement.
- Index_of_object-oriented_programming_articles wikiPageWikiLink Program_refinement.
- Kaisa_Sere wikiPageWikiLink Program_refinement.
- Liskov_substitution_principle wikiPageWikiLink Program_refinement.
- Model_transformation wikiPageWikiLink Program_refinement.
- Predicative_programming wikiPageWikiLink Program_refinement.
- Program_derivation wikiPageWikiLink Program_refinement.
- Program_transformation wikiPageWikiLink Program_refinement.
- Refinement_calculus wikiPageWikiLink Program_refinement.
- Software_design wikiPageWikiLink Program_refinement.
- Specification_(technical_standard) wikiPageWikiLink Program_refinement.
- Transformation_language wikiPageWikiLink Program_refinement.
- Unifying_Theories_of_Programming wikiPageWikiLink Program_refinement.
- Wide-spectrum_language wikiPageWikiLink Program_refinement.
- Program_refinement primaryTopic Program_refinement.