Search for dissertations about: "Bengt Jonsson"

Showing result 21 - 25 of 62 swedish dissertations containing the words Bengt Jonsson.

  2. 21. Model-Based Test Case Generation for Real-Time Systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Keywords : Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Abstract : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. READ MORE

  4. 22. Model-based test case selection and generation for real-time systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Testing is the dominating verification technique used in industry today, and many man-hours and resources are invested in the testing of software products. To cut down the cost of testing, automated test execution becomes more and more popular. READ MORE

  5. 23. Living on the edge : effectiveness of buffer strips in protecting biodiversity on boreal riparian forests

    Author : Kristoffer Hylander; Christer Nilsson; Bengt Gunnar Jonsson; Ellen Macdonald; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Ecology; boreal forest; bryophyte; buffer strip; ecological boundary; edge effect; headwater stream; land snail; liverwort; moss; phytometer; riparian forest; substrate; terrestrial gastropod; Ekologi; Terrestrial; freshwater and marine ecology; Terrestisk; limnisk och marin ekologi; ekologisk botanik; Ecological Botany;

    Abstract : The objective of this thesis is to evaluate the ecological consequences of buffer strip retention on riparian and terrestrial biodiversity. Earlier studies on forest buffer strips have evaluated their effectiveness in relation to water quality and aquatic biota. However, forests along streams are species rich habitats for many organism groups. READ MORE

  6. 24. Engineering carbonic anhydrase for highly selective ester hydrolysis

    Author : Gunnar Höst; Bengt-Harald Jonsson; Lars-Göran Mårtensson; Per Berglund; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; carbonic anhydrase; specificity; hydrolysis; rational design; protein engineering; plasmodium falciparum; Bioengineering; Bioteknik;

    Abstract : I denna avhandling presenteras arbete utfört med enzymet humant karboanhydras II (HCAII). Enzymer är en typ av proteiner som accelererar (katalyserar) kemiska reaktioner, vilket är nödvändigt för allt levande. Den naturliga funktionen för HCAII är att katalysera omvandlingen av gasen koldioxid till vätekarbonat, som är löslig i vätska. READ MORE

  7. 25. Metaproteogenomics-guided enzyme discovery : Targeted identification of novel proteases in microbial communities

    Author : Mikaela Johansson; Martin Karlsson; Bengt-Harald Jonsson; Florian-Alexander Herbst; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Industrial biotechnology is a large and growing industry as it is part of establishing a “greener” and more sustainable bioeconomy-based society. Using enzymes as biocatalysts is a viable alternative to chemicals and energy intense industrial processes and is en route to a more sustainable industry. READ MORE