Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (1)

Formal methods
Refinement (computing)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Britain's Decision to Withdraw from the Persian Gulf, 1964–68: A Pattern and a Puzzle
Can we comprehend the end of the British Empire as a planned and logical process, or was it an accumulation of improvised… 
Review
2009
Review
2009
Manufacturing productivity in China and India: The role of institutional changes
2008
2008
Incremental Safety Assessment: Theory and Practice
The need for iterative safety assessment that starts at the earliest – conceptual – stages of the design has been long recognised… 
2006
2006
Making sense of the U.S. housing slowdown
A robust housing market buoyed the U.S. economy during the 2001 recession and fueled growth once recovery began. The record… 
2006
2006
From Art to Alienated Labor: The Degradation of Academic Work.
FALL 2006 143 the pretext of simply responding to financial necessities. Were their model to be implemented in all its sweep and… 
2004
2004
Welfare State Retrenchment in Central and Eastern Europe: The Case of Pension Reforms in Poland and Slovenia
This paper endeavours to shed some light on the mechanisms that led to the divergence of welfare state arrangements across… 
2000
2000
European Welfare Futures
European Welfare Futures presents a clear and up-to-date analysis of developments in social policy in the main EU member states… 
Highly Cited
1997
Highly Cited
1997
EMU as a Device for Collective Fiscal Retrenchment
Highly Cited
1979
Highly Cited
1979
The three "r's" of the eighties : reduction, reallocation and retrenchment
1965
1965
The Liberal Party : a study of retrenchment and revival
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)