Os modelos e componentes tornaram-se uma parte indispensável no desenvolvimento de sistemas incorporados. Reduzem a complexidade dos sistemas incorporados e fornecem uma base formal sobre a qual são realizadas análises e sínteses. ProCom é um modelo de componentes destinado à concepção de sistemas incorporados. Foi desenvolvido no âmbito do PROGRESS, um grande projecto de investigação que visa fornecer técnicas baseadas em componentes para o desenvolvimento de sistemas embebidos. O comportamento dos componentes ProCom é especificado na linguagem de modelação REMES. REMES é utilizada para especificação tanto do comportamento funcional como extra-funcional dos componentes (timing, utilização de recursos, fiabilidade, etc.). Sem o apoio adequado de ferramentas, a utilização de modelos e componentes é muito difícil. Tal suporte de ferramentas é tipicamente integrado num Ambiente de Desenvolvimento Integrado (IDE), que é simplesmente uma estrutura contendo um ambiente de programação. Este livro fornece uma implementação de uma GUI para modelação do comportamento de componentes baseada em REMES como plug-in para a IDE de Progresso.