Sökning: "PROGRESS-IDE"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet PROGRESS-IDE.

  1. 1. Integrating Fault Propagation & Transformation Calculus Into Progress IDE

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

    Författare :Vinay Hiremath; Ashwini Mayakar; [2012]
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 2. Integrating formal analysis techniques into the Progress-IDE

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

    Författare :Dinko Ivanov; [2011]
    Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER

  4. 3. Integrating formal analysis techniques into the Progress-IDE

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

    Författare :Dinko Ivanov; [2011]
    Nyckelord :behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Sammanfattning : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. LÄS MER

  5. 4. Component Repository Browser

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

    Författare :Muhammad Rafique Danish; Sajjad Ali Khan; [2010]
    Nyckelord :Component-based software engineering; component-based development; ProCom; PROGRESS-IDE; Component Search; Component Retrieval;

    Sammanfattning : The main goal of this thesis is to investigate efficient searching mechanisms for searching and retrieving software components across different remote repositories and implement a supporting prototype called “Component Repository Browser” using the plug-in based Eclipse technology for PROGRESS-IDE. The prototype enables users to search the ProCom components and to import the desired components from a remote repository server over different protocols such as HTTP, HTTPS, and/or SVN. LÄS MER

  7. 5. Modeling deployment and allocation in the Progress IDE

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

    Författare :David Senkerik; [2009]
    Nyckelord :Component-based software engineering; embedded systems; deployment; allocation;

    Sammanfattning : This thesis investigates the deployment modeling in the scope of Progress,a research vision that aims to tackle the increasing complexity of embedded softwaresystems by adopting a software-component approach. The first phase of the Progress deployment process, which is in the focus of this thesis, defines virtualnodes architecture as an abstraction of target platform devices where componentsare allocated. LÄS MER