Essays about: "ProCom"

Showing result 1 - 5 of 8 essays containing the word ProCom.

1. 1. Integrating formal analysis techniques into the Progress-IDE

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

   Author : Dinko Ivanov; [2011]
   Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Abstract : 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. READ MORE

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

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

   Author : Dinko Ivanov; [2011]
   Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

   Abstract : 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. READ MORE

4. 3. ProCom middleware

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

   Author : Jiri Kuncar; [2011]
   Keywords : ;

   Abstract : The goal of this thesis is to develop and implement parts of a middleware that provides necessary support for the execution of ProCom components on top of the real-time operating system FreeRTOS. ProCom is a component model for embedded systems developed at Mälardalen University. READ MORE

5. 4. A comparison of component-based software engineering and model-driven development from the ProCom perspective

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

   Author : Nikolay Grozev; [2011]
   Keywords : Component-based software engineering; Model-driven development; ProCom; Comparison;

   Abstract : Component-based software engineering (CBSE) and model-driven development (MDD) are two approaches for handling software development complexity. In essence, while CBSE focuses on the construction of systems from existing software modules called components; MDD promotes the usage of system models which after a series of transformations result with an implementation of the desired system. READ MORE

6. 5. Component Repository Browser

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

   Author : Muhammad Rafique Danish; Sajjad Ali Khan; [2010]
   Keywords : Component-based software engineering; component-based development; ProCom; PROGRESS-IDE; Component Search; Component Retrieval;

   Abstract : 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. READ MORE