Pedological characterization and land use and occupation: influences on water quality in a watershed located in the zona da mata (MG)

In order to verify the influence of class and use and occupation of land on water quality, it was performed the characterization and analyzes of land use and monitoring of seven springs inserted in a watershed located in the rural of Viçosa city - Minas Gerais (MG) state, in Brazil. Through soil analyzes, carried out in five different profiles, it was possible to identify three distinct pedological classes: Argisol, Cambisol and Latosol. Furthermore, the concentrations of Fe, Mn, Cu, Zn, Cr, Cd, Pb and Ni were identified in each of the horizons in the considered profiles. Water samples were collected and analyzed monthly, over eight months, twenty two parameters of water quality. Comparing the results of each survey, it was possible to identify a relation between water quality and land use in the round of the springs, considering color, BOD, DO, E. coli and Mn as the most affected parameters, influenced mainly by soil characteristics and the presence of a large percentage of pasture in the study area.

Software Development Process Modeling. Developers Perspective to Contemporary Modeling Techniques

Formal software development processes and well-defined development methodologies are nowadays seen as the definite way to produce high-quality software within time-limits and budgets. The variety of such high-level methodologies is huge ranging from rigorous process frameworks like CMMI and RUP to more lightweight agile methodologies. The need for managing this variety and the fact that practically every software development organization has its own unique set of development processes and methods have created a profession of software process engineers. Different kinds of informal and formal software process modeling languages are essential tools for process engineers. These are used to define processes in a way which allows easy management of processes, for example process dissemination, process tailoring and process enactment. The process modeling languages are usually used as a tool for process engineering where the main focus is on the processes themselves. This dissertation has a different emphasis. The dissertation analyses modern software development process modeling from the software developers’ point of view. The goal of the dissertation is to investigate whether the software process modeling and the software process models aid software developers in their day-to-day work and what are the main mechanisms for this. The focus of the work is on the Software Process Engineering Metamodel (SPEM) framework which is currently one of the most influential process modeling notations in software engineering. The research theme is elaborated through six scientific articles which represent the dissertation research done with process modeling during an approximately five year period. The research follows the classical engineering research discipline where the current situation is analyzed, a potentially better solution is developed and finally its implications are analyzed. The research applies a variety of different research techniques ranging from literature surveys to qualitative studies done amongst software practitioners. The key finding of the dissertation is that software process modeling notations and techniques are usually developed in process engineering terms. As a consequence the connection between the process models and actual development work is loose. In addition, the modeling standards like SPEM are partially incomplete when it comes to pragmatic process modeling needs, like light-weight modeling and combining pre-defined process components. This leads to a situation, where the full potential of process modeling techniques for aiding the daily development activities can not be achieved. Despite these difficulties the dissertation shows that it is possible to use modeling standards like SPEM to aid software developers in their work. The dissertation presents a light-weight modeling technique, which software development teams can use to quickly analyze their work practices in a more objective manner. The dissertation also shows how process modeling can be used to more easily compare different software development situations and to analyze their differences in a systematic way. Models also help to share this knowledge with others. A qualitative study done amongst Finnish software practitioners verifies the conclusions of other studies in the dissertation. Although processes and development methodologies are seen as an essential part of software development, the process modeling techniques are rarely used during the daily development work. However, the potential of these techniques intrigues the practitioners. As a conclusion the dissertation shows that process modeling techniques, most commonly used as tools for process engineers, can also be used as tools for organizing the daily software development work. This work presents theoretical solutions for bringing the process modeling closer to the ground-level software development activities. These theories are proven feasible by presenting several case studies where the modeling techniques are used e.g. to find differences in the work methods of the members of a software team and to share the process knowledge to a wider audience.

Use of Medicinal Plants with Teratogenic and Abortive Effects by PregnantWomen in a City in Northeastern Brazil

Purpose The purpose of this study is to verify the use ofmedicinal plants by pregnant women treated at four Basic Health Units and at a public maternity facility in Brazil s northeast. Methods This is a cross-sectional, quantitative study, performed between February and April 2014. The subjects were 178 pregnant women, aged 18 to 42 years. To collect data, a structured questionnaire with dichotomous and multiple choice questions was used. To verify the correlation between the variables, Pearson s chi-square test was used. Results The study showed that 30.9% of the pregnant women used medicinal plants, and boldo was the most cited (35.4%). All the plants utilized, except lemongrass, have toxic effects in pregnancy, according to Resolution SES/RJ N° 1757. There was no statistically significant correlation between social class and use of medicinal plants. Conclusion The health of the study participants and their unborn children is at risk due to the inappropriate use of medicinal plants.

Formal development and quantitative verification of dependable systems

-

Scaling up stepwise feature introduction to construction of large software systems

Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature Introduction – created by R.-J. Back – is a development paradigm, in which software is constructed by adding functionality in small increments. The resulting code has an organised, layered structure and can be easily reused. Moreover, the interaction with the users of the software and the correctness concerns are essential elements of the development process, contributing to high quality and functionality of the final product. The paradigm of Stepwise Feature Introduction has been successfully applied in an academic environment, to a number of small-scale developments. The thesis examines the paradigm and its suitability to construction of large and complex software systems by focusing on the development of two software systems of significant complexity. Throughout the thesis we propose a number of improvements and modifications that should be applied to the paradigm when developing or reengineering large and complex software systems. The discussion in the thesis covers various aspects of software development that relate to Stepwise Feature Introduction. More specifically, we evaluate the paradigm based on the common practices of object-oriented programming and design and agile development methodologies. We also outline the strategy to testing systems built with the paradigm of Stepwise Feature Introduction.

Using Moodle to provide added value in the teaching of a software development course

The rate of adoption and use of learning management systems to support teaching and learning processes in academic institutions is growing rapidly. Universities are acquiring systems with functionalities that can match with their specific needs and requirements. Moodle is one of the most popular and widely deployed learning management systems in academic institutions today. However, apart from the system, universities tend to maintain other applications for the purpose of supplementing their teaching and learning processes. This situation is similar to Lappeenranta University of Technology (LUT), which is our case study in this project. Apart from Moodle, the university also maintains other systems such as Oodi, Noppa and Uni portal for the purpose of supporting its educational activities. This thesis has two main goals. The first goal is to understand the specific role of Moodle at LUT. This information is fundamental in assessing whether Moodle is needed in the university’s current teaching and learning environment. The second aim is to provide insights to teachers and other departmental stakeholders on how Moodle can provide added value in the teaching of a software development course. In response to this, a Moodle module for a software development course is created and the underlying features are tested. Results of the constructive work proposed some improvements through (i) the use of Moodle for in-class surveys, (ii) transfer of grades from Moodle to Oodi, (iii) use of Moodle in self-study courses and MOOCs, (iv) online examinations, and (v) Moodle integrations with third party applications. The proposed items were then evaluated for their utility through interviews of five expert interviews. The final results of this work are considered useful to LUT administration and management specifically on ways that Moodle can bring changes to the university at managerial, economical and technical level. It also poses some challenges on platform innovations and research.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Software business expansion through distribution channel : Case M-Files - Denmark

The purpose of this study was to find out how a software company can successfully expand business to the Danish software market through distribution channel. The study was commissioned by a Finnish software company and it was conducted using a qualitative research method by analyzing external and internal business environment, and interviewing Danish ICT organizations and M-Files personnel. Interviews were semi-structured interviews, which were designed to collect comprehensive information on the existing ICT and software market in Denmark. The research used three external and internal analyzing frameworks; PEST analysis (market level), Porter´s Five Force analysis (industry level competition) and SWOT analysis (company level). Distribution channels theory was a base to understand why and what kind of distribution channels the case company uses, and what kind of channels target markets companies’ uses. Channel strategy and design were integrated to the industry level analysis. The empirical findings revealed that Denmark has very business friendly ICT environment. Several organizations have ranked Denmark´s information and communication technology as the best in the world. Denmark’s ICT and software market are relatively small, compared to many other countries in Europe. Danish software market is centralized. Largest software clusters are in the largest cities; Copenhagen, Aarhus, Odense and Aalborg. From these clusters, software companies can most likely find suitable resellers. The following growing trends are clearly seen in the software market: mobile and wireless applications, outsourcing, security solutions, cloud computing, social business solutions and e-business solutions. When expanding software business to the Danish market, it is important to take into account these trends. In Denmark distribution channels varies depending on the product or service. For many, a natural distribution channel is a local partner or internet. In the public sector solutions are purchased through a public procurement process. In the private sector the buying process is more straight forwarded. Danish companies are buying software from reliable suppliers. This means that they usually buy software direct from big software vendors or local partners. Some customers prefer to use professional consulting companies. These consulting companies can strongly influence on the selection of the supplier and products, and in this light, consulting companies can be important partners for software companies. Even though the competition is fierce in ECM and DMS solutions, Danish market offers opportunities for foreign companies. Penetration to the Danish market through reseller channel requires advanced solutions and objective selection criteria for channel partners. Based on the findings, Danish companies are interested in advanced and efficient software solutions. Interest towards M-Files solutions was clearly seen and the company has excellent opportunity to expand business to the Danish market through reseller channel. Since the research explored the Danish ICT and software market, the results of the study may offer valuable information also to the other software companies which are expanding their business to the Danish market.

Energy aware software for many-core systems

Many-core systems provide a great potential in application performance with the massively parallel structure. Such systems are currently being integrated into most parts of daily life from high-end server farms to desktop systems, laptops and mobile devices. Yet, these systems are facing increasing challenges such as high temperature causing physical damage, high electrical bills both for servers and individual users, unpleasant noise levels due to active cooling and unrealistic battery drainage in mobile devices; factors caused directly by poor energy efficiency. Power management has traditionally been an area of research providing hardware solutions or runtime power management in the operating system in form of frequency governors. Energy awareness in application software is currently non-existent. This means that applications are not involved in the power management decisions, nor does any interface between the applications and the runtime system to provide such facilities exist. Power management in the operating system is therefore performed purely based on indirect implications of software execution, usually referred to as the workload. It often results in over-allocation of resources, hence power waste. This thesis discusses power management strategies in many-core systems in the form of increasing application software awareness of energy efficiency. The presented approach allows meta-data descriptions in the applications and is manifested in two design recommendations: 1) Energy-aware mapping 2) Energy-aware execution which allow the applications to directly influence the power management decisions. The recommendations eliminate over-allocation of resources and increase the energy efficiency of the computing system. Both recommendations are fully supported in a provided interface in combination with a novel power management runtime system called Bricktop. The work presented in this thesis allows both new- and legacy software to execute with the most energy efficient mapping on a many-core CPU and with the most energy efficient performance level. A set of case study examples demonstrate realworld energy savings in a wide range of applications without performance degradation.

Patterns and correlates of tobacco use among young adults at college and university

This thesis describes college and university students' smoking behaviours and examines whether socioenvironmental and personal characteristics experienced during adolescence are differentially associated with their smoking participation. Results show more college students than university students currently smoke (37% and 21 % respectively) and more began smoking prior to post-secondary school (93% and 84% respectively). Early age of onset of alcohol use increased the odds of current smoking (main effect model, OR = 8.56 CI = 6.47, 11.33), especially for university students (interaction effect model, b = 2.35 CI = 7.50, 14.64). Lower levels of high school connectedness were associated with increased odds of current smoking but for university students only (interaction effect model, b = -0.15 CI = 0.84, 0.88). While limitations associated with convenience sampling and low response rate exist, this is the first Canadian study to examine college and university students separately. I t reveals that tobacco control programming needs to differ for college and university students, and early alcohol prevention and school engagement programs for adolescents may influence tobacco use. Given that both educational pathway and use of tobacco are associated with SES, future research may consider examining in more detail, SES-related socioenvironmental variables.

“Weathering a Hidden Storm”: An Application of Andersen’s Behavioral Model of Health, and Health Services Use for Those with Diagnosable Anxiety Disorder

Abstract: Research has primarily focused on depression and mood disorders, but little research has been devoted to an examination of mental health services use amongst those with diagnosable anxiety disorder (Wittchen et al., 2002; Bergeron et al., 2005). This study examined the possible predicting factors for mental health services utilization amongst those with identifiable anxiety disorder in the Canadian population. The methods used for this study was the application of Andersen’s Behavioral Model of Health Services Use, where predisposing, need and enabling characteristics were regressed on the dependent variable of mental health services use. This study used the Canadian Community Health Survey (cycle 1.2: Mental Health and Well-Being) in a secondary data analysis. Several multiple logistics models predicted the likelihood to seek and use mental health services. Predisposing characteristics of gender and age, Enabling characteristics of education and geographical location, and those with co-occurring mood disorders were at the greatest increased likelihood to seek and use mental health services.

"Weathering a hidden storm" : an application of Andersen's behavioral model of health, and health services use for those with diagnosable anxiety disorder

"Weathering a Hidden Storm": An App~ication of Andersen's Behaviora~ Mode~ of Hea~th, and Hea~th Services Use for Those With Diagnosab~e Anxiety Disorder Research has primarily focused on depression and mood disorders, but little research has been devoted to an examination of mental health services use amongst those with diagnosable anxiety disorder (Wittchen et al., 2002; Bergeron et al., 2005). This study examined the possible predicting factors for mental health services utilization amongst those with identifiable anxiety disorder in the Canadian population. The methods used for this study was the application of Andersen's Behavioral Model of Health Services Use, where predisposing, need and enabling 111 characteristics were regressed on the dependent variable of mental health services use. This study used the Canadian Community Health Survey (cycle 1.2: Mental Health and Well- Being) in a secondary data analysis. Several multiple logistics models predicted the likelihood to seek and use mental health services. Predisposing characteristics of gender and age, Enabling characteristics of education and geographical location, and those with co-occurring mood disorders were at the greatest increased likelihood to seek and use mental health services.

Inter and intra-specific differences in medicinal plant use for the treatment of type II diabetes symptoms by the Cree Elders of Eeyou Istchee (QC)

Au Canada, nous remarquons une prédominance du diabète de type 2 au sein des communautés autochtones. Une approche ethnobotanique est utilisée en collaboration avec la Nation Crie de Eeyou Istchee afin de déterminer quels traitements à base de plantes peuvent être utilisés pour contrer les différentes conditions qui, collectivement, forment le diabète. Les pharmacopées de deux communautés cries, soit celles de Waskaganish et de Nemaska, ont été établies puis comparées à celles de étudiées antérieurement : communautés Whapmagoostui et Mistissini. Malgré les différences géographiques de ces groupes, leurs utilisations sont majoritairement semblables, avec pour seule exception le contraste entre les communautés de Nemaska et de Whapmagoostui. De plus, nous avons complété l’évaluation du taux cytoprotecteur des aiguilles, de l’écorce et des cônes de l’épinette noire (Picea mariana). Les extraits provenant de tous les organes des plantes démontrent une protection qui dépend de la concentration. La réponse spécifique d’organes peut varier selon l’habitat; ainsi, les plantes poussant dans les tourbières ou dans les forêts, sur le littoral ou à des terres l’intérieur démontrent des différences quant à leur efficacité. Bref, l’écorce démontre une relation dose-effet plus forte dans la forêt littorale, tandis que les aiguilles n’indiquent pas de changements significatifs selon leur environnement de croissance. La bioactivité observée démontre une corrélation avec le contenu phénolique et non avec l’activité de l’agent antioxydant. Ces résultats contribuent à péciser les activités antidiabétiques des plantes de la forêt boréale canadienne, telles qu’identifiées au niveau cellulaire par les guérisseurs Cries.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

IR: Knowledge Creation, Knowledge Management and Knowledge Dissemination

Open access iiiovemerit and open source software movement plays an important role in creation of knowledge, knowledge management and knowledge dissemination. Scholarly communication and publishing are increasingly taking place in the electronic environment. With a growing proportion of the scholarly record now existing only in digital format, serious issues regarding access and preservation are being raised that are central to future scholarship. Institutional Repositories provide access to past. present and future scholarly literature and research documentation; ensures its preservation; assists users in discovery and use; and offers educational programs to enable users to develop lifelong literacy. This paper explores these aspects on how IR of Cochin University of Science & Technology supports scientific community for knowledge creation. knowledge Management, and knowledge dissemination.