Formal approaches to software reuse rely heavily upon specification matchingcriterion, where a search query using formal specifications is used to search a library of components indexed by specifications. In previous investigations, we addressed the use of formal methods and component libraries to support software reuse and construction of software based on component specifications. A difficult...

Bilateral and multilateral development cooperation agencies are to an increasing extent promoting and adopting a sector-wide approach (SWAp) in their development cooperation. The Swedish International Development Cooperation Agency (Sida), for example, joined their first sector-wide approach cooperation in the late 90s, and today they are involved in SWAps in countries in Africa, Asia and Latin...

The tribunal was set up to deal with acts of torture for which members of the medical or legal profession are alleged to be responsible. The tribunal is independent, international and permanent. It consists of five to nine members, a majority of whom must be doctors. A member who is a national of the country which is alleged to be responsible for the acts of torture shall step down from his/her...

a complete investigation is carried out as a routine procedure, and complete examinations of the blood, stools, urine, sputum, etc., are made. The administration of a barium meal to ascertain the condition of the gastro-intestinal tract has often to be done. In a previous paper Chopra, Hayter and Bhattacharya (1937) have given an account of the radiological investigations of the gastro-intestin...

continuing agricultural expansion and urban development in saudi arabia, (located in an arid climate), together with an increased demands for more water supplies, calls for more efficient irrigation practices, and an increase in crop water productivity (cwp). throughout the present study, a deficit irrigation system was investigated for its impact on soil salinity, crop response factor (ky), cw...

This chapter describes a novel knowledge-based methodology and computer toolset for helping business process designers and participants better manage exceptions (unexpected deviations from a normal sequence of events caused by design errors, resource failures, requirement changes etc.) that can occur during the enactment of a process. This approach is based on an on-line repository exploiting a...

This paper describes a novel knowledge-based methodology and toolset for helping business process designers and participants better manage exceptions (unexpected deviations from an ideal sequence of events caused by design errors, resource failures, requirement changes, etc.) that can occur during the enactment of a process. This approach is based on an on-line repository exploiting a generic a...