Yrittäjyysintentiosta yrittäjäksi - vai yrittäjyydestä luopujaksi?

Tutkielman tavoitteena on syventää käsitystä yrittäjäksi ryhtymisestä ja siihen vaikuttavista tekijöistä. Tutkielmassa on tutkittu yrittäjyyttä, yrittäjäksi ryhtymisen prosessia ja yrittäjäkoulutusta. Tutkielmassa tarkastellaan yrittäjäkurssin käyneitä henkilöitä, joista osa on perustanut yrityksen, mutta osa luopunut yrittäjyysintentiostaan yrittäjäksi ryhtymisen prosessin aikana. Tutkimus on luonteeltaan laadullinen. Tutkielmassa on teemahaastatteluilla selvitetty, minkälainen on yrittäjäksi ryhtyvän päätöksentekoprosessi, mitkä tekijät korostuvat päätöksentekoprosessissa yrittäjäksi ryhtyneillä ja aiotusta yrittäjyydestä luopuneilla, sekä mikä on ollut koulutuksen vaikutus yrittäjyysprosessissa. Tutkimuksessa on haastateltu yhtätoista Lappeenrannan seudun Yrittäjyysprojektin yrittäjäkurssin käynyttä henkilöä. Näiden haastatteluiden pohjalta on luotu tarinat jokaisesta henkilöstä. Päätöksentekoprosessit vaihtelivat tapauskohtaisesti sekä ajan että intensiteetin suhteen. Haastatelluista yrittäjiksi ryhtyneillä korostuivat tilannetekijät, kuten työttömyys ja työtyytymättömyys yrittäjyyteen ajaneina tekijöinä. Henkilötekijöistä esille nousivat sisäisen hallinnan tunne ja suoriutumisen tarve. Yrittäjäkurssilla koettiin olevan tiedonsaannin kannalta suuri merkitys.

Intrahemispheric cortico-cortical connections of the human auditory cortex.

The human auditory cortex comprises the supratemporal plane and large parts of the temporal and parietal convexities. We have investigated the relevant intrahemispheric cortico-cortical connections using in vivo DSI tractography combined with landmark-based registration, automatic cortical parcellation and whole-brain structural connection matrices in 20 right-handed male subjects. On the supratemporal plane, the pattern of connectivity was related to the architectonically defined early-stage auditory areas. It revealed a three-tier architecture characterized by a cascade of connections from the primary auditory cortex to six adjacent non-primary areas and from there to the superior temporal gyrus. Graph theory-driven analysis confirmed the cascade-like connectivity pattern and demonstrated a strong degree of segregation and hierarchy within early-stage auditory areas. Putative higher-order areas on the temporal and parietal convexities had more widely spread local connectivity and long-range connections with the prefrontal cortex; analysis of optimal community structure revealed five distinct modules in each hemisphere. The pattern of temporo-parieto-frontal connectivity was partially asymmetrical. In conclusion, the human early-stage auditory cortical connectivity, as revealed by in vivo DSI tractography, has strong similarities with that of non-human primates. The modular architecture and hemispheric asymmetry in higher-order regions is compatible with segregated processing streams and lateralization of cognitive functions.

Making SENSE - Sustained Effort Network for treatment of Status Epilepticus as a multicenter prospective registry.

BACKGROUND: Evidence regarding the different treatment options of status epilepticus (SE) in adults is scarce. Large randomized trials cover only one treatment at early stage and suggest the superiority of benzodiazepines over placebo, of intravenous lorazepam over intravenous diazepam or over intravenous phenytoin alone, and of intramuscular midazolam over intravenous lorazepam. However, many patients will not be treated successfully with the first treatment step. A large randomized trial covering the treatment of established status (ESETT) has just been funded recently by the NIH and will not start before 2015, with expected results in 2018; a trial on the treatment of refractory status with general anesthetics was terminated early due to insufficient recruitment. Therefore, a prospective multicenter observational registry was set up; this may help in clinical decision-making until results from randomized trials are available. METHODS/DESIGN: SENSE is a prospective, multicenter registry for patients treated for SE. The primary objective is to document patient characteristics, treatment modalities and in-house outcome of consecutive adults admitted for SE treatment in each of the participating centres and to identify predictors of outcome. Pre-treatment, treatment-related and outcome variables are documented systematically. To allow for meaningful multivariate analysis in the patient subgroups with refractory SE, a cohort size of 1000 patients is targeted. DISCUSSION: The results of the study will provide information about risks and benefits of specific treatment steps in different patient groups with SE at different points of time. Thus, it will support clinical decision-making and, furthermore, it will be helpful in the planning of treatment trials. TRIAL REGISTRATION: DRKS00000725.

Postmating-prezygotic isolation between two allopatric populations of Drosophila montana: fertilisation success differs under sperm competition

Postmating but prezygotic (PMPZ) interactions are increasingly recognized as a potentially important early-stage barrier in the evolution of reproductive isolation. A recent study described a potential example between populations of the same species: single matings between Drosophila montana populations resulted in differential fertilisation success because of the inability of sperm from one population (Vancouver) to penetrate the eggs of the other population (Colorado). As the natural mating system of D. montana is polyandrous (females remate rapidly), we set up double matings of all possible crosses between the same populations to test whether competitive effects between ejaculates influence this PMPZ isolation. We measured premating isolation in no-choice tests, female fecundity, fertility and egg-to-adult viability after single and double matings as well as second-male paternity success (P-2). Surprisingly, we found no PMPZ reproductive isolation between the two populations under a competitive setting, indicating no difficulty of sperm from Vancouver males to fertilize Colorado eggs after double matings. While there were subtle differences in how P-2 changed over time, suggesting that Vancouver males' sperm are somewhat less competitive in a first-male role within Colorado females, these effects did not translate into differences in overall P-2. Fertilisation success can thus differ dramatically between competitive and noncompetitive conditions, perhaps because the males that mate second produce higher quality ejaculates in response to sperm competition. We suggest that unlike in more divergent species comparisons, where sperm competition typically increases reproductive isolation, ejaculate tailoring can reduce the potential for PMPZ isolation when recently diverged populations interbreed.

Evaluation of Implementation of BSc IT Curriculum at Tumaini University

In Tanzania computer knowledge is vital to supplement the pace fast growing economic and development activities, which demands high and reliable level of expertise in com- puting field. In 2006, a research carried out at Tumaini University with purpose to design and implement a contextualized curriculum that can supplement for such needs hence facilitate development in Tanzanian context. A contextualized curriculum took advantage of six principles namely curriculum contex- tualization, projects, practical, interdisciplinary orientation, international recognition and continuous research for the program’s formative and development. Implementation of the curriculum followed the CATI (Contextualize, Apply, Transfer, and Import) model with emphasis on students to identify societal expectations at the early stage in learning process, in which case the graduates will potentially cater for societal expertise needs on ICT. This study adopts an emergent exploratory cross-section research design, while employ- ing a qualitative approach. This study was conducted at Tumaini University in Iringa where by purposeful sampling was used to obtain participants such as students, teach- ers, administrators and employers who participated in several focus group discussions, in-depth interviews and participant observation. The study reveals that six principles are satisfactorily met,despite of bottlenecks such as incompatibility in pedagogical thinking and technology availability for e-learning, learning attitudes, insufficient experts with actual skills and experience,in academic field among the others. The study recommends that iterative longitudinal study should be car- ried out to design for proper intervention in response to these problems which will help in improving and stabilize the curriculum.

HPV & head and neck cancer: a descriptive update

The incidence of head and neck squamous cell carcinoma (HNSCC) has been gradually increasing over the last three decades. Recent data have now attributed a viral aetiology to a subset of head and neck cancers. Several studies indicate that oral human papillomavirus (HPV) infection is likely to be sexually acquired. The dominance of HPV 16 in HPV+ HNSCC is even greater than that seen in cervical carcinoma of total worldwide cases. Strong evidence suggests that HPV+ status is an important prognostic factor associated with a favourable outcome in head and neck cancers. Approximately 30 to 40% of HNSCC patients with present with early stage I/II disease. These patients are treated with curative intent using single modality treatments either radiation or surgery alone. A non-operative approach is favored for patients in which surgery followed by either radiation alone or radiochemotherapy may lead to severe functional impairment. Cetuximab, a humanized mouse anti-EGFR IgG1 monoclonal antibody, improved locoregional control and overall survival in combination with radiotherapy in locally advanced tumours but at the cost of some increased cardiac morbidity and mortality. Finally, the improved prognosis and treatment responses to chemotherapy and radiotherapy by HPV+ tumours may suggest that HPV status detection is required to better plan and individualize patient treatment regimes.

Borrelia burgdorferi evades the effects of ceftriaxone treatment in a mouse model of Lyme borreliosis

Borrelia burgdorferi infektoitujen hiirten antibioottihoidon jälkeinen oireilu Lymen borrelioosi on puutiaisten välittämä monimuotoinen infektiotauti, jonka tunnetuin oire on ns. vaeltava ihottuma eli erythema migrans. Muita tavallisia ilmentymiä ovat erityisesti nivel- ja hermosto-oireet sekä harvemmin sydän- ja silmäoireet. Suurin osa potilaista paranee täysin terveeksi antibioottihoidon avulla, mutta jopa 10 % borrelioosiin sairastuneista oireilee suositusten mukaisesta hoidosta huolimatta. Pitkittyneen oireilun on ajateltu johtuvan mm. infektion laukaisemasta autoimmuunitaudista tai kroonisesta infektiosta, mutta teorioiden tueksi ei ole kyetty esittämään kiistattomia todisteita. Onkin todennäköistä, että antibioottihoidon jälkeisen oireilun takana on useampia mekanismeja eikä yksi teoria selitä kaikkien potilaiden oireilua. Tässä väitöskirjatyössä on tutkittu hoidonjälkeistä borrelioosia hiirimallin avulla. Varhaisvaiheessa (2 viikkoa infektoinnin jälkeen) annettu antibiootti vähensi hiirten nivelturvotusta ja esti B. burgdorferi – bakteerin kasvun kudoksista otetuista näytteissä. Hoidettu¬jen hiirten B. burgdorferi -spesifiset IgG-luokan vasta-aineet pysyivät kuitenkin koholla ja osasta kudosnäytteistä löytyi B. burgdorferi:n DNA:ta PCR-tutkimuksen avulla. Mikäli hiiret hoidettiin myöhäisessä vaiheessa (yli 18 viikkoa infektoinnista) tulokset olivat muuten samanlaiset, mutta keftriaksoni ei vaikuttanut nivelturvotukseen. Näin hiirissä oli aikaansaatu tilanne, joka on hyvin samankaltainen ihmisen hoitoresistentin borrelia-artriitin kanssa: oireet jatkuvat, mutta taudinaiheuttajaa ei saada esiin. Inflammaatiota vaimentavaa anti-TNF-alphaa on käytetty nivelreuman hoidossa menestyksekkäästi huonosti muuhun hoitoon reagoivilla potilailla ja siitä syystä sen ajateltiin voivan vaikuttaa suotuisasti myös B. burgdorferi -infektoitujen hiirten hoidonjälkeiseen nivelturvotukseen. Sillä ei kuitenkaan ollut vaikutusta nivelturvotukseen, mutta yllättäen hoidon jälkeen osa hiirten kudosnäytteistä osoittautui viljelypositiivisiksi. On siis ilmeistä, että hiirimallissamme osa B. burgdorferi spirokeetoista pystyy välttämään keftriaksonihoidon vaikutuksen joko hakeutumalla elimistössä kudokseen, jossa antibiootin pitoisuus ei nouse riittävän korkeaksi, tai ne kykenevät muuntautumaan metabolisesti inaktiiviin tilaan eikä mikrobilääke yhdessä immuunipuolustuksen kanssa onnistu tappamaan niitä. Jatkotutkimuksissa selvitimme B. burgdorferi - spirokeetan mahdollista piilopaikkaa tutkimalla antibioottihoidon jälkeen useita eri kudoksia PCR-menetelmällä. Tulosten perusteella spirokeetta näyttää suosivan nivelkudosta tai soluja, joita esiintyy nivelessä runsaasti. On kuitenkin edelleen epäselvää, missä muodossa B. burgdorferi –spirokeetat säilyvät kudoksessa antibioottihoidon jälkeen.

Molecular Markers of Oral Lichen Planus

Oral lichen planus (OLP) is a chronic inflammatory mucosal disease and is detected in between 0.5% - 2.2% of the population. WHO has defined OLP as a potentially precancerous disorder, representing a generalized state associated with a significantly increased risk of cancer. However, only 0.5 – 2.9% of OLP lesions will progress to cancer. Currently, there are no prognostic markers to identify the lesions at increased risk for malignant transformation. The main aim of these studies was to identify cellular and molecular markers in order to understand the pathogenesis of atrophic OLP and its progression towards malignancy. Selected markers for cell proliferation, adhesion, apoptosis, and lymphocytic infiltration were assessed by immunohistochemistry in addition to static cytometry analyses for DNA content. DNA quantification of epithelial cells in 82 biopsy samples derived from atrophic lichen planus showed altered DNA content in 41% of the samples. DNA content was associated with proliferation activity, topoisomerase IIalpha, desmocollin-1 and infection with human papillomavirus. CD27+ and CD38+ lymphocytes were detected in inflammatory cell infiltrate, indicating an abnormal homing of B cells from blood circulation to tissue. Physiologic cell death, apoptosis, is frequently seen in OLP, but its pathways are unknown. Here it was shown that caspases 2 and 12 were up-regulated in OLP, indicating that intracellular apoptosis, rather than an external causal factor, is triggering apoptosis. However, this thesis could not identify any singular prognostic marker of malignancy in OLP. Thus, every OLP patient should receive regular follow-up care to identify cancer risk patients at an early stage.

Koivupintaisen havuvanerin kustannustehokkuuden parantaminen

Metsäteollisuuden kiristyvä kilpailutilanne ja globalisoituminen ajavat metsäteollisuusyritykset uuteen tilanteeseen. Säästöä ja tehokkuutta pyritään hakemaan kaikin keinoin ja kaikesta toiminnasta. Samalla kehitetään uusia liiketoimintamuotoja tukemaan jo olemassa olevia ja korvaamaan vanhentuneita. Uuden tuotteen lanseeraus ei aina käy kivuttomasti, eikä elinkaarensa alkuvaiheessa tuotteen valmistaminen välttämättä tuota toivottua taloudellista tulosta. Verrattain uuden vanerituotteen kustannustehokkuuden parantamisen tarve havaittiin myös kohdeyrityksessä. Kirjallisuuden perusteella selvitettiin kohdeyrityksen tilanteeseen soveltuvia menetelmiä tietyn vanerituotteen valmistuskustannusten alentamiseksi. Tavoitekustannuslaskenta, Kaizen-laskenta ja jatkuvan parantamisen periaatteet ovat yleisesti tunnettuja menetelmiä tuotteen valmistuskustannusten hallitsemiseen. Näitä menetelmiä sovellettiin työssä kohdeyrityksen tarpeen mukaisiksi, tavoitteena tietyn vanerituotteen valmistuskustannusten alentaminen. Aluksi paikallistettiin tuotteen kustannusten muodostuminen ja suurimmat kustannuksia aiheuttavat tekijät. Selvityksen pohjalta määritettiin konkreettisia kustannustehokkuutta parantavia toimenpiteitä. Raaka-aineen kulutuksen vähentäminen ja tuoterakenteiden optimointi havaittiin teoreettisten laskelmien perusteella tehokkaimmiksi valmistuskustannusten alentamiskeinoiksi.

Experimental alternatives for evaluation of progenies and clones in eucalyptus breeding programs

The feasibility of using augmented block designs and spatial analysis methods for early stage selection in eucalyptus breeding programs was tested. A total of 113 half-sib progenies of Eucalyptus urophylla and eight clones were evaluated in an 11 x 11 triple lattice experiment at two locations: Posto da Mata (Bahia, Brazil) and São Mateus (Minas Gerais, Brazil). Four checks were randomly allocated within each block. Plots consisted of 15 m long rows containing 6 plants spaced 3 m apart. The girth at breast height (cm/plant) was evaluated at 19 and 26 months of age. Variance analyses were performed according to the following methods: lattice design, randomized complete block design, augmented block design, Papadakis method, moving means method, and check plots. Comparisons among different methods were based on the magnitude of experimental errors and precision of the estimates of genetic and phenotypic parameters. General results indicated that augmented block design is useful to evaluate progenies and clones in early selection in eucalyptus breeding programs using moderate and low selection intensities. However, this design is not suitable for estimating genetic and phenotypic parameters due to its low precision. Check plots, nearest neighbour, Papadakis (1937), and moving means methods were efficient in removing the heterogeneity within blocks. These efficiencies were compared to that in lattice analysis for estimation of genetic and phenotypic parameters.

Conventional and novel cardiovascular risk factors in young Finns and their associations with structural and functional vascular changes of subclinical atherosclerosis. The Cardiovascular Risk in Young Finns Study

Background: Atherosclerosis begins in early life progressing from asymptomatic to symptomatic as we age. Although substantial progress has been made in identifying the determinants of atherosclerosis in middle to older age adults at increased cardiovascular risk, there is lack of data examining determinants and prediction of atherosclerosis in young adults. Aims: The current study was designed to investigate levels of cardiovascular risk factors in young adults, subclinical measures of atherosclerosis, and prediction of subclinical arterial changes with conventional risk factor measures and novel metabolic profiling of serum samples. Subjects and Methods: This thesis utilised data from the follow-ups performed in 2001 and 2007 in the Cardiovascular Risk in Young Finns study, a Finnish population-based prospective cohort study that examined 2,204 subjects who were aged 30-45 years in 2007. Subclinical atherosclerosis was studied using noninvasive ultrasound measurements of carotid intima-media thickness (IMT), carotid arterial distensibility (CDist) and brachial flow-mediated dilation (FMD). Measurements included conventional risk factors and metabolic profiling using highthroughput nuclear magnetic resonance (NMR) methods that provided data on 42 lipid markers and 16 circulating metabolites. Results: Trends in lipids were favourable between 2001 and 2007, whereas waist circumference, fasting glucose, and blood pressure levels increased. To study the stability of noninvasive ultrasound markers, 6-year tracking (the likelihood to maintain the original fractile over time) in 6 years was examined. IMT tracked more strongly than CDist and FMD. Cardiovascular risk scores (Framingham, SCORE, Finrisk, Reynolds and PROCAM) predicted subclinical atherosclerosis equally. Lipoprotein subclass testing did not improve the prediction of subclinical atherosclerosis over and above conventional risk factors. However, circulating metabolites improved risk stratification. Tyrosine and docosahexaenoic acid were found to be novel biomarkers of high IMT. Conclusions: Prediction of cardiovascular risk in young Finnish adults can be performed with any of the existing risk scores. The addition of metabonomics to risk stratification improves prediction of subclinical changes and enables more accurate targeting of prevention at an early stage.

Influenza in children – Diagnosis, treatment and prevention

Background: The burden of influenza on children is substantial. Although mortality rates are low, the incidence of influenza is highest in children, among whom also complications are frequent. A more accurate recognition of influenza in children could enable the rational use of antiviral drugs and help to avoid unnecessary courses of antibiotics. Limited data exists on the efficacy of oseltamivir treatment and the trivalent inactivated influenza vaccine (TIV) in children. Aims and methods: We sought for signs and symptoms that could help clinicians to diagnose influenza on clinical grounds in a case-control study in children <13 years of age. We further assessed the feasibility of different diagnostics methods during the early stage of the illness in children aged 1-3 years. The efficacy of early oseltamivir treatment (started <24h from the onset of symptoms) was evaluated in a randomized controlled trial (RCT) conducted in children 1-3 years of age, and the effectiveness of TIV to prevent laboratory-confirmed influenza was determined in a prospective, observational cohort study conducted among children aged 9 months to 3 years of age. Results: Fever was the only symptom predicting influenza in children. The sensitivity of conventionally used laboratory methods to detect influenza during the first 24h of illness was 92%. The sensitivity of the influenza rapid test in the same setting was 90% for influenza A and 25% for influenza B. Early oseltamivir treatment shortened the duration of the illness in children with influenza A by 3.5-4.0 days, but no efficacy was observed against influenza B. The effectiveness of TIV was 84% against the wellmatched influenza A, while no effectiveness against the mismatched influenza B was observed. Conclusions: Laboratory diagnostics are needed for a reliable diagnosis of influenza in children and were found sensitive already during the early stage of the illness. Early oseltamivir treatment was highly effective against influenza A, but no efficacy was seen against influenza B. TIV is effective also in young children if a good match between the vaccine and circulating strain is achieved.

Lipotoxicity in Obesity and Coronary Artery Disease. Studies by PET, CT and MR

Lipotoxicity is a condition in which fatty acids (FAs) are not efficiently stored in adipose tissue and overflow to non-adipose tissue, causing organ damages. A defect of adipose tissue FA storage capability can be the primary culprit in the insulin resistance condition that characterizes many of the severe metabolic diseases that affect people nowadays. Obesity, in this regard, constitutes the gateway and risk factor of the major killers of modern society, such as cardiovascular disease and cancer. A deep understanding of the pathogenetic mechanisms that underlie obesity and the insulin resistance syndrome is a challenge for modern medicine. In the last twenty years of scientific research, FA metabolism and dysregulations have been the object of numerous studies. Development of more targeted and quantitative methodologies is required on one hand, to investigate and dissect organ metabolism, on the other hand to test the efficacy and mechanisms of action of novel drugs. The combination of functional and anatomical imaging is an answer to this need, since it provides more understanding and more information than we have ever had. The first purpose of this study was to investigate abnormalities of substrate organ metabolism, with special reference to the FA metabolism in obese drug-naïve subjects at an early stage of disease. Secondly, trimetazidine (TMZ), a metabolic drug supposed to inhibit FA oxidation (FAO), has been for the first time evaluated in obese subjects to test a whole body and organ metabolism improvement based on the hypothesis that FAO is increased at an early stage of the disease. A third objective was to investigate the relationship between ectopic fat accumulation surrounding heart and coronaries, and impaired myocardial perfusion in patients with risk of coronary artery disease (CAD). In the current study a new methodology has been developed with PET imaging with 11C-palmitate and compartmental modelling for the non-invasive in vivo study of liver FA metabolism, and a similar approach has been used to study FA metabolism in the skeletal muscle, the adipose tissue and the heart. The results of the different substudies point in the same direction. Obesity, at the an early stage, is associated with an impairment in the esterification of FAs in adipose tissue and skeletal muscle, which is accompanied by the upregulation in skeletal muscle, liver and heart FAO. The inability to store fat may initiate a cascade of events leading to FA oversupply to lean tissue, overload of the oxidative pathway, and accumulation of toxic lipid species and triglycerides, and it was paralleled by a proportional growth in insulin resistance. In subjects with CAD, the accumulation of ectopic fat inside the pericardium is associated with impaired myocardial perfusion, presumably via a paracrine/vasocrine effect. At the beginning of the disease, TMZ is not detrimental to health; on the contrary at the single organ level (heart, skeletal muscle and liver) it seems beneficial, while no relevant effects were found on adipose tissue function. Taken altogether these findings suggest that adipose tissue storage capability should be preserved, if it is not possible to prevent excessive fat intake in the first place.

Superoxide dismutase 3-mediated cell survival and proliferation

This dissertation studies the signaling events mediated by the extracellular superoxide dismutase (SOD3). SOD3 is an antioxidant enzyme which converts the harmful superoxide into hydrogen peroxide. Overproduction of these reactive oxygen species (ROS) in the cellular environment as a result of tissue injury or impaired antioxidant defense system has detrimental effects on tissue integrity and function. However, especially hydrogen peroxide is also an important signaling agent. Ischemic injury in muscle causes acute oxidative stress and inflammation. We investigated the ability of SOD3 to attenuate ischemia induced inflammation and to promote recovery of skeletal muscle tissue. We found that SOD3 can downregulate the expression of several inflammatory cytokines and cell adhesion molecules thus preventing the accumulation of oxidant-producing inflammatory cells. Secondly, SOD3 was able to promote long-term activation of the mitogenic Erk pathway, but increased only briefly the activity of pro-survival Akt pathway at an early stage of ischemic inflammation, thus reducing apoptosis. SOD3 is a prominent antioxidant in the thyroid gland where oxidative stress is constantly present. We investigated the role of SOD3 in normal thyroid follicular cells and the changes in its expression in various hyperproliferative disorders. We first showed that SOD3 is TSH-responsive which indicated its participation in thyroid function. Its principal function seems to be in follicular cell proliferation since knockdown cells were deficient in proliferation. Additionally, it was overexpressed in goiter tissue. However, SOD3 was consistently downregulated in thyroid cancer cell lines and tissues. In conclusion, SOD3 is involved in tissue maintenance, cell proliferation and inflammatory cell migration. Its mechanisms of action are the activation of known proliferation/survival pathways, inhibition of apoptosis and regulation of adhesion molecule expression.

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.