On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Water quality indicators for environmental and resistance profile of Escherichia coli strains isolated in Rio Cascavel, Paraná, Brazil

In this article it was evaluated the quality of water in the Cascavel river, in the city of Cascavel - Paraná using microbiological indicators, physical and chemical pollution and susceptibility / resistance in strains of Escherichia coli isolated antimicrobial trade. The water sampling was conducted between 2010-July and 2011-June at three points: a) near the source, b) urban area, c) rural area. The samples were analyzed for physical, chemical and microbiological variables: temperature, pH, color, turbidity, electrical conductivity, total nitrogen and total phosphorus, total coliforms (CT), fecal coliform (CTe) and Escherichia coli. Tests were also performed to nine antimicrobial commercial resistances. The variables studied indicated that the Cascavel river water was presented at disagreement with the resolution 357/2005 CONAMA (class I), ranking in the index as regular water quality. The physical, chemical and rainfall did not affect the growth of CT and CTe, with higher counts of E. coli in the urban area. The greatest resistance profiles of the strains of E. coli isolated from Cascavel river water was found in section 2, the urban area as a probable consequence of human influence on water quality.

Pasvik Water Quality Report Environmental Monitoring Programme in the Norwegian, Finnish and Russian Border Area

The Pasvik monitoring programme was created in 2006 as a result of the trilateral cooperation, and with the intention of following changes in the environment under variable pollution levels. Water quality is one of the basic elements of the Programme when assessing the effects of the emissions from the Pechenganikel mining and metallurgical industry (Kola GMK). The Metallurgic Production Renovation Programme was implemented by OJSC Kola GMK to reduce emissions of sulphur and heavy metal concentrated dust. However, the expectations for the reduction in emissions from the smelter in the settlement Nikel were not realized. Nevertheless, Kola GMK has found that the modernization programme’s measures do not provide the planned reductions of sulfur dioxide emissions. In this report, temporal trends in water chemistry during 2000–2009 are examined on the basis of the data gathered from Lake Inari, River Pasvik and directly connected lakes, as well as from 26 small lakes in three areas: Pechenganikel (Russia), Jarfjord (Norway) and Vätsäri (Finland). The lower parts of the Pasvik watercourse are impacted by both atmospheric pollution and direct wastewater discharge from the Pechenganikel smelter and the settlement of Nikel. The upper section of the watercourse, and the small lakes and streams which are not directly linked to the Pasvik watercourse, only receive atmospheric pollution. The data obtained confirms the ongoing pollution of the river and water system. Copper (Cu), nickel (Ni) and sulphates are the main pollution components. The highest levels were observed close to the smelters. The most polluted water source of the basin is the River Kolosjoki, as it directly receives the sewage discharge from the smelters and the stream connecting the Lakes Salmijarvi and Kuetsjarvi. The concentrations of metals and sulphates in the River Pasvik are higher downstream from the Kuetsjarvi Lake. There has been no fall in the concentrations of pollutants in Pasvik watercourse over the last 10 years. Ongoing recovery from acidification has been evident in the small lakes of the Jarfjord and Vätsäri areas during the 2000s. The buffering capacity of these lakes has improved and the pH has increased. The reason for this recovery is that sulphate deposition has decreased, which is also evident in the water quality. However, concentrations of some metals, especially Ni and Cu, have risen during the 2000s. Ni concentrations have increased in all three areas, and Cu concentrations in the Pechenganickel and Jarfjord areas, which are located closer to the smelters. Emission levels of Ni and Cu did not fall during 2000s. In fact, the emission levels of Ni compounds even increased compared to the 1990s.

Pasvik Water Quality until 2013 ; Environmental Monitoring Programme in the Norwegian, Finnish and Russian Border Area

The Pasvik monitoring programme was created in 2006 as a result of the trilateral cooperation and with the intention of following changes in the environment under variable pollution levels. Water quality is one of the basic elements of the programme when assessing the effects of the emissions from the Pechenganikel mining end metallurgical industry (Kola GMK). In this report temporal trends of the water chemistry during 2000–2013 are examined on the basis of the data gathered from lake Inari, River Pasvik and directly connected lakes, Lake Kuetsjarvi and 25 small lakes in three areas: Pechenganikel (Russia), Jarfjord (Norway) and Vätsäri (Finland). The lower parts of the Pasvik watercourse are impacted by both atmospheric pollution and direct wastewater discharge from the Pechenganikel smelter and the settlement of Nikel. The upper section of the watercourse and the small lakes and streams which are not directly linked to the Pasvik Watercourse only receive atmospheric pollution. Lake Inari is free of direct emissions from the Pechenganikel and the water quality is excellent. In River Pasvik and the directly connected lakes copper, nickel, and sulphates are the main pollutants. The most polluted water body is the Kolosjoki River as well as the stream connecting the Lakes Salmijarvi and Kuetsjarvi. The concentration of metals and sulphates in the water notably increases downstream the river lower Lake Kuetsjarvi. In Lake Kuetsjarvi copper and nickel concentrations are clearly elevated and have changed insignificantly in the last years of the research period. In the small border area lakes recovery from acidification in Vätsäri and Jarfjord is evident. Nickel and copper oncentrations have fluctuated but remained on clearly elevated level in Jarfjord and Pechenga. Copper concentrations have been slightly rising in the recent years. In Pechenga area nickel concentrations during the last four monitoring years are decreasing in some places but the regional trend through whole time series is still positive.

Environmental assessment of Lake Gibson sediments, water quality, and soils of the Niagara Region

In light of the fact that literature on toxicity of heavy metals in non-acidified freshwater systems is sparse, this project was initiated to conduct an environmental assessment of Lake Gibson. Chemistry of soils from adjacent areas and vineyards in the region provide a comparative background database. Water quality determinations were used to identify and highlight areas of environmental concern within the Lake Gibson watershed. A Shelby Corer was used to obtain 66 sediment cores from Lake Gibson. These were sectioned according to lithology and color to yield 298 samples. A suite of 122 soil samples was collected in the region and vicinity of Lake Gibson. All were tested for metals and some for Total Petroleum Hydrocarbons (TPH). Evaluation of the results leads to the following conclusions: 1. Metal concentrations ofAI, Cd, Cu, Cr, Pb, Ni, Fe and Zn in soils from the Niagara Region are well below background limits set by the Ministry of the Environment and Energy (MOEE) for provincial soils. 2. There is a spatial and depth difference for some of the metals within the various soils. The Cr, Ni and Pb contents of soils vary throughout the region (pIn addition, Pb contents tend to be highest in surficial soil samples (pine specified by the MOEE for aquatic ecosystems. 4. All other metal contents exceed the LEL, and in some instances they also exceed the SEL (Severe Effect Level) guideline. In this instance acute toxicity testing of 11 the sediments is required to assess impact on the aquatic biota. 5. Specifically, effluents and discharges from outfalls, roadways, railways and industrial activities are all degrading the local ecosystem. 6. Mineral oil and greases are a major environmental concern in the sediments of Lake Gibson. Ofthe 240 samples tested for TPH, 200 samples exceed the MOEE Open Water Disposal Guideline of 1,500 mg/kg. 7. Four areas within Lake Gibson are especially degraded with respect to TPH. One area is just downstream from the Old WeIland Canal divergence point and waterfall. Other areas of concern are located just south of Beaverdams Road and just west ofthe Ontario Hydro control pipes; south ofthe Village ofBeaverdams. The fourth area of environmental concern and TPH impact is located between Highway 406 and Merrittville Highway.

Assessing the influence of irrigation and fertigation on fruit composition, vine performance and wine quality in a cool, humid climate /

A study was devised to evaluate influences of irrigation and fertigation practices on Vitis vinifera and Vitis labruscana grapes in the Niagara Peninsula. A modified FAO Penman- Monteith evapotranspiration formula was used to calculate water budgets and schedule irrigations. Five deficit irrigation treatments (non-irrigated control; deficits imposed postbloom, lag phase, and veraison; fiiU season irrigation) were employed in a Chardonnay vineyard. Transpiration rate (4-7 /xg H20/cmVs) and soil moisture data demonstrated that the control and early deficit treatments were under water stress throughout the season. The fiiU season irrigation treatment showed an 18% (2001) and 19% (2002) increase in yield over control due to increased berry weight. Soluble solids and wine quality were not compromised, and the fiiU season treatment showed similar or higher °Brix than all other treatments. Berry titratable acidity andpH also fell within acceptable levels for all five treatments. Irrigation/fertigation timing trials were conducted on Concord and Niagara vines in 2001- 02. The six Concord treatments consisted of a non-irrigated control, irrigation fi^om Eichhom and Lorenz (EL) stage 12 to harvest, and four fertigation treatments which applied 70 kg/ha urea. The nine Niagara treatments included a non-irrigated control, two irrigated treatments (ceasing at veraison and harvest, respectively) and six fertigation treatments of various durations. Slight yield increases (ca. 10% in Concord; 29% in Niagara) were accompanied by small decreases in soluble solids (1.5°Brix), and methyl anthranilate concentrations. Transpiration rate and soil moisture (1 1.9-16.3%) data suggested that severe water stress was present in these Toledo clay based vineyards.

Could the Asian Crisis Have Been More Accurately Predicted? Improving and Early Warning System Model.

Rapport de recherche

Salinity Intrusion and Seasonal Water Quality Variations in the Tidal Canals of Cochin

The study conducted on the salinity intrusion and seasonal water quality variations in the tidal canals of cochin. The main objectives are, salinity intrusion profile, water quality variation of the surface water of the canals,hierarchical utility of the water bodies and to understand the non-conservative components in the water body. The parameters monitored werepH,temperature,alkalinity,conductivity,DO(dissolvedoxygen),COD(chemical oxygen demand),BOD(biochemical oxygen demand0,chloride, total hardness, calcium hardness, dissolved phosphate, nitrate, total iron, sulphate, turbidity, total coliform and SUVA at 254nm. The tidal canals of GCDA were found to be creeks extending to the interior, canals inter connecting parts of the estuary or canals with seasonally broken segments. Based on utility the canals could be classified as: canals heavely polluted and very saline,canals polluted by urban waste , canals having fresh water for most part of the year and not much polluted, fresh water bodies heavily polluted. During the rainy months carbon fixation by plankton is nonexistent,and during the dry months Chitrapuzha becomes a sink of phosphate. The study indicated abiotic subrouts for dissolved phosphate and revealed the potential pitfalls in LOICZ modeling exercise on sewage ladentidal canals. It was also found that all canals except for the canals of West cochin and chittoorpuzha have fresh water for some part of the year. The water quality index in the durable fresh water stretches was found to be of below average category.

Water Quality Management–Application of Flocculants and Algicides

School of Environmental Studies, Cochin University of Science and Technology

Water Quality Variation, its Influence on Drinking Water Treatment and Remedial Measures - A Case Study of Peechi reservoir, Thrissur, Kerala

The Kerala Water Authority requested the School of Environmental Studies to carry out investigations on the mechanism of sporadic mobilization of iron and odour in the raw water drawn to the drinking water treatment plant. The currently used treatment process failed to remove iron completely. This led to problems in the filter and complaints of taste and colour due to iron in the finished water. The sporadic nature of the problem itself made the trouble shooting difficult. The problem was looked in from three points of view. 1. Influence of environmental (climatic) conditions on the dynamics of the relevant basin of the reservoir. 2. Influence of the physical dynamics on the physico — chemical quality of water. 3. Identification of cost-effective treatment processes to suit the existing plant. Since the problem emerged only during the post- monsoon to pre-monsoon months, a related problem was investigated, namely, influence of anions on the oxidation of Fe(II) in natural waters by air. This is presented in Part II of the dissertation.

Studies On The Dynamics And Water Quality Of The Muvattupuzha River In Relation To Effluent Discharge

The present study aims at the investigation of the 1ysico—chemical features of a tropical tidal river viz. we Muvattupuzha river. This river is expected to receive Jderate to heavy pollution loads in years to come, from we lone industrial unit, already set up on its bank. ilike other rivers, the geographical disposition of this Lver attains unique importance as regards its dynamics for 3) availability of natural runoff water from catchment :eas, which becomes very heavy during the monsoon season 3) regular steady availability of tail race water from a /dro—electric power station throughout the yearThe study also aims at arriving at the balancing forces of inherent self~purification of the river verses pollution loads from the factory effluents. The investigation period falls ahead of actual pollution occurrence and so the ambient conditions for a period of nearly one-and-a—half years were investigated, the analyses of which providflz to formulate the inter-relations of parameters varying with seasons. Tracer experiments were carried out which revealed the dispersion and dilution characteristics of the river in the vicinity of effluent outfall. The studv covers the trial—cum-capacity production periods of the factory during which effluents of various strength and quantity were discharged into the river; a few computed values arQ’cjmpgrQdl ... with the observed values. The base data along with the profiles of Oxygen sag equation have been utilized fb develop a mathematical model of the river with regard to its water quality

Water quality status and Primary productivity of Valanthakad Backwater in Kerala

The water quality and primary productivity of Valanthakad backwater (9° 55 10. 24 N latitude and 76° 20 01. 23 E longitude) was monitored from June to November 2007. Significant spatial and temporal variations in temperature, transparency, salinity, pH, dissolved oxygen, sulphides, carbon dioxide, alkalinity, biochemical oxygen demand, phosphatephosphorus, nitrate-nitrogen, nitrite-nitrogen as well as primary productivity could be observed from the study. Transparency was low (53.75 cm to 159 cm) during the active monsoon months when the intensity of solar radiation was minimum, which together with the run off from the land resulted in turbid waters in the study sites. The salinity in both the stations was low (0.10 ‰ to 4.69 ‰) except in August and November 2007. The presence of total sulphide (0.08 mg/ l to 1.84 mg/ l) and higher carbon dioxide (3 mg/ l to 17 mg/ l) could be due to hospital discharges and decaying slaughter house wastes in Station 1 and also from the mangrove vegetation in Station 2. Nitrate-nitrogen and phosphate-phosphorus depicted higher values and pronounced variations in the monsoon season. Maximum net primary production was seen in November (0.87 gC/ m3/ day) and was reported nil in September. The chlorophyll pigments showed higher values in July, August and November with a negative correlation with phosphate-phosphorus and nitrite-nitrogen. The study indicated that the water quality and productivity of Valanthakad backwater is impacted and is the first report from the region

Water quality variation and nutrient characteristics of Kodungallur-Azhikode Estuary, Kerala, India

Present study focussed on the water quality status in relation to various anthropogenic activities in the Kodungallur- Azhikode Estuary (KAE). Average depth of the estuary was 3.6 ± 0.2 m with maximum of 4.3 ± 0.4 m in the estuarine mouth. Dissolved oxygen showed an average of 5.1±1 mg/l in the water column, whereas the highest BOD value was noticed during monsoon period (3.1 ± 0.8 mg/l) which could be due to high organic enrichment in the water column. pH displayed slightly alkaline condition in most of the stations and it varied from 7.2 ± 0.5 in Station 7 to 7.5 ± 0.5 in Station 1. Salinity in the estuary displayed mixo-mesohaline nature with clear vertical stratification. High river discharge could have resulted in nutrients and silt loading into the estuary, which makes a highly turbid water column particularly during the monsoon period, which limits light penetration and subsequent primary productivity. Turbidity in the water column showed an average of 20.2 ± 15.8 NTU. Estuary was nitrogen limited during post and pre monsoon periods. Nitrate-nitrogen content in the estuarine water gave negative correlation with ammonia.

Approaches for quality in pedagogical and design fundamentals in MOOCS

Resumen tomado de la publicaci??n