Essays about: "Andreas Johnsen"

Found 1 essay containing the words Andreas Johnsen.

  1. 1. Architecture-Based Verification of Software-Intensive Systems

    University essay from Akademin för innovation, design och teknik

    Author : Andreas Johnsen; [2010]
    Keywords : architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; junit; conformance;

    Abstract : Development of software-intensive systems such as embedded systems for telecommunications, avionics and automotives occurs under severe quality, schedule and budget constraints. As the size and complexity of software-intensive systems increase dramatically, the problems originating from the design and specification of the system architecture becomes increasingly significant. READ MORE