Hlavním tématem práce je problematika podpory návrhových vzorů ve vývojových prostředích s důrazem na platformu .NET a vývojové prostředí Visual Studio. Práce je rozdělena do čtyř hlavních tematických celků ? první zkoumá možnosti formálního zápisu vzorů, druhý mapuje úroveň podpory návrhových vzorů v dnešních CASE nástrojích, třetí popisuje vizi softwarových továren a doménově specifických jazyků, zatímco poslední shrnuje předchozí poznatky a přináší koncept vývojového prostředí pro návrhové vzory založeného na Visual Studiu 2005. Představený koncept je tříúrovňový a podporu vzorů řeší jak na úrovni diagramů, tak na úrovni zdrojového kódu. Kromě něj práce přináší i některé další myšlenky týkající se podpory návrhových vzorů ve Visual Studiu a jejich integrace do reálného vývojového procesu.

Submitted by Hellen Luz (hellencrisluz@gmail.com) on 2017-10-04T17:32:51Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PrototipoDesenvolvimentoAplicacao.pdf: 1668249 bytes, checksum: cd94542f915fbee0247c145c058c84ec (MD5) / Rejected by Edisangela Bastos (edisangela@ufpa.br), reason: on 2017-10-10T17:04:36Z (GMT) / Submitted by Hellen Luz (hellencrisluz@gmail.com) on 2017-10-11T16:43:33Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PrototipoDesenvolvimentoAplicacao.pdf: 1668249 bytes, checksum: cd94542f915fbee0247c145c058c84ec (MD5) / Approved for entry into archive by Irvana Coutinho (irvana@ufpa.br) on 2017-10-16T13:25:44Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PrototipoDesenvolvimentoAplicacao.pdf: 1668249 bytes, checksum: cd94542f915fbee0247c145c058c84ec (MD5) / Made available in DSpace on 2017-10-16T13:25:44Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PrototipoDesenvolvimentoAplicacao.pdf: 1668249 bytes, checksum: cd94542f915fbee0247c145c058c84ec (MD5) Previous issue date: 2010-04-19 / FADESP - Fundação de Amparo e Desenvolvimento da Pesquisa / Este trabalho tem como objetivo o desenvolvimento de um prototipo para aplicação de estrategias de otimização em sistemas xDSL praticos. O prototipo descrito constitui-se de componentes de software e um setup experimental, capaz de gerar estímulos (trafego e ruídos) para uma rede DSL completa, a m de avaliar seu desempenho num ambiente controlado com equipamentos comerciais não modi cados. Os resultados obtidos com o prototipo, bem como suas aplicações no campo de otimização de sistemas DSL são apresentados. / This work describes the development of a prototype for the application of optimization strategies for practical xDSL systems. The prototype described here is made of software components and an experimental setup, capable of generating IP tra c and noise signals, in order to evaluate the performance of a complete DSL network in a controlled environment, with commercial unmodi ed hardware. The results obtained with the prototype as well as its applications for optimization of practical xDSL systems are presented.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2015-05-19T21:56:01Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_ModelosParametricosSimples.pdf: 3699932 bytes, checksum: c395418394ea95397d4d13feb967eeab (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2015-05-20T14:24:11Z (GMT) No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_ModelosParametricosSimples.pdf: 3699932 bytes, checksum: c395418394ea95397d4d13feb967eeab (MD5) / Made available in DSpace on 2015-05-20T14:24:11Z (GMT). No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Tese_ModelosParametricosSimples.pdf: 3699932 bytes, checksum: c395418394ea95397d4d13feb967eeab (MD5) Previous issue date: 2014 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / O G.fast é um novo padrão da União Internacional de Telecomunicações que almeja atingir 1 Gb/s sobre enlaces de cobre curtos, utilizando freqüências de até 212 MHz. Essa nova tecnologia requer modelos paramétricos precisos de cabo para fins de projeto, simulação e testes de avaliação de desempenho. A maioria dos modelos de cabo de cobre foram desenvolvidos focando o espectro VDSL - isto é, freqüências de até 30 MHz - e adotam suposições que são violadas quando a faixa de freqüência é estendida para freqüências G.fast. Esta tese apresenta novos modelos de cabo simples e causais capazes de caracterizar com precisão enlaces de cobre compostos por segmentos individuais ou múltiplos, tanto no domínio do tempo quanto no domínio da freqüência. Resultados utilizando as topologias de referência do padrão G.fast mostram que, além de serem precisos, os novos modelos são atrativos devido ao baixo custo computacional e fórmulas fechadas para ajuste de seus parâmetros junto a dados medidos. / The G.fast is a new standard from the International Telecommunication Union that targets 1 Gb/s over short copper loops, using frequencies up to 212 MHz. This new technology requires accurate parametric cable models for simulation, design and performance evaluation tests. Most existing copper cable models were designed for the VDSL spectra - i.e., frequencies up to 30 MHz - and adopt assumptions that are violated when the frequency range is extended to G.fast frequencies. This thesis presents new simple and causal cable models that are able to accurately characterize copper loops composed by single or multiple segments, in both frequency and time domains. Results using G.fast topologies show that, besides being accurate, the new models are attractive due to their low computational cost and closed-form expressions for fitting their parameters to measurement data.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2016-12-13T14:28:34Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_MetologiaMedicaoParametros.pdf: 3812788 bytes, checksum: 973677041c916ac2888f276763fb9377 (MD5) / Rejected by Edisangela Bastos (edisangela@ufpa.br), reason: on 2016-12-15T12:16:59Z (GMT) / Submitted by camilla martins (camillasmmartins@gmail.com) on 2016-12-15T14:36:52Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_MetologiaMedicaoParametros.pdf: 3812788 bytes, checksum: 973677041c916ac2888f276763fb9377 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2016-12-19T16:23:18Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_MetologiaMedicaoParametros.pdf: 3812788 bytes, checksum: 973677041c916ac2888f276763fb9377 (MD5) / Made available in DSpace on 2016-12-19T16:23:18Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_MetologiaMedicaoParametros.pdf: 3812788 bytes, checksum: 973677041c916ac2888f276763fb9377 (MD5) Previous issue date: 2007-05-25 / Este trabalho apresenta uma metodologia para a medição dos principais parâmetros relacionados à qualificação do enlace digital do assinante. Para essa metodologia, alguns procedimentos importantes são indicados, tais como: seleção adequada dos equipamentos/dispositivos para as medições, escolha adequada do processo de calibração para as medições e a realização de um tratamento estatístico dos parâmetros medidos: impedância de entrada, função de transferência e parâmetro de espalhamento. A validação da metodologia foi realizada através de alguns estudos de casos considerando duas situações: uma, quando todos os procedimentos de medições foram realizados de acordo com a metodologia e outra, quando as medições não seguiram os procedimentos propostos. Adicionalmente, para comprovar a aplicabilidade da metodologia, foram realizadas comparações entre os dados medidos e alguns modelos teóricos utilizados como referências. Em ambos os casos citados acima, a metodologia se mostrou bastante eficaz e apresentou medições coerentes, dentro de valores confiáveis. / The present work is related to SELT tests by proposing a methodology for measuring the main parameters related to the loop qualification. For the proposed methodology, some important procedures should be followed in order to provide trust measures such as: appropriate selection of the equipments/devices for the measurements, appropriate choice of the calibration process for the measurements and a statistical treatment of the measurements of the parameters which are Input Impedance, Transfer Function and Scattering Parameter. The present work defines such procedures. For validation of the methodology, some studies of cases were accomplished considering two situations: all of the procedures of measuring were made according to a proposed methodology and, the second case; the measurements made did not follow the proposed procedures. Additionally, in order to prove the applicability of the methodology a comparison evaluation was carried out between the measured data and some theoretical models used as references. In both cases (application of the proposed methodology and in the comparison evaluation) the results showed the applicability of methodology. The data were reliable and coherent with the expected values and theory.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-03-03T15:47:53Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_TécnicasInteligenciaComputacional.pdf: 1260253 bytes, checksum: 3305f5c206ec272e9417eb11d1c42c5b (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-03-07T11:31:17Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_TécnicasInteligenciaComputacional.pdf: 1260253 bytes, checksum: 3305f5c206ec272e9417eb11d1c42c5b (MD5) / Made available in DSpace on 2017-03-07T11:31:17Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_TécnicasInteligenciaComputacional.pdf: 1260253 bytes, checksum: 3305f5c206ec272e9417eb11d1c42c5b (MD5) Previous issue date: 2015-05-29 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / A estabilidade das Linhas Digitais do Assinante (DSL) torna-se um grande desafio, quando os serviços conhecidos como Tripe-Play são fornecidos. Esses serviços devem ser confiáveis, ao mesmo tempo que requerem elevada taxa de transmissão e baixa latência, para uma melhor qualidade de experiência. Entretanto as ferramentas para a estabilização das redes DSL, como a adaptação automática da margem (AMA), o Interleaving, a proteção ao ruído impulsivo (INP) e o ruído virtual (VN), geralmente causam impacto ou na taxa de transmissão de dados, ou na latência da transmissão na tentativa de melhorar a estabilidade. O presente trabalho, por outro lado, tem como objetivo apresentar uma nova abordagem para estabilização das redes DSL. Essa abordagem e baseada na coordenação multiusuário do espectro que busca mitigar o efeito da interferência de crosstalk de maneira que o requisito de taxa de dados factível e a restrição de potência sejam alcançados com uma margem de ruído otimizada. Como, apenas os parâmetros da camada física são ajustados, a latência não e afetada pelo método. A questão é então colocada como um problema de otimização de margem e resolvido através de algoritmos evolucionários em conjunto com técnicas de minimização de potência. Experimentos mostram que o método proposto fornece melhoras significantes em termos de margem de ruído, quando comparado com os algoritmos anteriores, aumentando a estabilidade da rede sem penalizar a taxa de bits ou a latência. / The stability of digital subscriber lines (DSL) becomes a major challenge when tripleplay services are provisioned. These services must be reliable, while requiring relatively high transmission rates and low latency for an overall improved quality of experience. However, the stabilization tools available in DSL systems such as the automatic margin adaptation (AMA), interleaving, impulse noise protection (INP) and virtual noise (VN) usually trade o bit rate or latency in an attempt of improving the stability. The current work, on the other hand, presents a novel approach to the stabilization of the DSL lines. This approach is based on multiuser spectra coordination that seeks to mitigate crosstalk interference e ect such that feasible bit rate requirements and power restrictions are met with optimized noise margin. As only physical layer parameters are adjusted, latency is not a ected by the method. The problem is posed as a multiuser margin optimization problem and solved by evolutionary algorithms in conjunction with power minimization techniques. Simulations show that the proposed method provides signi cant improvements in terms of noise margin when compared to a previous algorithm, achieving higher protection for the network without penalizing bit rate or latency.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-03-28T14:12:26Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_ComparacaoRS+TCMLDPC.pdf: 893867 bytes, checksum: 0e75a129249af6c11b8245bcb9bf9e5b (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-03-28T14:47:19Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_ComparacaoRS+TCMLDPC.pdf: 893867 bytes, checksum: 0e75a129249af6c11b8245bcb9bf9e5b (MD5) / Made available in DSpace on 2017-03-28T14:47:19Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_ComparacaoRS+TCMLDPC.pdf: 893867 bytes, checksum: 0e75a129249af6c11b8245bcb9bf9e5b (MD5) Previous issue date: 2016-02-01 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / A necessidade de velocidades de conexão a internet cada vez maiores motivou a criação de um novo padrão, G.fast, para DSL (linha digital do assinante), de modo a prover performance semelhante a fibra usando par trançado de fios de cobre. Esta dissertação foca em dois prévios candidatos a esquemas de correção de erro, sendo eles codigos Reed-Solomon com modulaçao codificada em treliça (TCM), de padrões DSL anteriores, e códigos de verificação de paridade de baixa densidade (LDPC), do padrão G.hn para redes residenciais. O objetivo principal é comparar os dois esquemas, de modo a avaliar qual deles tem melhor performance, considerando métricas como poder de correção de erro e custo computacional. Embora o código selecionado para o G.fast já tenha sido RS+TCM, acredita-se que esta decisão foi tendenciosa, já que é sabido que códigos mais recentes como LDPC possuem maior poder correção. / The need for increasing internet connection speeds motivated the creation of a new standard, G.fast, for digital subscriber lines (DSL), in order to provide fiber-like performance using short twisted pair copper wires. This dissertation focuses in the two former candidate codes for the forward error correction (FEC) scheme, namely Reed-Solomon (RS) with trellis-coded modulation (TCM), from previous DSL standards, and low density parity check (LDPC) codes, from the G.hn standard for home networking. The main objective is to compare both schemes, in order to evaluate which of them performs better, considering metrics such as error correction performance and computational cost. Even though the selected code for G.fast was RS with TCM, it is believed that this choice was biased, as a more recent iterative code like LDPC is known to have a better error correction performance.

Web application development is a complex and time consuming process that involves di erent stakeholders (ranging from customers to developers); these applications have some unique characteristics like navigational access to information, sophisticated interaction features, etc. However, there have been few proposals to represent those requirements that are speci c to Web applications. Consequently, validation of requirements (e.g. in acceptance tests) is usually informal, and as a result troublesome. To overcome these problems, this PhD Thesis proposes WebSpec, a domain speci c language for specifying the most relevant and characteristic requirements of Web applications: those involving interaction and navigation. We describe WebSpec diagrams, discussing their abstraction and expressive power. As part of this work, we have created a test driven model based approach called WebTDD that gives a good framework for the language. Using the language with this approach we have test several of its features such as automatic test generation, management of changes in requirements, and improving the understanding of the diagrams through application simulation. This PhD Thesis is composed of a set of published and submitted papers. In order to write this PhD Thesis as a collection of papers, several requirements must be taken into account as stated by the University of Alicante. With regard to the content of the PhD Thesis, it must speci cally include a summary which is devoted to the description of initial hypotheses, research objectives, and the collection of publications itself, thus justifying its coherence. It should be underlined that this summary of the PhD Thesis must also include research results and nal conclusions. This summary corresponds to part I of this PhD Thesis (chapter 1 has been written in Spanish while chapter 2 is in English). This work has been partially supported by the following projects: MANTRA (GV/2011/035) from Valencia Ministry, MANTRA (GRE09-17) from the University of Alicante and by the MESOLAP (TIN2010-14860) project from the Spanish Ministry of Education and Science. / Este trabajo ha sido parcialmente financiado por los siguientes proyectos: Mantra (GV/2011/035), Ministerio de Valencia, MANTRA (GRE09-17) de la Universidad de Alicante y por el MESOLAP (TIN2010-14860) proyecto del Ministerio de Educación y Ciencia de España.

In xDSL technology, high-speed data are transferred between the central office and the customers, or between two or more central offices using unshielded telephone lines. A major impairment that hinders the increase in data-rate through the twisted-pair line is nearend crosstalk (NEXT) between the adjacent twisted pairs. DSL systems with overlapping transmit and receive spectra are susceptible to NEXT which significantly increases the interference noise in the received signal and also reduces the reliability and availablity of the system. One way to cancel the NEXT in the received signal is to deploy adaptive filters. However, if adaptive filters are deployed to cancel every possible NEXT signal from the other twisted pairs, the computational complexity increases in proportion to N2 where N is the number of twisted pairs in the bundle and, therefore, it becomes prohibitive even for small values of N. In this dissertation, four new methods for NEXT reduction are proposed. The methods aim at reducing computational complexity while maintaining speed and performance. In Chapter 3 an efficient NEXT cancellation system is proposed. The new system first detects the NEXT signals present in the received signal and then assigns adaptive filters to cancel the most significant NEXT signals detected. The detection process uses a fast and efficient algorithm that estimates the crosscorrelation between the transmitted and received signal. By subtracting the adaptive filter estimates of the NEXT signals that have been detected and assigned adaptive filters for cancellation, the magnitude of smaller NEXT signals can be estimated more accurately during the NEXT detection stage. The new system offers an overall computational complexity of order N. This represents a large reduction in the computational effort relative to that in previous NEXT cancellation system which offer computational complexities of order N2. In Chapter 4, the NEXT cancellation system proposed in Chapter 3 is implemented using frequency-domain least-mean-square (FDLMS) adaptive filters to cancel the NEXT signals. Several schemes for assigning the adaptive filter step sizes are explored. It has been found that by making the step sizes proportional to the magnitude of the NEXT signals during the initial phases of adaptation and then making them all equal during the later phases, the convergence rate can be significantly improved. And by returning after convergence to step sizes that are proportional to the magnitudes of the NEXT signals, a much better tracking performance is achieved. In Chapter 5, a new technique that reduces the computational complexity in adaptive filters for NEXT cancellation is proposed. In this technique, the filter length of each adaptive filter is adjusted according to the strength of the NEXT signal. Since the NEXT signals from the other twisted pairs are typically of different magnitudes, using such a technique leads to a significant reduction in the total number of filter taps when compared with fixedlength adaptive filters. The NEXT cancellation is started by using adaptive filters with minimum filter lengths. As the adaptation progresses, the filter length of each adaptive filter is adjusted according to the magnitude of the NEXT signal. Upon convergence, another algorithm is deployed which readjusts the filter lengths of those adaptive filters that are too long or too short. Chapter 6 deals with another new method to mitigate NEXT based on a wavelet denoising technique. In xDSL systems, the received signal typically has greater power in the lower end of the frequency spectrum whereas the NEXT signal has greater power in the higher end. The wavelet technique takes advantage of the difference between the power spectrum of the received signal and that of the NEXT to mitigate the crosstalk noise. In addition, the method has a low computational complexity which makes it fast, efficient, and well suited for high data-rate applications.

Zugl.: Berlin, Freie Universiẗat, Diss., 2008.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-29T21:40:50Z No. of bitstreams: 1 TaniroChaconRodrigues_TESE.pdf: 4412533 bytes, checksum: 500008d61dae88370bb6936adea4e788 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-01T20:21:47Z (GMT) No. of bitstreams: 1 TaniroChaconRodrigues_TESE.pdf: 4412533 bytes, checksum: 500008d61dae88370bb6936adea4e788 (MD5) / Made available in DSpace on 2016-03-01T20:21:47Z (GMT). No. of bitstreams: 1 TaniroChaconRodrigues_TESE.pdf: 4412533 bytes, checksum: 500008d61dae88370bb6936adea4e788 (MD5) Previous issue date: 2015-03-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Redes de Sensores e Atuadores sem Fio (RSASF) s?o um dos principais componentes de Sistemas de Computa??o Ub?qua e possuem aplica??es em diferentes dom?nios do conhecimento humano. Devido ? complexidade de programar para este tipo de rede, ? necess?rio que os desenvolvedores conhe?am especificidades das plataformas de sensores dispon?veis, aumentando a curva de aprendizado para o desenvolvimento de aplica??es. Neste trabalho, ? proposta uma abordagem de Desenvolvimento Dirigido a Modelos, mais especificamente, baseada em Arquitetura Dirigida a Modelos (MDA, do ingl?s Model-Driven Architecture), para o desenvolvimento de aplica??es para RSASF chamada de ArchWiSeN. Essa abordagem visa facilitar a tarefa dos desenvolvedores, atrav?s de: (i) uma linguagem espec?fica de dom?nio para RSASF; (ii) um processo para o desenvolvimento de aplica??es para RSASF; e (iii) uma infraestrutura de software composta de artefatos MDA (PIM, PSM e transforma??es) para dar suporte a este processo. A ArchWiSeN permite a contribui??o direta dos especialistas de dom?nio no desenvolvimento de aplica??es para RSASF, sem a necessidade de conhecimento espec?fico de programa??o nessas redes, e, ao mesmo tempo, permite que especialistas em redes foquem nas caracter?sticas da sua ?rea de especialidade sem a necessidade de conhecimento do dom?nio da aplica??o. Al?m disso, a ArchWiSeN tem como objetivo permitir que os desenvolvedores possam expressar e validar, em tempo de projeto, os requisitos funcionais e n?o funcionais (requisitos de desempenho) de suas aplica??es, incorporar servi?os oferecidos por plataformas de middleware para RSASF e promover o re?so dos artefatos de software desenvolvidos. Dessa forma, prop?e-se nesta Tese uma abordagem que compreende todas as etapas de desenvolvimento para RSASF nos cen?rios atuais e emergentes atrav?s de uma infraestrutura MDA. Por fim, foram realizadas avalia??es atrav?s de: (i) uma prova de conceito, composta de tr?s cen?rios distintos, realizada atrav?s da infraestrutura MDA e do processo de engenharia de aplica??o; (ii) execu??o de um experimento controlado para comparar a ArchWiSeN com os m?todos tradicionais para o desenvolvimento de aplica??es para RSASF; (iii) an?lise do suporte a servi?os de middleware para garantir que aplica??es para RSASF que utilizam tais servi?os possam atingir os seus requisitos atrav?s do uso das plataformas de middleware suportadas na ArchWiSeN; e (iv) an?lise sistem?tica da ArchWiSeN em termos de caracter?sticas desejadas para uma ferramenta MDA al?m da compara??o com outras ferramentas MDA para RSASF existentes. / Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.