Measuring and incorporating vulnerability into conservation planning

Conservation planning is the process of locating and designing conservation areas to promote the persistence of biodiversity in situ. To do this, conservation areas must be able to mitigate at least some of the proximate threats to biodiversity. Information on threatening processes and the relative vulnerability of areas and natural features to these processes is therefore crucial for effective conservation planning. However, measuring and incorporating vulnerability into conservation planning have been problematic. We develop a conceptual framework of the role of vulnerability assessments in conservation planning and propose a definition of vulnerability that incorporates three dimensions: exposure, intensity, and impact. We review and categorize methods for assessing the vulnerability of areas and the features they contain and identify the relative strengths and weaknesses of each broad approach, Our review highlights the need for further development and evaluation of approaches to assess vulnerability and for comparisons of their relative effectiveness.

An approach to specifying software frameworks

A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by the framework. To do this effectively, the framework-component interfaces must be specified so the software engineer knows what assumptions the framework makes about the components, and so the components can be verified against these assumptions. This paper presents an approach to specifying software frameworks. The approach involves the specification of the framework’s syntax, semantics, and the interfaces between the framework and its components. The approach is demonstrated with a simple case study.

Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

A software engineering framework for context-aware pervasive computing

There is growing interest in the use of context-awareness as a technique for developing pervasive computing applications that are flexible, adaptable, and capable of acting autonomously on behalf of users. However, context-awareness introduces various software engineering challenges, as well as privacy and usability concerns. In this paper, we present a conceptual framework and software infrastructure that together address known software engineering challenges, and enable further practical exploration of social and usability issues by facilitating the prototyping and fine-tuning of context-aware applications.