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.

Novel Functions of ErbB4 and NRG-1 in Development and Cancer

Cells communicate, or signal, with each other constantly to ensure proper functioning of tissues and organs. Cell signaling is often performed by interplay of receptors and ligands that bind these receptors. ErbB receptors (epidermal growth factor receptors, EGFR, HER) bind extracellular growth factors and transduce these signals inside of cells. ErbB dysfunction promotes carcinogenesis, and also results in numerous defects during normal development. This study focused on the functions of one member of the ErbB receptor family, ErbB4, and growth factor, neuregulin-1 (NRG-1), that can bind and activate ErbB4. This study aimed to find novel functions of ErbB4 and NRG-1. Hypoxia, or deficiency of oxygen, is common in cancer and ischemic conditions. One of the key findings of the work was the identification and characterization of a cross-talk between ErbB4 and Hypoxia-inducible factor 1α (HIF-1α), the central mediator of hypoxia signaling. ErbB4 activation by NRG-1 was found to increase HIF-1α activity. Interestingly, this regulation occurred in reciprocal manner as HIF-1α was also able to increase protein levels of NRG-1 and ErbB4. Moreover, expression of NRG-1 and ErbB4 was associated with HIF activity in vivo in human clinical samples and in mice. Reduction of functional ErbB4 in developing zebrafish embryos resulted in defects in development of the skeletal muscles. To study ErbB4 functions in pathological situation in humans, clinical samples of serous ovarian carcinoma were analyzed using tissue microarrays and real-time RT-PCR. A specific isoform of ErbB4, CYT-1, was associated with poor survival in serous ovarian cancer and increased anchorage independent growth of ovarian cancer cells in vitro. These observations demonstrate that ErbB4 and NRG-1 are essential regulators of cellular response to hypoxia, of development, and of ovarian carcinogenesis.

The development of credit management

The objective of the examination was to create development suggestions to intensify the credit management in the subject enterprise. The target of the theory part was to add understanding concerning the credit management and to define the process of credit management. The target of the empirical part was to get to know the present conditions of the credit management in the subject enterprise as well as to establish the problems in the process. The research methodology is constructive, but there are also characteristics of action research.The target of constructive methodology is to create a solutionmodel for the relevant research problem. The methods used in the empirical part were participating observation, literary material and interviews. Within the results of the research a number of development suggestions for the credit management were presented. It is possible to achieve considerable returns while shortening the chain of cash payments. In the suggestions the importance of cooperation between different functions as well as training were emphasized.

Improving the effectiveness of supply chain development work – an expert role perspective

This study focuses to the intersection of three sets of activities in a company: expert work, development work and supply chain management, SCM. Experts and expert work represent a set of individuals whose efficiency and impact this study is intended to improve, while development work defines the set of organizational activities to focus on. SCM as an expertise area acts as the platform on which this study is built. The study has two aims. Firstly, it aims to derive a model helping an SCM expert to increase the effectiveness of expert work in development tasks by understanding the encountered organizational situations and processes better, reflecting his/her past and future actions to organizational processes and selecting and adjusting the processes and contents of his/her work accordingly. Secondly, it aims to develop applicable approaches and methods to understand, evaluate and manage the organizational processes and situations in development work. The integrative model on approaches and methods to improve the effectiveness of development processes is split to two aggregate dimensions: technical performance of the developed solution and consumption of resources of the development process. Six potential approaches and methods aiming at helping in the management of organizational dimensions are presented in enclosed publications. The approaches focus on three subtasks of development work: decision making, implementation and change, and knowledge accumulation. The approaches and methods have been tested in case studies representing typical development processes in the area of supply chain management. As a result, four suggestions are presented. Firstly, SCM experts are advised to consider the SCM development work to be consisting of development processes. Secondly, inside these processes they should identify and evaluate the risk of difficult decision-making related to organizational factors. Thirdly, they are prompted for an active role in implementation and change, supporting the implementation through whole process. Finally, the development should be seen in a holistic view, taking into account the stage of knowledge and organizational issues related to it, and adopt a knowledge development strategy.

Regulation of B Cell Gene Expression and Function by Ikaros, Helios and Bcl6

B lymphocytes constitute a key branch of adaptive immunity by providing specificity to recognize a vast variety of antigens by B cell antigen receptors (BCR) and secreted antibodies. Antigen recognition activates the cells and can produce antibody secreting plasma cells via germinal center reaction that leads to the maturation of antigen recognition affinity and switching of antibody effector class. The specificity of antigen recognition is achieved through a multistep developmental pathway that is organized by interplay of transcription factors and signals through BCR. Lymphoid malignancies arise from different stages of development in abnormal function of transcriptional regulation. To understand the B cell development and the function of B cells, a thorough understanding of the regulation of gene expression is important. The transcription factors of the Ikaros family and Bcl6 are frequently associated with lymphoma generation. The aim of this study was to reveal the targets of Ikaros, Helios and Bcl6 mediated gene regulation and to find out the function of Ikaros and Helios in B cells. This study uses gene targeted DT40 B cell lines and establishes a role for Ikaros family factors Ikaros and Helios in the regulation of BCR signaling that is important at developmental checkpoints, for cell survival and in activation. Ikaros and Helios had opposing roles in the regulation of BCR signals. Ikaros was found to directly repress the SHIP gene that encodes a signaling lipid-metabolizing enzyme, whereas Helios had activating effect on SHIP expression. The findings demonstrate a balancing function for these two Ikaros family transcription factors in the regulation of BCR signaling as well as in the regulation of gene expression. Bcl6 was found to repress plasma cell gene expression program while maintaining gene expression profile of B cells. Analysis of direct Bcl6 target genes suggested novel mechanisms for Bcl6-mediated suppression of plasma cell differentiation and promoting germinal center phenotype.

Development of Cost Estimation with Feedback Information in EPCM Business

Target company of this study is a large machinery company, which is, inter alia, engaged in energy and pulp engineering, procurement and construction management (EPCM) supply business. The main objective of this study was to develop cost estimation of the target company by providing more accurate, reliable and up-to-date information through enterprise resource planning (ERP) system. Another objective was to find cost-effective methods to collect total cost of ownership information to support more informed supplier selection decision making. This study is primarily action-oriented, but also constructive, and it can be divided in two sections: theoretical literature review and empirical study on the abovementioned part of the target company’s business. Development of information collection is, in addition to literature review, based on nearly 30 qualitative interviews of employees at various organizational units, functions and levels at the target company. At the core of development was to make initial data more accurate, reliable and available, a necessary prerequisite for informed use of the information. Certain development suggestions and paths were presented in order to regain confidence in ERP system as information source by reorganizing work breakdown structure and by complementing mere cost information with quantitative, technical and scope information. Several methods to use the information ever more effectively were also discussed. While implementation of the development suggestions outreached the scope of this study, it was forwarded in test environment and interest groups.

Challenges in managing large-scale agile software development transformation

Adapting and scaling up agile concepts, which are characterized by iterative, self-directed, customer value focused methods, may not be a simple endeavor. This thesis concentrates on studying challenges in a large-scale agile software development transformation in order to enhance understanding and bring insight into the underlying factors for such emerging challenges. This topic is approached through understanding the concepts of agility and different methods compared to traditional plan-driven processes, complex adaptive theory and the impact of organizational culture on agile transformational efforts. The empirical part was conducted by a qualitative case study approach. The internationally operating software development case organization had a year of experience of an agile transformation effort during it had also undergone organizational realignment efforts. The primary data collection was conducted through semi-structured interviews supported by participatory observation. As a result the identified challenges were categorized under four broad themes: organizational, management, team dynamics and process related. The identified challenges indicate that agility is a multifaceted concept. Agile practices may bring visibility in issues of which many are embedded in the organizational culture or in the management style. Viewing software development as a complex adaptive system could facilitate understanding of the underpinning philosophy and eventually solving the issues: interactions are more important than processes and solving a complex problem, such a novel software development, requires constant feedback and adaptation to changing requirements. Furthermore, an agile implementation seems to be unique in nature, and agents engaged in the interaction are the pivotal part of the success of achieving agility. In case agility is not a strategic choice for whole organization, it seems additional issues may arise due to different ways of working in different parts of an organization. Lastly, detailed suggestions to mitigate the challenges of the case organization are provided.

Social class as a factor for the construction of a musician’s identity : The Musician’s social background and identity questionnaire (MSBIQ) – a cross-sectional comparative quantitative online survey research study of music students at two higher education institutions in Finland

There is currently little empirical knowledge regarding the construction of a musician’s identity and social class. With a theoretical framework based on Bourdieu’s (1984) distinction theory, Bronfenbrenner’s (1979) theory of ecological systems, and the identity theories of Erikson (1950; 1968) and Marcia (1966), a survey called the Musician’s Social Background and Identity Questionnaire (MSBIQ) is developed to test three research hypotheses related to the construction of a musician’s identity, social class and ecological systems of development. The MSBIQ is administered to the music students at Sibelius Academy of the University of Arts Helsinki and Helsinki Metropolia University of Applied Sciences, representing the ’highbrow’ and the ’middlebrow’ samples in the field of music education in Finland. Acquired responses (N = 253) are analyzed and compared with quantitative methods including Pearson’s chi-square test, factor analysis and an adjusted analysis of variance (ANOVA). The study revealed that (1) the music students at Sibelius Academy and Metropolia construct their subjective musician’s identity differently, but (2) social class does not affect this identity construction process significantly. In turn, (3) the ecological systems of development, especially the individual’s residential location, do significantly affect the construction of a musician’s identity, as well as the age at which one starts to play one’s first musical instrument. Furthermore, a novel finding related to the structure of a musician’s identity was the tripartite model of musical identity consisting of the three dimensions of a musician’s identity: (I) ’the subjective dimension of a musician’s identity’, (II) ’the occupational dimension of a musician’s identity’ and, (III) ’the conservative-liberal dimension of a musician’s identity’. According to this finding, a musician’s identity is not a uniform, coherent entity, but a structure consisting of different elements continuously working in parallel within different dimensions. The results and limitations related to the study are discussed, as well as the objectives related to future studies using the MSBIQ to research the identity construction and social backgrounds of a musician or other performing artists.

Dynamic model development of adiabatic compressed air energy storage

The share of variable renewable energy in electricity generation has seen exponential growth during the recent decades, and due to the heightened pursuit of environmental targets, the trend is to continue with increased pace. The two most important resources, wind and insolation both bear the burden of intermittency, creating a need for regulation and posing a threat to grid stability. One possibility to deal with the imbalance between demand and generation is to store electricity temporarily, which was addressed in this thesis by implementing a dynamic model of adiabatic compressed air energy storage (CAES) with Apros dynamic simulation software. Based on literature review, the existing models due to their simplifications were found insufficient for studying transient situations, and despite of its importance, the investigation of part load operation has not yet been possible with satisfactory precision. As a key result of the thesis, the cycle efficiency at design point was simulated to be 58.7%, which correlated well with literature information, and was validated through analytical calculations. The performance at part load was validated against models shown in literature, showing good correlation. By introducing wind resource and electricity demand data to the model, grid operation of CAES was studied. In order to enable the dynamic operation, start-up and shutdown sequences were approximated in dynamic environment, as far as is known, the first time, and a user component for compressor variable guide vanes (VGV) was implemented. Even in the current state, the modularly designed model offers a framework for numerous studies. The validity of the model is limited by the accuracy of VGV correlations at part load, and in addition the implementation of heat losses to the thermal energy storage is necessary to enable longer simulations. More extended use of forecasts is one of the important targets of development, if the system operation is to be optimised in future.

Investment Determinants and Future Shape of Russia's Power Generation

The reformation of power sector is still in the process of development. The present day situation in Russian electricity power market ischaracterized as transitional period: competitive electricity market is forming, new companies are being created and the power of government regulation is decreasing. The main aim of the reformation is to attract much-needed private investments to the power sector. The electricity consumption increases very rapidly and power sector has to cope with high demand. The goal of this master's thesis is to analyze the nowadays situation in Russian power sector, such as generation structure, condition of electricity networks, electricity price formation for end-users, shape of fuel sector and investments risks and attraction.The final result of this work is creation of scenario of Russian power sector future shape and analysis of the present day situation.

Thick XML client and technology of its construction

Nykyään kolmeen kerrokseen perustuvat client-server –sovellukset ovat suuri kinnostuskohde sekä niiden kehittäjille etta käyttäjille. Tietotekniikan nopean kehityksen ansiosta näillä sovelluksilla on monipuolinen käyttö teollisuuden eri alueilla. Tällä hetkellä on olemassa paljon työkaluja client-server –sovellusten kehittämiseen, jotka myös tyydyttävät asiakkaiden asettamia vaatimuksia. Nämä työkalut eivät kuitenkaan mahdollista joustavaa toimintaa graafisen käyttöliittyman kanssa. Tämä diplomityö käsittelee client-server –sovellusten kehittamistä XML –kielen avulla. Tämä lähestymistapa mahdollistaa client-server –sovellusten rakentamista niin, että niiden graafinen käyttöliittymä ja ulkonäkö olisivat helposti muokattavissa ilman ohjelman ytimen uudelleenkääntämistä. Diplomityö koostuu kahdesta ostasta: teoreettisesta ja käytännöllisestä. Teoreettinen osa antaa yleisen tiedon client-server –arkkitehtuurista ja kuvailee ohjelmistotekniikan pääkohdat. Käytannöllinen osa esittää tulokset, client-server –sovellusten kehittämisteknologian kehittämislähestymistavan XML: ää käyttäen ja tuloksiin johtavat usecase– ja sekvenssidiagrammit. Käytännöllinen osa myos sisältää esimerkit toteutetuista XML-struktuureista, jotka kuvaavat client –sovellusten kuvaruutukaavakkeiden esintymisen ja serverikyselykaaviot.

Technical Aspects of Internet-Shopping, Comparative study in Finland/Russia

Isot ja keskikokoiset yritykset harkitsevat sähköistä kaupankäyntiä Internetissä, Internet - kauppojen muodossa. Organisaatiot pyrkivät kilpailukykyiseen ja moderniin tyyliin kaupankäynnissä sekä yrityksen eri prosessien automatisointiin. Yrityksen on onnistuttava uusimpien tekniikoiden ja työkalujen omaksumisessa kilpailukykynsä parantamiseksi. Sähköinen kaupankäynti on suhteellisen uusi tekniikka, joka mahdollistaa kaupankäynnin esittämisen uudessa, sähköisessä muodossa. Tämä työ sisältää katsauksen yrityksen mahdollisiin sähköisen kaupankäynnin eri muotoihin. Työ sisältää mahdollisia ratkaisuja Internet-kaupan rakentamiseen, sähköisen kaupankäynnin hallintaan sekä erityyppisten Internet- kauppojen kuvauksia. Sähköisen kaupankäynnin ongelmat ovat myös tarkastelussa. Välttämättömät asiat sähköisen kaupankäynnin perustamiseksi on lueteltu. Työn kokeellinen osuus sisältää vertailututkimusta sähköisen kaupankäynnin muodoista Suomessa ja Venäjällä. Sähköisen kaupankäynnin ongelmat, niiden mahdolliset ratkaisut, eroavaisuudet sekä samankaltaisuudet molempien maiden välillä on esitetty tässä työssä. Työssä on arvioitu Internet-kaupan kehittämistä sekä edistämistä esimerkein. Tutkimuksen tulokset on esitetty.

Design and Implementation of MUPE Server Context Tool for Eclipse IDE

The development of software tools begun as the first computers were built. The current generation of development environments offers a common interface to access multiple software tools and often also provide a possibility to build custom tools as extensions to the existing development environment. Eclipse is an open source development environment that offers good starting point for developing custom extensions. This thesis presents a software tool to aid the development of context-aware applications on Multi-User Publishing Environment (MUPE) platform. The tool is implemented as an Eclipse plug-in. The tool allows developer to include external server side contexts to their MUPE applications. The tool allows additional context sources to be added through the Eclipse's extension point mechanism. The thesis describes how the tool was designed and implemented. The implementation consists of tool core component part and an additional context source extension part. Tool core component is responsible for the actual context addition and also provides the needed user interface elements to the Eclipse workbench. Context source component provides the needed context source related information to the core component. As part of the work an update site feature was also implemented for distributing the tool through Eclipse update mechanism.

Quality of Abdominal Surgical Nursing Care

The study evaluates the quality of abdominal surgical nursing care. The data were collected from patients (n=1208) having undergone abdominal surgical operations on their last day of hospitalization and nurses (n=218) working in the same wards. Three instruments originally created in Finland and adapted to the Lithuanian context were used: (1) Good Nursing Care Scale for patients and nurses (GNCS-P, GNCS-N), (2) Nurse Competence Scale (NCS), and (3) Nurse Empowerment Scale (NES). Patient and nurses’ perceptions of the quality of nursing care were evaluated. In addition, nurses’ perceptions of their competence and empowerment were evaluated. The patient and nurses' perceptions of the quality of abdominal surgical nursing care were positive, with more criticism in the nurses’ perceptions. Both patients and nurses gave the lowest evaluation to the quality in the progress of nursing care and the co-operation with significant others. The nurses gave the highest evaluation to the self-assessed level of their competence and the frequency of using competences in practice, with the highest assessment given to situation management and their role at work and the lowest to teaching-coaching and ensuring quality. The nurse perceptions of their empowerment were positive in the qualities and performance of an empowered nurse and empowerment promoting factors, with the highest evaluation in moral principles and sociability and the lowest evaluation in the future-orientedness and expertise. The empowerment-impeding factors were evaluated as negative. The perceptions of the quality of nursing care of both patients and nurses had significant correlations with patient and nurse satisfaction and nurse job independence. The nurse perceptions of their competence and empowerment correlated with their education, the type of the nurse license, completed courses of development of their knowledge and skills, nurse job independence, and nurse satisfaction. The nurse perceptions of the quality of nursing care had a positive correlation with their perceptions of competence and empowerment. Generally, the quality of nursing care was evaluated as high and had correlations with the patients' demographic and satisfaction factors and with the nurse demographic, work-related, and satisfaction factors. The study produced the knowledge that the quality in co-operation with significant others and the progress of nursing process, surgical nurse competence in teaching-coaching, and future-orientedness of surgical nurse empowerment need to be improved in order to develop the quality of abdominal surgical nursing care. The knowledge may be used to offer better services for abdominal surgical patients and increase their satisfaction with nursing care, as well as to increase nurses' satisfaction with work and independence at work. The study suggests implications for clinical practice and management, nursing education, and nursing research.