Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Retrenchment_(computing)> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items 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.[citation needed]".
- Retrenchment_(computing) wikiPageExternalLink retrenchment.
- Retrenchment_(computing) wikiPageID "12130394".
- Retrenchment_(computing) wikiPageRevisionID "552754093".
- Retrenchment_(computing) hasPhotoCollection Retrenchment_(computing).
- 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) type Ability105616246.
- Retrenchment_(computing) type Abstraction100002137.
- Retrenchment_(computing) type Belief105941423.
- Retrenchment_(computing) type Cognition100023271.
- Retrenchment_(computing) type Content105809192.
- Retrenchment_(computing) type Doctrine105943300.
- Retrenchment_(computing) type FormalMethods.
- Retrenchment_(computing) type Know-how105616786.
- Retrenchment_(computing) type Method105660268.
- Retrenchment_(computing) type PsychologicalFeature100023100.
- Retrenchment_(computing) type SoftwareDevelopmentPhilosophies.
- 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.[citation needed]".
- Retrenchment_(computing) label "Retrenchment (computing)".
- Retrenchment_(computing) sameAs m.02vqspp.
- Retrenchment_(computing) sameAs Q7316934.
- Retrenchment_(computing) sameAs Q7316934.
- Retrenchment_(computing) sameAs Retrenchment_(computing).
- Retrenchment_(computing) wasDerivedFrom Retrenchment_(computing)?oldid=552754093.
- Retrenchment_(computing) isPrimaryTopicOf Retrenchment_(computing).