Made available in DSpace on 2014-06-12T16:00:04Z (GMT). No. of bitstreams: 2 arquivo5840_1.pdf: 7751345 bytes, checksum: 6f08e8815bf45fbad5da9a1a2aab748c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Nos últimos anos, com a proliferação das interfaces gráficas do usuário nos mais variados ambientes computacionais, tornou-se patente a necessidade de uma Engenharia de Interfaces Gráficas para abarcar as peculiaridades do seu desenvolvimento, peculiaridades estas que fogem à maior parte das metodologias, linguagens e ferramentas da tradicional Engenharia de Software. Buscando enriquecer o conhecimento nesta área, o presente projeto propõe uma extensão da linguagem UML 2 para a modelagem de interfaces gráficas baseando-se em abordagens recentes que privilegiam a extensão do UML referência na modelagem de sistemas de software em detrimento da criação de uma nova linguagem de modelagem. Propõe também um processo de modelagem de GUI orientado a modelos e baseado em componentes, que utiliza a extensão do UML proposta e se acopla à metodologia de desenvolvimento KobrA, orientada modelos, linhas de produto e baseada em componentes

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-06T15:02:54Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-06T15:03:11Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) / Made available in DSpace on 2018-03-06T15:03:11Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) Previous issue date: 2016-03-04 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This thesis investigates the problem of how integrate the architectural point of view, conceptual and design models to maintain the necessary differences enable various levels of abstractions compatible with the size, complexity and the field of software families. The starting point to obtain a problem solution is to investi-gate the integration of software product line (SPL) and model-driven engineering (MDE) by individually provide support for this purpose; but little investigated for a family of domain specific languages as application domain. Thus, this work aims to present a support method to architectural modelling software families based on MDE compound two components: (i) integration scheme between the engineering and (ii) the framework architectural. The scheme elicits the integration actually takes place and highlights the possibilities of application. But the architectural fray mework complements this integration scheme and helps design architectural views and integration between them. To conduct the research, ARDev methodology (Agile Research Development) was used which aims to assist the management and produc-tion of research artifacts. The proposed method is assessed by proofs of concept in forest dynamics domain and estimate carbon DSL's, selected by presenting require-ments and processes consistent with the complexity of observation and evaluation method of the implications thereof on a practical application. The results indicate that the integration between engineering favors the structuring and adaptation of architecture and the framework helps the designer to choose, quickly develop and test approaches used for integration between engineering and architectural retrieve information taken to a domain. / Essa tese investiga o problema de como integrar do ponto de vista arquitetural, modelos conceituais e de projeto e manter as diferenças necessárias para viabilizar os vários níveis de abstrações compatíveis com o tamanho, complexidade e domínio das famílias de software. O ponto de partida à obtenção de uma solução para esse problema é investigar a integração entre linha de produto de software (SPL) e engenharia guiada a modelos (MDE) por individualmente fornecerem um arcabouço para esse propósito; porém, pouco investigado para famílias de linguagens de domínio específico (DSL) como domínio de aplicação. Sendo assim, esse trabalho tem como objetivo apresentar um método de suporte à modelagem arquitetural de famílias de software com base em MDE composto por dois elementos: (i) o esquema de integração entre as engenharias e (ii) o framework arquitetural. O esquema elicita como a integração efetivamente ocorre e destaca as possibilidades de aplicação. Já o framework arquitetural complementa esse esquema de integração e ajuda a projetar visões arquiteturais e a integração entre as mesmas. Para conduzir a pesquisa, foi utilizada a metodologia ARDev (Agile Research Development) que tem como propósito auxiliar a gestão e produção dos artefatos de pesquisa. O método pro-posto é avaliado por meio de provas de conceito com aplicação em DSL's no domínio de dinâmica florestal e estimativa de carbono, selecionados por apresentarem requisitos e processos coerentes com a complexidade de observação do método e avaliação das implicações do mesmo sobre uma aplicação prática. Os resultados obtidos in-dicam que a integração entre as engenharias favorece a estruturação e adaptação da arquitetura. Já o framework ajuda o projetista a escolher, desenvolver e testar rapidamente abordagens usadas para a integração entre as engenharias e recuperar informações arquiteturais adotadas para um domínio.

Engenharia Dirigida por Modelos, ou Model Driven Engineering (MDE), é uma abordagem para desenvolvimento de software a partir de modelos. Código-fonte ou artefatos executáveis são gerados de forma automática, total ou parcialmente, a partir de transformações descritas por funções de mapeamento. Com isso, obtém-se as vantagens de desenvolver software em nível de abstração maior em relação às linguagens de programação tradicionais e da possibilidade de gerar implementações do mesmo sistema para diversas plataformas a partir do mesmo modelo. Uma das áreas de pesquisa da MDE é a formalização de teorias e conceitos relacionados a essa abordagem, tais como modelos, metamodelos, relação de conformidade, operações sobre metamodelos, etc. Embora existam na literatura propostas de formalização, observam-se lacunas e falta de consenso geral, o que leva autores a introduzir suas próprias definições quando desejam apresentar desenvolvimentos ou deduções, as quais nem sempre se encaixam entre si. Alguns autores consideram que, enquanto uma completa formalização de conceitos e relações da MDE não for estabelecida, seus potenciais podem não ser plenamente atingidos. A partir de estudos de proposições existentes na literatura, identificação de lacunas e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE são definidos sobre uma base comum e, a partir dela, algumas formulações originais são desenvolvidas, tais como a função de mesclagem de metamodelos e uma definição de modelos executáveis, que podem servir como base para a construção de motores de execução de modelos, consolidando e ampliando o conhecimento da área teórica da MDE. Do ponto de vista de aplicabilidade prática, a proposta é validada por meio de uma ferramenta de prova de conceito, criada também como parte desta pesquisa, e pela apresentação de exemplos de aplicações. / Model Driven Engineering (MDE) is a software development approach in which models are essential artifacts to build software systems. Source code or executable artifacts are automatically generated, completely or partially, by transformations described by mapping functions. Two main advantages can be obtained: software development in a higher level of abstraction than that of traditional programming languages and the possibility of generating implementations of the same system for multiple platforms from the same source model. One of the research fields of MDE is the formalization of theories and concepts related to this approach, such as models, metamodels, conformity relationship, operations over metamodels, etc. Although there are proposals of formalization in the literature, some gaps and a lack of general consensus can be identified, which leads some authors to introduce their own definitions when they want to present their work. These definitions not always fit to each other. Some authors claim that unless a complete formalization of MDE concepts and relations is given, the potentials of this approach may not be fully unfolded. Starting from studies on existing proposals, gaps and requirements, this work proposes a theoretical framework for MDE based on the set theory, language theory and first order logic. Concepts and operations related to MDE are defined over a common basis and some original formulations are developed, such as the metamodel merging function and definitions about executable models, which can be used as a foundation to build model execution engines, consolidating and expanding the theoretical field of MDE. From the applicability point of view, the proposal is validated by a proof-of-concept tool, created as part of this research, and by examples of applications.

Engenharia Dirigida por Modelos, ou Model Driven Engineering (MDE), é uma abordagem para desenvolvimento de software a partir de modelos. Código-fonte ou artefatos executáveis são gerados de forma automática, total ou parcialmente, a partir de transformações descritas por funções de mapeamento. Com isso, obtém-se as vantagens de desenvolver software em nível de abstração maior em relação às linguagens de programação tradicionais e da possibilidade de gerar implementações do mesmo sistema para diversas plataformas a partir do mesmo modelo. Uma das áreas de pesquisa da MDE é a formalização de teorias e conceitos relacionados a essa abordagem, tais como modelos, metamodelos, relação de conformidade, operações sobre metamodelos, etc. Embora existam na literatura propostas de formalização, observam-se lacunas e falta de consenso geral, o que leva autores a introduzir suas próprias definições quando desejam apresentar desenvolvimentos ou deduções, as quais nem sempre se encaixam entre si. Alguns autores consideram que, enquanto uma completa formalização de conceitos e relações da MDE não for estabelecida, seus potenciais podem não ser plenamente atingidos. A partir de estudos de proposições existentes na literatura, identificação de lacunas e necessidades, este trabalho apresenta uma proposta de arcabouço teórico para MDE, baseada nas teorias de conjuntos e linguagens, e em lógica de primeira ordem. Conceitos e operações relacionados à MDE são definidos sobre uma base comum e, a partir dela, algumas formulações originais são desenvolvidas, tais como a função de mesclagem de metamodelos e uma definição de modelos executáveis, que podem servir como base para a construção de motores de execução de modelos, consolidando e ampliando o conhecimento da área teórica da MDE. Do ponto de vista de aplicabilidade prática, a proposta é validada por meio de uma ferramenta de prova de conceito, criada também como parte desta pesquisa, e pela apresentação de exemplos de aplicações. / Model Driven Engineering (MDE) is a software development approach in which models are essential artifacts to build software systems. Source code or executable artifacts are automatically generated, completely or partially, by transformations described by mapping functions. Two main advantages can be obtained: software development in a higher level of abstraction than that of traditional programming languages and the possibility of generating implementations of the same system for multiple platforms from the same source model. One of the research fields of MDE is the formalization of theories and concepts related to this approach, such as models, metamodels, conformity relationship, operations over metamodels, etc. Although there are proposals of formalization in the literature, some gaps and a lack of general consensus can be identified, which leads some authors to introduce their own definitions when they want to present their work. These definitions not always fit to each other. Some authors claim that unless a complete formalization of MDE concepts and relations is given, the potentials of this approach may not be fully unfolded. Starting from studies on existing proposals, gaps and requirements, this work proposes a theoretical framework for MDE based on the set theory, language theory and first order logic. Concepts and operations related to MDE are defined over a common basis and some original formulations are developed, such as the metamodel merging function and definitions about executable models, which can be used as a foundation to build model execution engines, consolidating and expanding the theoretical field of MDE. From the applicability point of view, the proposal is validated by a proof-of-concept tool, created as part of this research, and by examples of applications.

Uma das principais responsabilidades da área de Engenharia de Requisitos é refinar requisitos em especificações. Em sistemas empresariais esse refinamento deve considerar o contexto empresarial no qual o sistema fará parte. Apesar de existirem algumas abordagens para refinar requisitos algumas delas até mesmo considerando o contexto empresarial essa tarefa é realizada manualmente. Baseado em conceitos de Engenharia Dirigida por Modelos, este trabalho propõe uma transformação semiautomática usando um modelo da empresa como modelo dos requisitos e um modelo de casos de uso como modelo das especificações. Para isso, considera-se que ao usar um modelo de empresa como origem dessa transformação é possível representar tanto os requisitos quanto os conhecimentos de domínio necessários para obter especificações através de uma transformação. Com isso, este trabalho apresenta os metamodelos de origem e de destino, um conjunto de regras de transformação e uma ferramenta que permite executar a transformação. Por fim, este trabalho também discute um experimento que foi executado para analisar alguns aspectos desta proposta. / One of the key responsibilities of Requirements Engineering is to refine requirements into specifications. For enterprise systems, this refinement must consider the enterprise context where the system will be deployed. Although there are some approaches for requirements refinement, some of them even considering the enterprise context, this task is executed manually. Based on Model-Driven Engineering concepts, this study proposes a semi-automatic transformation using an enterprise model as a requirements model and a use case model as a specifications model. For that, this work considers that using an enterprise model as a source it is possible to represent both the requirements and the domain knowledge that are necessary to obtain specifications through a transformation. Therefore, this study presents the source and target meta-models, a set of transformation rules, and a tool to support the transformation. Finally, this study also discusses an experiment executed to analyze some aspects of this proposal.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-27T14:21:14Z No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) / Made available in DSpace on 2017-04-27T14:21:14Z (GMT). No. of bitstreams: 1 Ruy Guilherme.pdf: 4333694 bytes, checksum: dc411f45b9fe05154bdee07704d50d65 (MD5) Previous issue date: 2017-01-23 / The recent emergence of Free-to-Play games, also known as Freemium games, has considerably changed the way games are made. The definition of monetization strategies is now part of the process of making games. Choosing which strategy to adopt among the various ones and understanding how they work could be an arduous task. When analysing the market, to realize that popular games use similar strategies is not difficult, which demonstrates that the reuse of strategies is common among developers. Although there are catalogs of popular monetization strategies used by Free-to-Play games in the literature, little attention has been given to formalize the description of those strategies, leaving openings for misunderstandings and making the reuse harder. For that reason, a meta-model of Free-to-Play games monetization that allows the representation of Free-toPlay games monetization strategies based on a set of popular strategies is proposed. That meta-model, called Meta-F2P, was elaborated from the investigation of the most rentable Free-to-Play games for mobile devices. Besides that, case studies were used to validate and refine the accuracy, expressiveness and extensibility of that meta-model. Based on the results obtained, the applicability of the meta-model in the process of making games and the advantages and disadvantages of the use of case studies in the concept of meta-models are analyzed. / A recente ascensão dos jogos Free-to-Play, também conhecidos como Freemium, provocou mudanças consideráveis na forma como os jogos são produzidos. A elaboração de estratégias de monetização passou a fazer parte do processo de desenvolvimento. Escolher qual estratégias adotar dentre as diversas existentes e entender o seu funcionamento pode tornar esta uma tarefa árdua. Ao se analisar o mercado não é difícil perceber que os jogos mais rentáveis abordam estratégias de monetização similares, demonstrando que reuso de estratégias é uma abordagem adotada por diversos desenvolvedores. Embora existam na literatura catálogos de estratégias de monetização populares em jogos Free-to-Play, pouca atenção tem sido dada no intuito de formalizar a descrição das estratégias, dando margem para interpretações errôneas e dificultando o reuso. Assim propõe-se um meta-modelo que permite representar as estratégias de monetização de jogos Free-to-Play a partir de um conjunto de estratégias populares. O meta-modelo denominado Meta-F2P foi elaborado a partir da análise de jogos Free-to-Play para dispositivos móveis mais rentáveis. Além disso, utilizou-se estudos de caso para a validação e o refinamento da exatidão, expressividade e extensibilidade do meta-modelo. A partir dos resultados obtidos analisa-se a aplicabilidade do meta-modelo no processo de design de jogos e as vantagens e desvantagens da aplicação de estudos de caso na elaboração de meta-modelos.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-07-26T13:52:12Z No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) / Made available in DSpace on 2017-07-26T13:52:12Z (GMT). No. of bitstreams: 1 Debora Stefanello.pdf: 4211863 bytes, checksum: 01fdbcf038800472fbd854b22bc2e341 (MD5) Previous issue date: 2017-01-25 / CAPES / In recent years, some research has taken into account problems related to the development of software systems, especially those that make use of context, i.e. context-aware systems. In this dissertation the complexity of context-aware system development is discussed. The proposed solution aims to provide support for the context-aware system development through a framework based on MDE and Weaving. On the one hand, MDE allows the use of models to manage complexity in software development, while the weaving technique supports the creation of interrelations between elements of different but complementary models. The weaving technique is used to create a weaving model that establishes interrelationships between the elements of a Platform Independent Model (PIM) and several Platform Description Model (PDMs). An implementation of the proposed framework and an illustrative example help to understand the proposal and its feasibility. A comparison between the proposed solution and the works found in the literature Done, showing the negative and positive points of the proposed solution. / Nos últimos anos, algumas pesquisas têm levado em conta as problemáticas relacionadas ao desenvolvimento de sistema de software, em especial, aqueles que fazem o uso de contexto, i.e. context-aware systems. Nesta dissertação de mestrado, abordase a complexidade no desenvolvimento de context-aware system. A solução proposta visa fornecer suporte para o desenvolvimento de context-aware system através de um framework baseado em MDE e Weaving. Por um lado, MDE permite a utilização de modelos para gerenciar a complexidade no desenvolvimento de sofware, enquanto a técnica de weaving suporta a criação de inter-relacionamentos entre elementos de modelos diferentes, mas complementares. A técnica de weaving é utilizada para criar um modelo de weaving que estabelece inter-relacionamentos entre os elementos de um PIM (Platform Independent Model) e de vários PDMs (Platform Description Model). Uma implementação do framework proposto e um exemplo ilustrativo ajudam a entender a proposta e mostram a sua viabilidade. Um comparativo entre a solução proposta e os trabalhos encontrados na literatura é feito, mostrando os pontos negativos e positivos da solução proposta.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-08-24T11:52:22Z No. of bitstreams: 1 Pablo.pdf: 5598718 bytes, checksum: cce40776950abfd027f223d50cfca06c (MD5) / Made available in DSpace on 2017-08-24T11:52:22Z (GMT). No. of bitstreams: 1 Pablo.pdf: 5598718 bytes, checksum: cce40776950abfd027f223d50cfca06c (MD5) Previous issue date: 2015-08-31 / CAPES,CNPQ,FAPEMA / The development and use of software based on cloud computing have been highlighted more and more nowadays. Software as a Service (SaaS) has been considered as a trend for small, medium and large companies, subtly acquiring presence in personal computing too. This service popularizing brings with it many challenges concerning to information security handled by their suppliers and the vulnerability of their applications. In this work, we propose a SaaS development framework by combining the Model-Driven Engineering (MDE) with merging techniques of domain-security models and domainapplication model. This approach involves the use of MDE techniques for achieving such adaptation and assist in the software development process. By adopting the MDE approach, it is possible to combine elements of different models, from source models reaching a target model by using weaving techniques. A prototype implements the proposed framework and reuses the Mapping Tool for Model Driven Engineering (MT4MDE) and Semi-Automatic Matching Tool for Model Driven Engineering (SAMT4MDE) in order to demonstrate the used methodology. The results demonstrate the feasibility and benefits of combining several security aspects in the development process of SaaS. / O desenvolvimento e a utilização de softwares baseados em computação em nuvem têm conquistado cada vez mais destaque na atualidade. A oferta de SaaS (Software as a Service) se mostra uma tendência não apenas para as grandes empresas, mas também para as pequenas e médias, adquirindo espaço também na computação pessoal de forma transparente. Esta relativa popularização do serviço traz consigo muitos desafios no que se refere à segurança da informação manipulada pelos seus fornecedores e a vulnerabilidade de suas respectivas aplicações. Neste trabalho, propomos um framework de desenvolvimento de SaaS, fazendo uso da Engenharia Dirigida por Modelos (MDE) aliada a técnicas de fusão de modelos do domínio de segurança a modelos do domínio da aplicação. Esta abordagem envolve a utilização de técnicas de MDE para se alcançar tal adaptação e auxiliar na condução do processo de desenvolvimento do software. Através da adoção da abordagem MDE é possível realizar a junção de elementos de modelos diferentes, a partir de modelos fonte alcançando-se um modelo alvo pela utilização de técnicas de weaving. Um protótipo implementa o framework proposto e reutiliza as ferramentas Mapping Tool for Model Driven Engineering (MT4MDE) e Semi-Automatic Matching Tool for Model Driven Engineering (SAMT4MDE) na demonstração da metodologia usada. Os resultados demonstram a viabilidade e os benefícios da combinação de vários aspectos de segurança no processo de desenvolvimento de um SaaS.

Uma das principais responsabilidades da área de Engenharia de Requisitos é refinar requisitos em especificações. Em sistemas empresariais esse refinamento deve considerar o contexto empresarial no qual o sistema fará parte. Apesar de existirem algumas abordagens para refinar requisitos algumas delas até mesmo considerando o contexto empresarial essa tarefa é realizada manualmente. Baseado em conceitos de Engenharia Dirigida por Modelos, este trabalho propõe uma transformação semiautomática usando um modelo da empresa como modelo dos requisitos e um modelo de casos de uso como modelo das especificações. Para isso, considera-se que ao usar um modelo de empresa como origem dessa transformação é possível representar tanto os requisitos quanto os conhecimentos de domínio necessários para obter especificações através de uma transformação. Com isso, este trabalho apresenta os metamodelos de origem e de destino, um conjunto de regras de transformação e uma ferramenta que permite executar a transformação. Por fim, este trabalho também discute um experimento que foi executado para analisar alguns aspectos desta proposta. / One of the key responsibilities of Requirements Engineering is to refine requirements into specifications. For enterprise systems, this refinement must consider the enterprise context where the system will be deployed. Although there are some approaches for requirements refinement, some of them even considering the enterprise context, this task is executed manually. Based on Model-Driven Engineering concepts, this study proposes a semi-automatic transformation using an enterprise model as a requirements model and a use case model as a specifications model. For that, this work considers that using an enterprise model as a source it is possible to represent both the requirements and the domain knowledge that are necessary to obtain specifications through a transformation. Therefore, this study presents the source and target meta-models, a set of transformation rules, and a tool to support the transformation. Finally, this study also discusses an experiment executed to analyze some aspects of this proposal.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-05-30T21:50:59Z No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-06-01T18:52:23Z (GMT) No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) / Made available in DSpace on 2016-06-01T18:52:23Z (GMT). No. of bitstreams: 1 MariliaAranhaFreire_TESE.pdf: 5649879 bytes, checksum: 2335924edd2ff84ad849308b4297dd7d (MD5) Previous issue date: 2015-03-05 / A condu??o de estudos emp?ricos ? de vital import?ncia para coletar evid?ncias cient?ficas sobre novas tecnologias de software. Neste sentido, nos ?ltimos anos centenas de experimentos controlados v?m sendo realizados na ?rea da engenharia de software. Um experimento controlado ? uma t?cnica que permite aos cientistas testarem uma hip?tese de pesquisa e a rela??o causa e efeito entre as vari?veis envolvidas no ambiente de estudo. Entretanto, o planejamento, execu??o, an?lise e empacotamento de um experimento controlado s?o considerados atividades complexas, custosas e propensas a erros. As poucas ferramentas existentes de apoio ao processo de experimenta??o auxiliam v?rias atividades envolvidas em um experimento mas possuem limita??es e grande necessidade de melhorias. Neste contexto, este trabalho prop?e : (i) investigar abordagens e ambientes existentes de apoio a formaliza??o e condu??o de experimentos controlados em ES identificando suas limita??es e benef?cios; (ii) propor uma linguagem espec?fica de dom?nio para a formaliza??o de experimentos controlados; e (iii) desenvolver uma abordagem dirigida por modelos que usa a formaliza??o de um experimento para gera??o de workflows customiz?veis de apoio ? condu??o de experimentos controlados. O trabalho ? avaliado atrav?s da condu??o de: (i) um estudo de viabilidade da abordagem dirigida por modelos atrav?s da modelagem de um experimento existente e gera??o de workflows customiz?veis a partir do seu projeto estat?stico; (ii) um estudo emp?rico de an?lise da expressividade e completude da linguagem espec?fica de dom?nio proposta atrav?s da modelagem de 16 experimentos; (iii) um experimento controlado que investiga ? compreens?o da linguagem pelos experimentadores; e (iv) um experimento controlado que investiga a usabilidade da linguagem atrav?s do seu uso direto na especifica??o de experimentos. Os resultados obtidos em tais estudos trazem evid?ncias que a abordagem proposta ? vi?vel, e que a linguagem tem um bom n?vel de expressividade e completude. Al?m disso, as an?lises mostram que a compreens?o do plano experimental escrito na linguagem proposta ? mais f?cil e mais r?pida que quando analisando a especifica??o de um plano experimental descrito em artigos cient?ficos. Por fim, a percep??o dos experimentadores foi positiva em rela??o ? utiliza??o da linguagem. / The conduction of empirical studies is very important to gather scientific evidences of new software technologies. Over the last years, a hundred of controlled experiments have been conducted in the software engineering area. A controlled experiment is a technique that allows researchers to test a research hypothesis and the causal effect analysis among the variables involved in the study environment. However, the planning, execution, analysis and packaging of a controlled experiment are considered work intensive, time consuming and error-prone activities. A few existing supporting tools can help the accomplishment of many of these activities but they still have many limitations and improvement needs. In this context, this thesis proposes: (i) to investigate existing approaches and environments to support the formalization and conduction of SE controlled experiments by identifying their limitations and benefits; (ii) to propose a domain-specific language (DSL) to formalize the specification of controlled experiments; and (iii) to develop a model-driven approach that can use the experiment specification in the DSL to generate customized workflows to support the execution of controlled experiments. This work is evaluated through the conduction of: (i) a feasibility study of the modeldriven approach through the modeling of a real experiment and the generation of workflows according to its experimental design; (ii) an empirical study that assesses the expressivity and completeness of the domain-specific language through the modeling of 16 existing experiments; (iii) a controlled experiment that investigates the DSL comprehensibility by the experimenters; and (iv) a controlled experiment that investigates the language usability through the specification of experiments. The studies results bring evidences of the approach feasibility, and the expressiveness and completeness of the DSL. In addition, our controlled experiments results show that: (i) the experimental plan comprehension when written in the proposed DSL is easier to understand and faster to specify when compared to the experiment specification described in scientific papers; and (ii) the experimenters? perception was positive when using the DSL.