Sökning: "Architecture Description Languages"

Visar resultat 6 - 10 av 10 uppsatser innehållade orden Architecture Description Languages.

  1. 6. An Auteur Study of Kira Muratova Focusing on the Films Two in One and Melody for a Street Organ

    Master-uppsats, Lunds universitet/Avdelningen för konsthistoria och visuella studier

    Författare :Helena Tomasson; [2012]
    Nyckelord :Soviet cinema; post-modern cinema; semiotics; meaning; text; heteroglossia; film study; film analysis; Kira Muratova; auteur study; dialogism; violence; grotesque in film; Ukrainian cinema; Arts and Architecture; Cultural Sciences; Languages and Literatures;

    Sammanfattning : This thesis is dedicated to the cinema art of Kira Muratova with the focus on the theme of grotesque. Kira Muratova shot films of different genres; mixing styles, creating a new reality of cinema, mixing audio-visualization of people with animals, classical literature with slang, including photography and pornography, installation, performance, opera and ballet. LÄS MER

  3. 7. Automated Architecture-Based Verification of Safety-Critical Systems

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Omar Tawffeeq Saleem Jaradat; [2011]
    Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; Fuel Level Estimation System;

    Sammanfattning : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. LÄS MER

  4. 8. Architecture-Based Verification of Software-Intensive Systems

    Master-uppsats, Akademin för innovation, design och teknik

    Författare :Andreas Johnsen; [2010]
    Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; junit; conformance;

    Sammanfattning : 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. LÄS MER

  5. 9. Utforskande teckning : som verktyg och uttryck

    L3-uppsats, SLU/Dept. Of Landscape Architecture, Planning and Management

    Författare :Helena Olsson; [2007]
    Nyckelord :teckning; utforskande; perception; utveckling; landskapsarkitektur;

    Sammanfattning : Hur fungerar teckning som ett resonerande verktyg? Vad ger den utforskande handlingen upphov till? I mitt examensarbete söker jag efter referenser och begrepp som styrker min mening om vårt behov av att utveckla tecknandet (en handling som i följande används i en vidare bemärkelse). Som landskapsarkitekter är det viktigt att vi skapar vårat eget förhållande till den verklighet som omger oss – och sätter den i relation till andras – för att fungera som formgivare. LÄS MER

  7. 10. Software Architecture Simulation : Performance evaluation during the design phase

    Magister-uppsats, Blekinge Tekniska Högskola/Institutionen för programvaruteknik och datavetenskap

    Författare :Jimmy Borowski; [2004]
    Nyckelord :architecture simulation; performance evaluation; event-based simulation; evaluation tool;

    Sammanfattning : Due to the increasing size and complexity of software systems, software architectures have become a crucial part in development projects. A lot of effort has been put into defining formal ways for describing architecture specifications using Architecture Description Languages (ADLs). LÄS MER