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.
2010
2010
Survival Strategies for Physical Educators During Recessionary Times
Physical education programs throughout the country are feeling the negative effects of what is proving to be the longest and most… 
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
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… 
2000
2000
Framing Welfare Reform in Affluent Societies: Rendering Retrenchment more Palatable?
2000
2000
Trouble in Paradise - a disabled person's right to the satisfaction of a self-defined need: Some conceptual and practical problems
This paper questions the usefulness of the rights-based approach to ameliorating the social situation of disabled people in… 
1996
1996
The New Economy and Restructuring Higher Education.
ican higher education are increasingly governed, on the one hand, by the constraints of a continuing fiscal crisis and, on the… 
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… 
1985
1985
The Chicago nonprofit sector in a time of government retrenchment
1984
1984
The Management of University Cutbacks: Politics, Planning, and Participation.
Universities in a number of countries are having to come to terms with the issue of decline. Reduced enrolments and lower levels… 
Review
1983
Review
1983
Academic Employment and Retrenchment: Judicial Review and Administrative Action. ASHE-ERIC Higher Education Research Report No. 8, 1983.