The development process in software product line engineering is divided into domain engineering and application engineering. As a consequence of this division, tests should be performed in both processes. However, existing testing techniques for single systems cannot be applied during domain engineering, because of the variability in the domain artifacts. Existing software product line test tec...

The aim of this study was to assess the regional effects of fire on the surface cover and forage production of mountainous rangelands of Delfan County, Lorestan province, Iran. The fire took placed in June 2007 with significant effects on the vegetation characteristics in the study area. Four fire affected sites were selected for sampling and a close area without fire was considered as control....

the aim of this study was to assess the regional effects of fire on the surface cover and forage production of mountainous rangelands of delfan county, lorestan province, iran. the fire took placed in june 2007 with significant effects on the vegetation characteristics in the study area. four fire affected sites were selected for sampling and a close area without fire was considered as control....

Focus of this paper is on the integration of optical and SAR data for improved land cover mapping in agricultural areas. The test site is located east of Nordhausen, Thuringia, Germany. From April to December 2005 Landsat-5 TM, ASAR APP and ERS-2 data were acquired continuously over the test site building up a comprehensive time series. Regarding the fusion of optical and SAR data following thr...

The main objective of this project is to develop and test methodology using ENVISAT ASAR data for agricultural applications, with an emphasis on land use, land cover classification and rice mapping. An optimal pre-processing chain for ASAR data is first constructed to provide input data to the classification steps. Experiments at the Zhangzhou test site, Fujian province, southern China, indicat...

Progressive anthropogenic disturbance can alter ecosystem organization potentially causing shifts from one stable state to another. This potential for ecosystem shifts must be considered when establishing targets and objectives for conservation. We ask whether a predator-prey system response to incremental anthropogenic disturbance might shift along a disturbance gradient and, if it does, wheth...

Problem statement: It is an important task to detect land cover changes from remotely sensed data for environmental monitoring. Although there are some applications of visual textures to the land use, they are limited to a few land cover categories with the application of one texture measure. Since land cover types are complex and often the integration of various objects, applying one texture m...

This paper presents a behavioural theory of object compatibility, based on the refinement of object states. The theory predicts that only certain models of state refinement yield compatible types, dictating the legitimate design styles to be adopted in object statecharts. The theory also predicts that standard practices in regression testing are inadequate. Functionally complete test-sets that ...

Understanding the spatio-temporal dynamics of land surface phenology is important to understanding changes in landscape ecological processes of semi-arid savannas in Southern Africa. The aim of the study was to determine the influence of variation in tree cover percentage on land surface phenological response in the semi-arid savanna of Southern Africa. Various land surface phenological metrics...

In this paper we advocate the integration of fault injection into a formal methods tool set. We start by giving some motivations from our past industrial experiences with VDM. Then, we report about our recent work on specification-based test case generation via model mutation. In this testing approach the idea is not to cover a specification structurally, e.g. all expressions/statements, but to...