Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Retrenchment_(computing)> ?p ?o }
Showing triples 1 to 31 of
31
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 School_of_Computer_Science,_University_of_Manchester.
- Retrenchment_(computing) wikiPageWikiLinkText "Retrenchment (computing)".
- Retrenchment_(computing) wikiPageWikiLinkText "Retrenchment".
- 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 Area.
- Retrenchment_(computing) type TopicalConcept.
- Retrenchment_(computing) type Area.
- Retrenchment_(computing) type Method.
- Retrenchment_(computing) type Philosophy.
- 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 Q7316934.
- Retrenchment_(computing) sameAs m.02vqspp.
- Retrenchment_(computing) sameAs Q7316934.
- Retrenchment_(computing) wasDerivedFrom Retrenchment_(computing)?oldid=552754093.
- Retrenchment_(computing) isPrimaryTopicOf Retrenchment_(computing).