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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
  • 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
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
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
  • 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
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing… (More)
  • figure 2
Is this relevant?