Sökning: "code supporting"

Visar resultat 1 - 5 av 41 avhandlingar innehållade orden code supporting.

  1. 1. Performance and availability trade-offs in fault-tolerant middleware

    Författare :Diana Szentiványi; Simin Nadjm-Tehrani; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Programming; Distributed systems; fault tolerance; middleware; COBRA; code supporting; Computer science; Datavetenskap;

    Sammanfattning : Distributing functionality of an application is in common use. Systems that are built with this feature in mind also have to provide high levels of dependability. One way of assuring availability of services is to tolerate faults in the system, thereby avoiding failures. Building distributed applications is not an easy task. LÄS MER

  3. 2. Supporting the migration towards model-driven robotic systems

    Författare :Razan Ghzouli; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; empirical research; property specification; model-driven engineering; feature models; behavior trees;

    Sammanfattning : Robots are increasingly deployed to perform every-day tasks. It is crucial to implement reliable and reusable systems to reduce development effort. The complexity of robotic systems requires the collaboration of experts from different backgrounds. LÄS MER

  4. 3. Towards a Functional Programming Language for Baseband Signal Processing

    Författare :Anders Persson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; signal processing; domain specific languages; functional programming; code generation;

    Sammanfattning : Developing software for resource constrained embedded systems is a daunting task. In addition to getting the functionality right, a programmer must consider several non-functional properties, including data layout, the target memory hierarchy, concurrency and parallelism. LÄS MER

  5. 4. Understanding and Supporting Software Design in Model-Based Software Engineering

    Författare :Rodi Jolak; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Design; Software Modeling; MBSE Efforts and Challenges; Software Design Environments; Collaboration; Communication; Human Aspects; Empirical Studies;

    Sammanfattning : Model-Based Software Engineering (MBSE) is a software development approach in which models can serve a multitude of purposes. On the one hand, models can be used for ideation, to stimulate creative thinking, and facilitate communication. On the other hand, models can be used as guidelines for documentation, implementation, and code-generation. LÄS MER

  7. 5. Supporting Decisions on Regression test Scoping in a Software Product Line Context - from Evidence to Practice

    Författare :Emelie Engström; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Large software organizations with a product line development approach face many challenges regarding testing. Test managers need to make tradeoffs along three dimensions of repeated testing (abstraction level, time and product space) and consider a range of goals and constraints. LÄS MER