Search for dissertations about: "Automated Software Engineering"

Showing result 1 - 5 of 138 swedish dissertations containing the words Automated Software Engineering.

  2. 1. Beyond-application datasets and automated fair benchmarking

    Author : Krister Blanch; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; algorithm evaluation; autonomous systems; containerisation; vehicle odometry; Beyond-application datasets; automatic fair benchmarking;

    Abstract : Beyond-application perception datasets are generalised datasets that emphasise the fundamental components of good machine perception data. When analysing the history of perception datatsets, notable trends suggest that design of the dataset typically aligns with an application goal. READ MORE

  4. 2. On Provably Correct Decision-Making for Automated Driving

    Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

  5. 3. Marine Propeller Optimisation - Strategy and Algorithm Development

    Author : Florian Vesting; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cavitation; artificial neural network; RANS; Kriging; potential flow; genetic algorithm; constrained optimisation; PSO; marine propeller;

    Abstract : Recent trends in the shipping industry, e.g., expanded routing in ecologically sensitive areas and emission regulations, have sharpened the perception of efficient propeller designs. Currently, propeller efficiency, estimated fuel consumption and, more often, propeller-radiated noise are parameters that steer the business Zeitgeist. READ MORE

  6. 4. Safety Proofs for Automated Driving using Formal Methods

    Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

    Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

  7. 5. Impediments for Automated Software Test Execution

    Author : Kristian Wiklund; Kristina Lundqvist; Daniel Sundmark; Sigrid Eldh; Tanja Vos; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; software engineering; software testing; empirical software engineering; impediments; industrial research; empirical research; test execution; test automation; test execution automation; Computer Science; datavetenskap;

    Abstract : Automated software test execution is a critical part of the modern software development process, where rapid feedback on the product quality is expected. It is of high importance that impediments related to test execution automation are prevented and removed as quickly as possible. READ MORE