Sökning: "rigor development"

Visar resultat 6 - 10 av 17 avhandlingar innehållade orden rigor development.

  1. 6. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

    Författare :Predrag Filipovikj; Cristina Seceleanu; Guillermo Rodriguez-Navas; Stefania Gnesi; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; pattern-based formal requirements specification; formal requirements consistency analysis; formal analysis of Simulink models; Computer Science; datavetenskap;

    Sammanfattning : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. LÄS MER

  3. 7. Towards Guidelines for Conducting Software Process Simulation in Industry

    Författare :Nauman bin Ali; Blekinge Tekniska Högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Background: Since the 1950s explicit software process models have been used for planning, executing and controlling software development activities. To overcome the limitation of static models at capturing the inherent dynamism in software development, Software Process Simulation Modelling (SPSM) was introduced in the late 1970s. LÄS MER

  4. 8. Experience driven software process assessment and improvement

    Författare :Martin Ivarsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Requirements Engineering; Software Process Assessment; Software Process Improvement; Software Engineering;

    Sammanfattning : To maintain and increase competitive advantages, software organizations must continually strive to refine and improve their development processes. Software process assessment and improvement is the means by which development organizations assure and improve their processes, practices and tools to support their specific needs. LÄS MER

  5. 9. Economics of Landfill Mining : Usefulness and Validity of Different Assessment Approaches

    Författare :John Laurence Esguerra; Joakim Krook; Niclas Svensson; Steven Van Passel; Miguel Brandao; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Economic assessment; Uncertainty management; Landfill management; Landfill mining;

    Sammanfattning : Landfill mining (LFM) is an alternative strategy to manage landfills that integrates remediation with secondary resource recovery. At present, LFM remains as an emerging concept with a few pilot-scale project implementations, which presents challenges when assessing its economic performance. LÄS MER

  7. 10. Designing Advertisement Systems with Human-centered Artificial Intelligence

    Författare :Johannes Sahlin; Håkan Sundell; Gideon Mbiydzenyuy; Håkan Alm; Jesper Holgersson; Leona Chandra Kruse; Högskolan i Skövde; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Digital Advertisement Optimization; Design Knowledge; Information System Design Theory; Artificial Intelligence; Reinforcement Learning; Human-centered AI;

    Sammanfattning : Practitioners are urging using Artificial Intelligence (AI) to improve advertisements. Advertisers recognize the importance of incorporating AI into their strategies to remain competitive. LÄS MER