FAQ

Retrenchment (computing)

Known as: Retrenchment (disambiguation) 
Retrenchment is a technique associated with Formal Methods that was introduced to address some of the perceived limitations of formal, model based… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2000-2016
01220002016

Related topics

Related topics

2 relations

Broader (1)

Formal methods
Refinement (computing)

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
Retrenchment (computing)
Refinement (computing)
Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The Indian Research Fund Association
  • 2016
The Indian Research Fund Association is not only the most important medical research organization in India but it is also the… (More)
Is this relevant?
2016
2016
The Subterranean Counterrevolution: The Supreme Court, the Media, and Litigation Retrenchment
Follow this and additional works at: http://scholarship.law.upenn.edu/faculty_scholarship Part of the American Politics Commons… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
2006
2006
Filtering Retrenchments into Refinements
Retrenchment is a weakening of model based refinement that enables many development steps not expressible by refinement to be… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Composition Mechanisms for Retrenchment
  • R. Banacha, C. Jeskea, M. Poppletonb
  • 2004
Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for… (More)
  • figure 1
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2000
2000
Fragmented Retrenchment, Concurrency and Fairness
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing… (More)
  • figure 2
Is this relevant?