About: Retrenchment (computing)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Retrenchment (computing) Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:TopicalConcept, within Data Space : el.dbpedia.org associated with source document(s)

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.

Attributes	Values
rdf:type	topical concept
rdfs:label	Retrenchment (computing) (en)
rdfs: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. (en)
sameAs	Retrenchment (computing) Retrenchment (computing)
dbp:wikiPageUsesTemplate	dbt:Comp-sci-stub dbt:Fact
Subject	Department of Computer Science, University of Manchester Formal methods Software development philosophies
gold:hypernym	Technique
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Retrenchment_(computing)?oldid=973574751&ns=0
Wikipage page ID	12130394 (xsd:integer)
page length (characters) of wiki page	741 (xsd:nonNegativeInteger)
Wikipage revision ID	973574751 (xsd:integer)
has 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Retrenchment_(computing)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software