Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Retrenchment_(computing)> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Retrenchment_(computing) abstract "Retrenchment is a technique associated with Formal Methods that was introduced to address some of the perceived limitations of formal, model based refinement, for situations in which refinement might be regarded as desirable in principle, but turned out to be unusable, or nearly unusable, in practice. It was primarily developed at the School of Computer Science, University of Manchester.".
- Retrenchment_(computing) wikiPageExternalLink retrenchment.
- Retrenchment_(computing) wikiPageID "12130394".
- Retrenchment_(computing) wikiPageLength "736".
- Retrenchment_(computing) wikiPageOutDegree "5".
- Retrenchment_(computing) wikiPageRevisionID "552754093".
- Retrenchment_(computing) wikiPageWikiLink Category:Formal_methods.
- Retrenchment_(computing) wikiPageWikiLink Category:School_of_Computer_Science,_University_of_Manchester.
- Retrenchment_(computing) wikiPageWikiLink Category:Software_development_philosophies.
- Retrenchment_(computing) wikiPageWikiLink Formal_Methods.
- Retrenchment_(computing) wikiPageWikiLink Formal_methods.
- Retrenchment_(computing) wikiPageWikiLink School_of_Computer_Science,_University_of_Manchester.
- Retrenchment_(computing) wikiPageWikiLink University_of_Manchester_School_of_Computer_Science.
- Retrenchment_(computing) wikiPageWikiLinkText "Retrenchment (computing)".
- Retrenchment_(computing) wikiPageWikiLinkText "Retrenchment".
- Retrenchment_(computing) hasPhotoCollection Retrenchment_(computing).
- Retrenchment_(computing) wikiPageUsesTemplate Template:Comp-sci-stub.
- Retrenchment_(computing) wikiPageUsesTemplate Template:Fact.
- Retrenchment_(computing) subject Category:Formal_methods.
- Retrenchment_(computing) subject Category:School_of_Computer_Science,_University_of_Manchester.
- Retrenchment_(computing) subject Category:Software_development_philosophies.
- Retrenchment_(computing) hypernym Technique.
- Retrenchment_(computing) type Software.
- Retrenchment_(computing) comment "Retrenchment is a technique associated with Formal Methods that was introduced to address some of the perceived limitations of formal, model based refinement, for situations in which refinement might be regarded as desirable in principle, but turned out to be unusable, or nearly unusable, in practice. It was primarily developed at the School of Computer Science, University of Manchester.".
- Retrenchment_(computing) label "Retrenchment (computing)".
- Retrenchment_(computing) sameAs m.02vqspp.
- Retrenchment_(computing) sameAs Q7316934.
- Retrenchment_(computing) sameAs Q7316934.
- Retrenchment_(computing) wasDerivedFrom Retrenchment_(computing)?oldid=552754093.
- Retrenchment_(computing) isPrimaryTopicOf Retrenchment_(computing).