[pt] Este trabalho analisa projetos que oferecem serviços integrados, com um enfoque maior sobre edição de voz, tendo como objetivo identificar as características específicas do tratamento de voz como meio de representação da informação, fornecendo assim subsídios conceituais para a especificação apresentada de um editor de voz. A seguir, é descrita a implementação de um protótipo de editor de voz proposto, desenvolvido para microcomputadores do tipo PC providos da placa de codificação de voz desenvolvida nos laboratórios da PUC-RJ. / [en] This work analyses projects that offer integrated services, specially those which provide voice edition, in order to identify the particular characteristics of voice as a medium of representation of information, providing conceptual subsidies to the presented specification of a voice editor. After this, implementation of a prototype of the voice editor, which was developed to PC compatibles provided with the board of voice codification developed at the laboartories of PUC-RJ, is described.

[pt] Sistemas de software normalmente são descritos por sua arquitetura. Esta descrição fornece uma visão abstrata, demonstrando como o sistema é composto por módulos e interações entre estes módulos. Usando-se a arquitetura como uma especificação executável do sistema, consegue-se maior compromisso entre os requisitos do sistema e sua implementação. Tal compromisso simplifica o desenvolvimento e manutenção de sistemas complexos. Este trabalho define conceitos úteis para a construção, execução e gerenciamento de aplicações distribuídas, usando especificações arquiteturais. A metodologia apresentada distingue a construção de módulos através de programação, da efetiva construção da aplicação, através de configuração (ou especificação da arquitetura). Desta forma, pode-se adotar soluções específicas (e.g. linguagens e metodologias) para módulos particulares, mantendo-se o encapsulamento necessário para seu uso de forma transparente. Para validar os conceitos e permitir sua aplicação em um ambiente de execução real, foi criada uma Linguagem de Configuração chamada BABEL. No decorrer da dissertação, são apresentados os conceitos envolvidos e BABEL. Com o suporte do ambiente RIO, BABEL oferece simplicidade, transparência e flexibilidade para a construção de aplicações distribuídas complexas, possuindo conceitos básicos que viabilizam a elaboração de mecanismos avançados como contratos, herança e polimorfismo. Adicionalmente, são demonstradas experiências decorrentes da implementação de um Interpretador e um Servidor de Nomes para a linguagem. Finalmente, os conhecimentos obtidos com esta pesquisa são apresentados, sugerindo-se trabalhos futuros para continuidade do projeto BABEL. / [en] Software systems are usually described from their architecture. This description provides an abstract vision showing how the system is composed with modules and module interactions. Consistency between the system requirements and implementation may be achieved by using the architecture as a system executable specification. This guarantee of consistency simplifies the development and maintenance of complex systems. This study defines concepts useful to distributed application contructions, execution and management. The presented methodology distinguishes the builiding of modules, throught programming, from the effective application buiding through configuration (or architectural specification). Thus, specific solutions (e.g languages and methodologies) may be adopted for particular modules, preserving the necessary encapsulation for transparent use. A Configuration Language called BABEL was developed to validate these the concepts and apply them in a real execution environment. In the dissertation BABEL ans its related concepts are presented. Along with RIO Environment support, BABEL offers simplicity, transparency and flexibility for complex distributed application construction. It has concepts that allow advanced mechanisms such as contracts, inheritance and polymorphism. Additionally, a language Interpreter and a Name Server implementation for BABEL are presented. Finally, the knowledge gained from this study is presented, along with recommendations for future directions for the BABEL project.

[pt] Visando reduzir a quantidade de substâncias nocivas descartadas no meio ambiente, a União Europeia (UE) elaborou a Diretiva Restriction of The Use of Certain Harzardous Substances in Electric Electronic Equipment (RoHS) para mitigar os danos ambientais resultantes do descarte de resíduos sólidos eletrônicos no meio ambiente. A Diretiva RoHS restringe a quantidade de certas substâncias consideradas tóxicas nos materiais que compõem os equipamentos eletroeletrônicos (EEE) produzidos, e a serem adquiridos, pelos Estados-membros da UE. As empresas fabricantes de equipamentos eletroeletrônicos se esforçam para alinhar seus produtos à Diretiva RoHS, garantindo suas permanências no mercado fornecedor de EEE para a UE. O Ministério do Planejamento Orçamento e Gestão (MPOG) emitiu em 19 de janeiro de 2010 a Instrução Normativa número 01 que dispõe sobre critérios de sustentabilidade ambiental na aquisição de bens pela Administração Pública Federal Direta. Pelo seu artigo quinto, inciso IV recomenda atendimento à Diretiva RoHS. Este tudo faz uma análise sobre a viabilidade técnica e econômica da inclusão de critérios de sustentabilidade ambiental a serem considerados na aquisição de equipamentos eletroeletrônicos de emprego dual (emprego civil e militar) das áreas de navegação, acústica e de detecção radar por Organização Militar da Marinha do Brasil (MB), tendo a Diretiva RoHS e o Modelo Militar de Decisão (EMA-332) como referência. Academicamente, a Diretiva RoHS foi desvinculada da diretiva europeia de descarte de resíduos eletroeletrônicos. O trabalho sofreu limitações devido à falta de dados estatístico ambientais sobre equipamentos utilizados na esfera da Defesa. Foi verificado que a MB já utiliza equipamentos submetidos à Diretiva RoHS com boa resposta técnica e econômica. Considerada viável, foi concebido modelo de fluxograma de decisão para verificação da necessidade de inclusão dos fundamentos da Diretiva RoHS nas especificações para aquisição de EEE e seus sobressalentes. / [en] Because of the large volume of Waste Electrical and Electronic Equipment (WEEE) produced worldwide, and its low rate of reuse and recycling, it was observed that the control and the effective reduction of harmful impacts to the environment produced by a particular product should be performed at the begining of lifecycle, controlling your production process The idea propagated by centuries of the earth s natural resources were inexhaustible no longer holds because these are finite. The growth of cities, added to the great technological advances and population growth in the twentieth and twenty-first, caused negative environmental impacts of great intensity. This context made the European Union (EU) to develop a specific standard, the Restriction of Certain Hazardous Substances (RoHS) Directive for restricting the use of certain hazardous substances in electrical and electronic equipment (EEE) in order in this way ensure a reduction in the poisoning potential due to human handling EEE, as well as reducing of the amount of toxic waste released into the environment. maximum concentration of toxic substances by weight is determined for homogeneous materials, i.e., materials that can not be mechanically divided into various others. Maximum concentration recommended for cadmium is 0.01 percent while for lead, mercury, hexavalent chrome, polybrominated (PBB) and polybrominated diphenyl echers (PBDE) is 0.1 percent.

[pt] Neste trabalho propomos uma arquitetura para a verificação formal de protocolos e algoritmos distribuídos. Esta pode ser vista como uma camada mais abstrata sobre o processo tradicional de verificação formal, onde temos a especificação e propriedade a serem verificadas, o verificador e o resultado retornado por este. O objetivo é simplificar o processo de especificação e verificação formal de protocolos e algoritmos distribuídos através de um ambiente mais dedicado. A parte principal desta arquitetura é a linguagem de especificação LEP, que contém construções de domínio-especifíco para simplificar a especificação destes sistemas. Outra característica desta linguagem é separar as especificações da topologia e do protocolo propriamente dito. Acreditamos que esta separação é válida pois torna mais clara a intenção das partes e ainda permite, por exemplo, o reuso de uma topologia entre diferentes especificações de protocolos. Assim, visamos oferecer uma linguagem cujos exemplos de especificações devem se assemelhar às descrições de algoritmos encontradas nos livros didáticos. Além disso, de forma a se ter a entrada e a saída dos verificadores formais de forma a obter a saída no nível de abstração de LEP. / [en] In this work we propose an architecture for the formal verification of protocols and distribued algoritms. This can be see as a more abstract layer over the ordinary process of formal verification, where we have just the specification of the protocol and properties to be verified, and the formal tool. Our goal is to simplifu the specification and formal verification of protocols and distributed algorithms through a dedicated environment. The core of the architecture is its input specification language (Lep), which provides domain-specific constructions for simplifying the specification of those systems. With LEP the specification of the protocol and the specification of the topology to be referred to protocol are given separetely. We feel that this division improves the legibility of both and allows the reuse of the specification of a topology among distinct protocols. Using this approach we try to offer a language whose specifications should be similar to the descriptions of the algorithms found on the didactic books. Moreover, in order to have the input and output of the architecture compatible, we also propose a way of processing the result of the formal verification tool. Then we could have the result on the abstract level of LEP.

[pt] Práticas de engenharia de requisitos ágeis estão se tornando mais comuns em equipes de desenvolvimento de software. Contudo, as práticas relacionadas ao controle de qualidade ainda dependem fortemente do conhecimento, da experiência e do trabalho manual de testadores, em adição as especificações de requisitos produzidas são frequentemente imprecisas e difíceis de verificar estaticamente por interessados ou por algum computador. Essa tese ataca conjuntamente o problema de verificar estaticamente especificações de requisitos ágeis e de gerar casos de teste e scripts de teste automatizados completos a partir delas. Suas contribuições principais incluem: (1) uma nova metalinguagem, chamada Concordia, que permite escrever especificações de requisitos ágeis que podem ser usadas para atividades de verificação e validação (V e V); (2) uma nova abordagem para gerar casos de teste e scripts de teste automatizado completos, a partir de requisitos especificados com a metalinguagem; (3) a medição, em contexto industrial, da capacidade da abordagem em reduzir o risco de defeitos e custos de V e V. / [en] Agile requirements engineering practices are being used more commonly by software development teams. However, practices related to quality control still depend heavily on testers expertise and manual labor, whilst produced require-ments specifications are often imprecise and hard to verify statically by both stake-holders and computers. This thesis jointly tackles the problem of verifying statically agile requirements specifications and generating full-featured test cases and auto-mated test scripts from them. Its main contributions include: (1) a new metalan-guage, called Concordia, for writing agile requirement specifications that can be used for both verification and validation (V and V) activities involving stakeholders; (2) a novel approach to generate full-featured ready to use test cases and automated test scripts from the requirements specified with the metalanguage; (3) the assess-ment in industrial context of the approaches ability to reduce risk of remaining defects and the costs of V and V.

[pt] Um estudo sistemático da metodologia de determinação da probabilidade do DGD ultrapassar um determinado valor máximo foi apresentado. A metodologia foi discutida sob o ponto de vista teórico, obtendo-se o resultado a partir de uma base de dados recebidos de fabricantes de cabos de fibra óptica. Efetuou-se a comparação com os dados coletados destes mesmos cabos, porém já implantados em backbone. O resultado deste comparativo sistemático, foi apresentado sob a forma de estatística do valor de DGD ultrapassar o valor máximo estabelecido na norma ITU-T, para sistemas de 10 e 40Gbps. A partir dos resultados obtidos foi importante a identificação de erros que remontam a origem do processo de fabricação de cabos de fibras ópticas, a restrição na sensibilidade dos equipamentos de medição o que leva a uma superestimação da probabilidade do DGD ultrapassar um certo valor máximo e o próprio conceito do guia TIA/EIA TSB107, que define o método para a obtenção destes resultados. A criticidade destes resultados pode levar a um erro na escolha de um sistema óptico de transmissão podendo gerar prejuízos muito significativos, sejam financeiro ou temporal. Foram propostas três recomendações para direcionar a metodologia a uma previsão mais confiável dos resultados obtidos a partir do método 2 TIA/EIA TSB107, gerando mais conforto para o projeto de sistemas de alta capacidade. / [en] A systematic study of the methodology that determines the probability of the DGD overcomes a settled maximum value was presented. The methodology was discussed in a theoretical way; the values were based on a database received from optical fibers manufacturers/cablers. A comparison was conducted taking in consideration these same cables already installed in two backbones. The result of this systematic comparison was presented, as a statistic of the DGD value exceeds certain maximum value established by the standard ITU-T for systems from 10 to 40Gbps. Based on these results, the identification of mistakes that ascends the beginning of manufacture process of the optical fiber cables was important. The restriction of the sensibility of measurement devices leads to a overestimation of the probability of the DGD exceeds a given maximum value and the concept of the guideline TIA/EIA TSB107, that defines the methodology of acquisition of these results. These critical results could lead to a mistake choosing the optical system transmission and cause loss profit as well as time delay in a project. There were proposed three recommendations in order to guide the methodology for a trustful preview of the obtained results from TIA/EIA method 2, offering more comfort for optical high capacity system design.

[pt] O envolvimento de usuários no desenvolvimento de sistemas (End User Development) tem atraído significativa atenção nos últimos 10 anos devido à motivação de eles ajustarem as aplicações de acordo com seus desejos e necessidades. A Web 2.0 tem tornado possível o desenvolvimento de uma nova cultura de participação, através das redes sociais, onde usuários compartilham conhecimentos, experiências e habilidades. Esta pesquisa é uma contribuição para estimular uma cultura de participação de usuários finais em processos de desenvolvimento de software. Um contexto social onde essa participação ganha relevância é o de sistemas de grupo, onde as mudanças desejadas por uns tipicamente afetam outros usuários de formas nem sempre desejadas por eles. Nossa contribuição central é um modelo, fundamentado na Engenharia Semiótica, para descrever e negociar evolução de sistemas. Suas principais características são: (i) estrutura a comunicação entre os participantes da negociação e (ii) combina três sistemas de representação (linguagem de interface, linguagem natural utilizada em anotações, e linguagem de scripts de interações em páginas Web). Essas linguagens são combinadas para formar uma linguagem de especificação mista a ser utilizada por usuários finais. Implementamos a característica (ii) através da ferramenta primoTiWIM (This is What I Mean). Priorizamos a implementação e avaliação desta parte do modelo, porque a expressão através desta combinação de linguagens influencia a qualidade da comunicação de todo o processo que desejamos apoiar. Realizamos estudos empíricos observando a primeira reação e impressão de usuários diante da primoTiWIM. Os resultados permitem concluir que o modelo proposto tem potencial para promover uma cultura de participação no contexto da co-autoria entre usuário e desenvolvedores de software. / [en] The involvement of users in system development (End user development) has attracted significant attention in the last ten years, given that users can adjust the applications according to their desires and needs. TheWeb 2.0 has now made possible the development of a new culture of user participation through social networks, where users share knowledge, experience and abilities. The contribution of this research is to provide knowledge and tools to foster a culture of participation among end users in the process of software development. One of the social contexts where such participation is particularly important is that of group systems, where changes desired by some typically affect other users in ways that may not always be desirable for all. Our main contribution is a model founded in Semiotic Engineering to support describing and negotiating system evolution in group discussions. Its main features are: (i) it provides a structure for the communication between people involved in the negotiation, and (ii) it combines three representational systems (interface language, natural language used in annotations, and a script language for interaction in Web pages). These languages are combined into a hybrid specification language for end users. We implemented feature (ii) through the tool primoTiWIM (This is What I Mean). We focused on the implementation and evaluation of feature (ii), since expression through this combined language affects the communication quality of the whole process that we wish to support. In order to evaluate our proposal we carried out empirical studies in which we sought to observe the first reactions and impressions of users in face of the primoTiWIM Tool. We concluded that the proposed model has the potential to promote a culture of participation in the context of the co-authorship between user-eveloper and software developers.