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.
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… 
Review
2007
Review
2007
Civil service reform policy in Kenya: a review of the retrenchment strategy
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 'reform' in Australia, 1975 to 2004: from entitlement to obligation
Since the mid 1970s, under conditions of vast economic changes associated with the globalisation of production and financial… 
2003
2003
Software Evolution with Refinement and Retrenchment
Given a record of the derivation of a component from its specification, and a new, changed specification, we can compare the two… 
1998
1998
Reorganizing Canadian Libraries: A Giant Step Back from the Front
The nagging question of who does what in libraries has been exacerbated in recent years by significant restructuring initiatives… 
Review
1997
Review
1997
Poverty and Ageing in Zimbabwe
This paper discusses the results of the Poverty Assessment Study Survey (PASS) adopted by the Government of Zimbabwe as a first… 
1996
1996
Economic Crisis and Social Policy in Finland in the 1990s
This paper discusses the social policy consequences of the exceptional economic decline in Finland in the 1990s. It asks what… 
Review
1983
Review
1983
Academic Employment and Retrenchment: Judicial Review and Administrative Action. ASHE-ERIC Higher Education Research Report No. 8, 1983.
1972
1972
Radicalism against war, 1906-1914: The advocacy of peace and retrenchment