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.

Impact of precipitation on the water table level of different ombrotrophic raised bog complexes, central Estonia

Sadannan vaikutus vedenpinnan tasoon kohosuolla

Mathematical modeling of level of anaesthesia from EEG measurements

Problem of modeling of anaesthesia depth level is studied in this Master Thesis. It applies analysis of EEG signals with nonlinear dynamics theory and further classification of obtained values. The main stages of this study are the following: data preprocessing; calculation of optimal embedding parameters for phase space reconstruction; obtaining reconstructed phase portraits of each EEG signal; formation of the feature set to characterise obtained phase portraits; classification of four different anaesthesia levels basing on previously estimated features. Classification was performed with: Linear and quadratic Discriminant Analysis, k Nearest Neighbours method and online clustering. In addition, this work provides overview of existing approaches to anaesthesia depth monitoring, description of basic concepts of nonlinear dynamics theory used in this Master Thesis and comparative analysis of several different classification methods.

The state of research and development in Australia: implications for future development

The scale of research and development (R&D), and other technological activities, and the way in which the available resources are managed and organized at the enterprise and national level contribute to the rate of technological change in a country. A well organized national innovation system can be a powerful engine of progress, whereas a lack of interaction between institutions results in the slowing down of technological change, thereby diminishing its contribution to economic growth and welfare. The research object of this thesis is Australia’s national innovation system and the state of R&D in Australia. In order to establish an overall picture of the situation and to be able to make recommendations for future development, the general level of R&D activity and the main performers and funders of R&D within the system are analyzed. The framework policies supporting R&D and prevalent dynamics between different actors and sectors are of specific interest of the research. The findings reveal that the Australian culture is not a culture of research and innovation and that the main challenge is building a coherent system with strong domestic and international linkages.

Foot Health In Older People - Development of a preventive, evaluative instrument for nurses

Foot health is a part of overall health in every age group and its importance increases during ageing. Health care professionals are in a vital position for preventing foot health problems, and identifying and caring them in older people. Despite the rather high number of studies conducted in the field of foot health in older people, reliable and valid nurse-administered foot health assessment instruments seem to be lacking. By identifying foot health in older people, it is possible to develop nursing interventions to enhance safe, independent living at home. The purpose of this three-phase study was to develop an instrument to assess the level of foot health in older people and evaluate foot care practices from the perspective of older people themselves and nurses in home care. The ultimate goal is to prevent foot health problems by increasing the attention paid to older people’s feet and recognizing those foot health problems which need further care; thus not focus on different foot health problems. The study was conducted in different phases and contexts. In phase 1, a descriptive design with a literature review from the Medline (R) and CINAHL databases to explore foot health in older people and nurses’ role in foot health care and pre-post design intervention study in nursing home with nursing staff (n=16) and older residents (n=43) were conducted. In phase 2, a descriptive and explorative study design was employed to develop an instrument for assessing foot health in older people (N=651, n=309, response rate 47%) and explore the psychometrics of the instrument. The data were collected from sheltered housing and home care settings. Finally, in phase 3, descriptive and explorative as well as cross-sectional correlational survey designs were used to assess foot health and evaluate the foot self-care activities of older people (N=651, n=309, response rate 47%) and to describe foot care knowledge and caring activities of nurses (N=651, n=322, response rate 50%) in home care in Finland. To achieve this, the Foot Health Assessment Instrument (FHAI) developed in phase 2 was used; at the same time, this large sample also was used for the psychometric evaluation of the FHAI. The data analysis methods used in this study were content analysis, descriptive and inferential statistics including factor and multivariate analysis. Many long-term diseases can manifest in feet. Therefore, the FHAI, developed in this study consisted of items relating to skin and nail health, foot structure and foot pain. The FHAI demonstrated acceptable preliminary psychometric properties. A great deal of different foot health problems in older people were found of which edema, dry skin, thickened and discoloured toenails and hallux valgus were the most prevalent foot health problems. Moreover, many older people had difficulties in performing foot self-care. Nurses’ knowledge of foot care was insufficient and revealed a need for more information and continuing education in matters relating to foot care in older people. Instead, nurses’ foot care activities were mainly adequate, though the findings indicate the need for updating foot care activities to correspond with the evidence found in the field of foot care. Practical implications are presented for nursing practice, education and administration. In future, research should focus on developing interventions for older people and nurses to promote foot health in older people and to prevent foot health problems, as well as for further development of the FHAI.

Development of a Glycocluster Adjuvant Mimicking Natural Yeast beta-(1,2)-Structures

Allergy is characterized by T helper (Th) 2-type immune response after encounter with an allergen leading to subsequent immunoglobulin (Ig) E-mediated hypersensitivity reaction and further allergic inflammation. Allergen-specific immunotherapy (SIT) balances the Th2-biased immunity towards Th1 and T regulatory responses. Adjuvants are used in allergen preparations to intensify and modify SIT. β-(1,2)-oligomannoside constituents present in Candida albicans (C. albicans) cell wall possess Th1-type immunostimulatory properties. The aim of this thesis was to develop a β-(1,2)-linked carbohydrate compound with known structure and anti-allergic properties to be applied as an adjuvant in SIT. First the immunostimulatory properties of various fungal extracts were studied. C. albicans appeared to be the most promising Th1-inducing extract, which led to the synthesis of various mono- or divalent oligomannosides designed on the basis of C. albicans. These carbohydrates did not induce strong cytokine production in human peripheral blood mononuclear cell (PBMC) cultures. In contrast to earlier reports using native oligosaccharides from C. albicans, synthetic -(1,2)-linked mannotetraose did not induce any tumor necrosis factor production in murine macrophages. Next, similarities with synthesized divalent mannosides and the antigenic epitopes of β-(1,2)-linked C. albicans mannan were investigated. Two divalent compounds inhibited specific IgG antibodies binding to below 3 kDa hydrolyzed mannan down to the level of 30–50% showing similar antigenicity to C. albicans. Immunomodulatory properties of synthesized carbohydrate assemblies ranging from mono- to pentavalent were evaluated. A trivalent acetylated dimannose (TADM) induced interleukin-10 (IL-10) and interferon-γ responses. TADM also suppressed birch pollen induced IL-4 and IL-5 responses in allergen (Bet v) stimulated PBMCs of birch pollen allergic subjects. This suppression was stronger with TADM than with other used adjuvants, immunostimulatory oligonucleotides and monophosphoryl lipid A. In a murine model of asthma, the allergen induced inflammatory responses could also be suppressed by TADM on cytokine and antibody levels.

Development of Measurement Systems in Scientific Research: Case Study

In recent years, technological advancements in microelectronics and sensor technologies have revolutionized the field of electrical engineering. New manufacturing techniques have enabled a higher level of integration that has combined sensors and electronics into compact and inexpensive systems. Previously, the challenge in measurements was to understand the operation of the electronics and sensors, but this has now changed. Nowadays, the challenge in measurement instrumentation lies in mastering the whole system, not just the electronics. To address this issue, this doctoral dissertation studies whether it would be beneficial to consider a measurement system as a whole from the physical phenomena to the digital recording device, where each piece of the measurement system affects the system performance, rather than as a system consisting of small independent parts such as a sensor or an amplifier that could be designed separately. The objective of this doctoral dissertation is to describe in depth the development of the measurement system taking into account the challenges caused by the electrical and mechanical requirements and the measurement environment. The work is done as an empirical case study in two example applications that are both intended for scientific studies. The cases are a light sensitive biological sensor used in imaging and a gas electron multiplier detector for particle physics. The study showed that in these two cases there were a number of different parts of the measurement system that interacted with each other. Without considering these interactions, the reliability of the measurement may be compromised, which may lead to wrong conclusions about the measurement. For this reason it is beneficial to conceptualize the measurement system as a whole from the physical phenomena to the digital recording device where each piece of the measurement system affects the system performance. The results work as examples of how a measurement system can be successfully constructed to support a study of sensors and electronics.

Development and Effect Analysis of the Asteri Consultative Auditing Process - Safety and Security Management in Educational Institutions

The Finnish legislation requires for a safe and secure learning environment. However, the comprehensive, risk based safety and security management (SSM) and the management commitment in the implementation and development of the SSM are not mentioned in the legislation. Multiple institutions, operators and researchers have studied and developed safety and security in educational institutions over the past decade. Typically the approach has been fragmented and without bringing up the importance of the comprehensive SSM. The development needs of the safety and security operations in universities have been studied. However, in universities of applied sciences (UASs) and in elementary schools (ESs), the performance level, strengths and weaknesses of the comprehensive SSM have not been studied. The objective of this study was to develop the comprehensive, risk based SSM of educational institutions by developing the new Asteri consultative auditing process and study its effects on auditees. Furthermore, the performance level in the comprehensive SSM in UASs and ESs were studied using Asteri and the TUTOR model developed by the Keski-Uusimaa Department for Rescue Services. In addition, strengths, development needs and differences were identified. In total, 76 educational institutions were audited between the years 2011 and 2014. The study is based on logical empiricism, and an observational applied research design was used. Auditing, observation and an electronic survey were used for data collection. Statistical analysis was used to analyze the collected information. In addition, thematic analysis was used to analyze the development areas of the organizations mentioned by the respondents in the survey. As one of the main contributions, this research presents the new Asteri consultative auditing process. Organizations with low performance levels on the audited subject benefit the most from the Asteri consultative auditing process. Asteri may be usable in many different types of audits, not only in SSM audits. As a new result, this study provides new knowledge on attitudes related to auditing. According to the research findings, auditing may generate negative attitudes and the auditor should take them into account when planning and preparing for audits. Negative attitudes can be compensated by producing added value, objectivity and positivity for the audit and, thus, improve the positive effects of auditing on knowledge and skills. Moreover, as the results of this study shows, auditing safety and security issues do not increase feelings of insecurity, but rather increase feelings of safety and security when using the new Asteri consultative auditing process with the TUTOR model. The results showed that the SSM in the audited UASs was statistically significantly more advanced than that in the audited ESs. However, there is still room for improvement in the ESs and the UASs as the approach to the SSM was fragmented. It can be assumed that the majority of Finnish UASs and ESs do not likely meet the basic level of the comprehensive, risk based the SSM.

Development Of Interpersonal Relationships in Global Virtual Teams

This study investigates the development of relationships in same global virtual team working on different projects. The purpose is to explore how do interpersonal relationships develop in terms of characteristics of virtuality and if there is any influence of project lifespan on the development of these relationships. Since relationships are dynamic in nature and are influenced by multiple levels of variables including individual, group and organizational level, therefore characteristics of virtuality have been considered from all these aspects so as to study their influence on development of relationships. In this study, relationships have been studied at two different levels. At first, dyadic relationships between two members of a GVT have been analyzed and thereafter, focus has been on the development of relationships among the team, based on these dyads. Characteristics having influence on development of relationships include trust, physical distance, time zone difference, cultural and language differences, level of formalization in the organization and means of communication used by team members. Level of formalization and means of communication are two characteristics which emerged after empirical study and are found to have direct influence on development of relationships. Remaining characteristics have been identified through literature review. In order to conduct the study, qualitative methodology has been applied. Empirical data has been collected based on a single case study while using semi-structured interviews as data gathering technique. Data analysis has been performed by applying thematic analysis along with the utilization of company documents such as work sheets, minutes of meetings and recordings of conferences. Findings of the study indicate that development of relationships, both at dyadic level and team level, is influenced by different events taking place among different members of GVT. These events have either positive or negative influence on the characteristics of virtuality, which leads to development of the relationships. It has been found that, trust, among all factors plays a greater role in development of these relations. Contrary to the belief that most conflicts arise among members of different cultures, they are equally likely to happen among the members from same culture in GVT environment. Study suggests that relationship development is not a smooth process but it fluctuates based on different events in teams. For further research, teams within large firms shall be studied along these lines. This study is an early attempt towards bringing different characteristics of virtuality together which previously, have been studied individually. It is therefore plausible to conduct similar studies so as to generalize the findings of this study which has provided a starting point.