Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Refinement_(computing)> ?p ?o }
Showing triples 1 to 17 of
17
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) wikiPageRevisionID "551123103".
- Refinement_(computing) hasPhotoCollection Refinement_(computing).
- Refinement_(computing) subject Category:Computer_programming.
- Refinement_(computing) subject Category:Formal_methods.
- 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 "Raffinement".
- Refinement_(computing) label "Refinement (computing)".
- Refinement_(computing) label "詳細化".
- Refinement_(computing) sameAs Raffinement.
- Refinement_(computing) sameAs 詳細化.
- Refinement_(computing) sameAs m.05k4zg.
- Refinement_(computing) sameAs Q3417382.
- Refinement_(computing) sameAs Q3417382.
- Refinement_(computing) wasDerivedFrom Refinement_(computing)?oldid=551123103.
- Refinement_(computing) isPrimaryTopicOf Refinement_(computing).