Die modellgetriebene Entwicklung (MDD) ist ein Ansatz, um formale Modelle automatisiert in ausführbare Software zu übersetzen. Obwohl dieses Vorgehen die Häufigkeit von Fehlern im generierten Quellcode verringert, können immer noch die Ausgangsmodelle fehlerhaft sein. Deshalb sind zusätzliche Prüfverfahren, wie z.B. die Verwendung eines Model Checkers sinnvoll. Er stellt automatisiert sicher, dass ein Modell alle gestellten Anforderungen erfüllt. Das Ziel dieser Arbeit ist daher die Integration eines Model Checkers in den modellgetriebenen Entwicklungsprozess, um die Qualität von Software-Produkten zu verbessern. Zu diesem Zweck wird das sogenannte DSL Verification Framework (DVF) vorgestellt. Es stellt Entwicklern vorgefertigte Sprachkonstrukte zur Verfügung, um die Implementierung von Parsern und Transformatoren zu erleichtern. Des Weiteren berücksichtigt es auch die "State Space Explosion", damit auch größere Modelle verifizierbar bleiben. Um die praktische Nutzung des DVF zu evaluieren, werden zwei Industriefallstudien durchgeführt.

Mycelium-based composite (MBC) is being developed and researched in multiple commercial markets as an alternative sustainable material. MBC utilizes the mycelium ability to create a web-like structure in lignocellulosic structures. However, producing the material in a natural environment and subjecting it to various tests; the study aims to examine the distress of the southern Swedish climate on MBC grown in different substrates. The selection of substrates are based on their compatibility to fungal growth, the substrates are also locally sourced and grown. This is to explore MBC material production with a focus on circular economy as biodegradable material in architecture could help develop a reuse and recycle system. Various tests were done on the different substrate MBC to determine its characteristics, limitations and opportunities. The tests were developed with a focus on architectural construction and the southern Swedish climate; meaning experiments including MBC reaction to fire, water and temperatures. The results are based on the different MBC materials reaction, this ends with a description on how the materials could be used and developed in the future.

Actualmente, uno de los principales retos de la Ingeniería del Software (IS) es el desarrollo de sistemas de calidad. La calidad es una propiedad del software que cuenta con diversas características, entre ellas la usabilidad, que es en la que se centra esta tesis. La IS se ha centrado históricamente en problemas de funcionalidad y de persistencia, relegando a un segundo plano aspectos de la interacción con el usuario, y más concretamente, de la usabilidad. Este vacío ha sido cubierto por la comunidad Interacción Persona-Ordenador (IPO), que ha propuesto recomendaciones para mejorar la usabilidad. Algunas de estas recomendaciones deben ser consideradas desde las primeras fases de construcción de los sistemas a fin de evitar realizar cambios en la arquitectura una vez ésta haya sido diseñada. Estas recomendaciones se conocen como Functional Usability Features (FUF). La incorporación de los FUFs desde las primeras fases del proceso de desarrollo añade cierta complejidad a la construcción de sistemas, ya que el analista ha de tener en cuenta más factores a la hora del desarrollo. Esta tesis presenta una solución basada en transformaciones entre modelos. El objetivo de la tesis es el de presentar un método (llamado MIMAT) para incorporar los FUFs dentro de un método de desarrollo Model-Driven Development (MDD). Para ello, se profundiza en los cambios que el diseñador del método MDD debe aplicar para enriquecer dicho método con los FUFs. Una vez incorporados los FUFs, el analista que modele sistemas con el método MDD puede utilizar las características de usabilidad en el desarrollo de sistemas. La principal ventaja de esta aproximación es que el analista puede incorporar las características de usabilidad simplemente a partir de modelos conceptuales, dejando la implementación a las transformaciones de modelo a código. La factibilidad de MIMAT se ha demostrado aplicándolo a un método de desarrollo MDD específico: OO-Method. / Panach Navarrete, JI. (2010). Incorporación de mecanismos de usabilidad en un entorno de producción de software dirigido por modelos [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8379

Flera miljoner människor världen över är idag drabbade av depression vilket skapar ett stort lidande. Depression leder även många gånger till självmord. Känt är att tarmmikrobiotan är en viktig del i sjukdomsförloppet [MB1] och att kunna karakterisera tarmmikrobiota som är av psykobiotisk karaktär blir därför viktigt i ett behandlande syfte men också för att kunna ställa diagnos mer objektivt. Syftet med den här litteraturstudien är att genom artikelgranskning i PubMed undersöka vad senaste forskningen säger om tarmmikrobiotans roll i tryptofanmetabolismen med efterföljande effekt på depression. Skiljer sig tarmmikrobiotan och tryptofanmetabolismen mellan individer med och utan depression och kan tarmmikrobiotan och tryptofanmetaboliter användas som biomarkörer för att diagnostisera depression? Resultatet visar att tarmmikrobiotan och vissa tryptofanmetaboliter skiljer sig signifikant åt mellan friska individer och individer med depression. Studiens slutsats är att tarmmikrobiota och tryptofans metaboliter skulle kunna användas som biomarkörer för att kunna diagnostisera depression mer objektivt. Dock förekommer flera olika potentiella confounders som bör tas i beaktning. / Several million people worldwide are today affected by depression, which creates a lot of suffering. Depression also often leads to suicide. It is known that the gut microbiota is an important part of the course of the disease and being able to characterize gut microbiota that is of a psychobiotic nature therefore becomes important for a treatment purpose but also to be able to make a diagnosis more objectively. The aim of this literature study is to examine, through article review in PubMed, what the latest research says about the role of gut microbiota in tryptophan metabolism with subsequent effect on depression. Do gut microbiota and tryptophan metabolism differ between individuals with and without depression and can gut microbiota and tryptophan metabolites be used as biomarkers to diagnose depression? The results show that the gut microbiota and certain tryptophan metabolites differ significantly between healthy individuals and individuals with depression. The study's conclusion is that gut microbiota and tryptophan metabolites could be used as biomarkers to diagnose depression more objectively. However, there are several different potential confounders that should be taken into account.

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé en portes logiques élémentaires, ce qui permet d'effectuer une projection technologique. De plus, une étude formelle réalisée durant la thèse démontre que les circuits synthétisés respectent la contrainte de quasi insensibilité aux délais. Cette technique de synthèse a été développé au sein du projet TAST. Elle a été validée sur un ensemble de circuits de tests.

No description available.

We discuss the design and analysis of a code generator for C++, implemented in the Umple model-oriented programming technology. Umple adds UML constructs and patterns to various base programming languages such as Java and PhP. Umple code generators create code for those constructs, which can include UML associations and state machines, as well as patterns such as immutable and singleton. Base language methods are passed through unchanged along with the generated code. Creating a C++ code generator for Umple posed many challenges, all of which are discussed in this thesis: We had to focus on the appropriate C++ idioms and stylistic conventions to follow. We followed a test-driven development process to ensure that the resulting code was correct. To evaluate the work, we compared our C++ generator with those in other tools such as ArgoUML and IBM Rational Software Architect. We conclude that our C++ generator is superior in many ways to these widely used tools because it is more complete and generates better quality code.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2017-09-13T22:00:52Z No. of bitstreams: 1 Tese Uma abordagem para análise de impacto de mudança ... Andreza de Sousa Vieira.pdf: 1136053 bytes, checksum: bea3c2c4cd1e05c961abf7ec7c127557 (MD5) / Made available in DSpace on 2017-09-13T22:00:53Z (GMT). No. of bitstreams: 1 Tese Uma abordagem para análise de impacto de mudança ... Andreza de Sousa Vieira.pdf: 1136053 bytes, checksum: bea3c2c4cd1e05c961abf7ec7c127557 (MD5) Previous issue date: 2014-12-17 / Capes / MDD (Model-Driven Development) tem como principal objetivo deslocar o foco da implementação do código fonte para o desenvolvimento de modelos dentro do processo de desenvolvimento de software. Elementos que desempenham um papel muito importante dentro de MDD são as transformações de modelos, isto é, regras que descrevem como modelos de Origem devem ser usados para gerar automaticamente um ou mais modelos de destino. Como qualquer projeto de software, os projetos baseados em MDD evoluem ao longo do ciclo de vida, tendo em vista que mudanças em suas transformações são frequentes. Antes de aplicar qualquer mudança em uma transformação é importante analisar como ela pode afetar o projeto como um todo. No entanto, atualmente não há nenhuma técnica para auxiliar os gerentes de projeto ou desenvolvedores nesse sentido. O objetivo deste trabalho é propor uma abordagem para análise do impacto de mudanças em transformações de modelos. Baseada na análise estática,a abordagem proposta visa: (i)identificar o conjunto de elementos impactados por uma mudança na transformação; e (ii) mensurar o impacto da mudança através de um conjunto de métricas. Dentre outros benefícios, a abordagem proposta pode auxiliar: (i) os gerentes de projeto a melhor escalonar e priorizar mudanças, uma vez que eles podem estimar os custos da aplicação de cada uma delas; e (ii) os desenvolvedores a identificar, automaticamente, todos os elementos impactados com uma mudança, assim, economizando esforço e tempo de desenvolvimento. Um estudo de caso foi conduzido para identificar novas métricas e para avaliar a abordagem proposta em relação à análise manual do impacto de mudanças em diversas transformações reais. Com o estudo, foi possível perceber que os resultados obtidos pela abordagem proposta e pela análise manual foram bastante próximos. Porém, considerando o esforço e o tempo de análise, os resultados da abordagem proposta foram melhores. / The main goal of the MDD (Model-Driven Development) approach is to change the focus from source code to models within the software development process. Elements that play important role in MDD are model transformations, i.e. rules that describe how source models should be used to automatically generate one or more target models. As any software project, MDD-based projects evolve along their lifecycle in such way that changes in their transformations are frequent. Before applying any change to a transformation, it is important to analyze how it would impact the whole project. However, there is currently no technique to help project managers or developers in this direction. The objective of this work is to propose an approach to analyze the impact of changes resulting from model transformations. Based on static analysis, the proposed approach aims at: (i)identifying the set of elements impacted with a change applied to a transformation; and (ii)measuring the impact of a change through a set of metrics. Among other benefits ,the proposed approach can help: (i)project managers to better prioritize and schedule changes, since they can estimate the costs to apply each of them; and (ii)developers to automatically identify all elements impacted with a change, thus saving effort and development time. A case study was conducted to identify new metrics and to evaluate the proposed approach regarding to the manual change impact analysis considering real transformations. This study revealed that the results obtained by using the proposed aproach and using the manual analysis were very similar. However, regarding effort and time, we observed that the results obtained from the proposed approach were superior than the manual analysis.

Made available in DSpace on 2016-06-02T19:06:19Z (GMT). No. of bitstreams: 1 6469.pdf: 4680875 bytes, checksum: 348ed33838e264f70033e8383aeaa100 (MD5) Previous issue date: 2014-10-27 / The integrated network management system aims to manage the telecommunications network, regardless of network elements technology in order to identify the causes of problems, providing a more assertive decision making to remedy these problems and make the network available and operational. Thus, can to cater to the market that is increasingly demanding with the level of quality telecommunications products and services. Given this need, integrated networks management system belongs to a real company needs to respond quickly to customers' expectations with respect to requests for new functions system, and perform technology upgrades periodically. However, the integrated network management system development use centered-source technologies, and it requires great effort and hinders reuse. In this context, this master's project presents a proposal to facilitate the integrated network management system development using the techniques of MDD (Model Driven Development). MDD emphasizes the use of models in software development. These models specify the rules of business domain at a high level of abstraction, i.e., regardless of the programming language and to run the software platform. With appropriate computational tools transformations of models in the source code are performed. The use of MDD can provide software reuse procedurally, enabling faster development, lower cost, produce a flexible software and enable faster modifications. To apply MDD approach, a Domain Specific Language (DSL) for the configuration management of integrated network management system setting is designed to facilitate the inclusion of a new technology to be managed by the system, while providing faster development and with fewer errors of code. To evaluate the proposal, an experiment was conducted with the participation of software developers that know the system and work in this real company. The results showed that according to the descriptive analyses there was a reduction in the time spent in application development when it was used DSL compared to the specialization of classes. However, hypotheses tests showed no such reduction. The insertion of errors in the code occurred only in applications developed using specialization classes. The use of DSL provided a broader view of the business rule and you do not need knowledge of the programming language, once the code was automatically generated. / Um sistema de gerenciamento integrado de redes tem o objetivo de gerenciar uma rede de telecomunicações, independentemente da tecnologia dos elementos de rede, a fim de identificar as causas de problemas, proporcionando a tomada de decisão mais assertiva para saná-los e deixar a rede disponível e operacional. Dessa forma, o mercado que está cada vez mais exigente com o nível de qualidade dos produtos e serviços de telecomunicações é atendido. Diante dessa necessidade, o sistema de gerenciamento integrado de redes de uma empresa real precisa atender rapidamente às expectativas dos clientes com relação às solicitações de novas funções do sistema, assim como realizar atualizações tecnológicas periodicamente. Porém, o desenvolvimento do sistema de gerenciamento integrado de redes dessa empresa utiliza tecnologias centradas em código-fonte, o que implica em grande esforço e dificulta a sua reutilização. Neste contexto, este projeto de mestrado apresenta uma proposta para facilitar o desenvolvimento do sistema de gerenciamento integrado de redes utilizando as técnicas de MDD (Desenvolvimento Dirigido a Modelos). MDD enfatiza a utilização de modelos no desenvolvimento do software. Esses modelos especificam as regras de negócio de domínio em um alto nível de abstração, ou seja, independentemente da linguagem de programação e da plataforma de execução do software. Com ferramentas computacionais adequadas são realizadas as transformações dos modelos em código-fonte. A utilização de MDD pode proporcionar reúso de software de forma processual, possibilitar um desenvolvimento mais rápido, com menor custo, produzir um software flexível e possibilitar modificações mais rapidamente. Para aplicar a abordagem de MDD, uma linguagem específica de domínio (DSL) para a gerência de configuração do sistema de gerenciamento integrado de redes foi desenvolvida. Tem como objetivo facilitar a inclusão de uma nova tecnologia a ser gerenciada pelo sistema e ao mesmo tempo proporcionar um desenvolvimento mais rápido, com menos erros de código. Para avaliar a proposta foi realizado um experimento com a participação dos atuais desenvolvedores de software de uma empresa real. Os resultados obtidos mostraram que, segundo a análise descritiva, houve redução do tempo gasto no desenvolvimento das aplicações quando foi utilizada a DSL em comparação com o desenvolvimento baseado em especialização das classes. Porém, os testes das hipóteses não apresentaram tal redução. A inserção de erros no código ocorreu somente nas aplicações desenvolvidas utilizando especialização das classes. O uso da DSL proporcionou uma visão mais ampla da regra de negócio e não exigiu conhecimento da linguagem de programação, pois o código foi gerado automaticamente.

Made available in DSpace on 2016-06-02T19:06:21Z (GMT). No. of bitstreams: 1 6591.pdf: 8019461 bytes, checksum: 4326ece159964b796f9e5dc900653fb4 (MD5) Previous issue date: 2014-09-17 / The electronic gaming industry has recently witnessed an exponential growth in terms of titles and overall complexity of the games. This growth is responsible for many advances in computational technologies. But it also revealed problems related to the development process. It is very common that game projects exceed budget and schedule, not to mention the high number of bugs delivered to the final consumer. Current tools that support the development of games, such as game engines, allow great flexibility and artistic freedom, but require professionals with a high degree of technological knowledge, which means that a high financial investment is often needed. To help solving these problems, the literature suggests the use of Model-Driven Development (MDD). The increased abstraction level made possible through MDD can lead to higher reuse levels, and the automation achieved by code generation helps to reduce development time. But for automation, the developer often has to pay the price of reduced flexibility since the MDD exists a lack of flexibility in designs, but with manual code that can be overcome. Given these challenges, it is proposed an approach for game development that targets models to offer efficiency but without losing the flexibility in projects. This goal can be achieved through the integration of multiple DSLs with handwritten code, with the help of design patterns. To evaluate this approach, it was developed a tool capable of assisting the development of games following the concepts of MDD, which was subsequently subjected to experiments to validate its effectiveness. According to the experimental analysis, it was possible to observe that the proposed approach can provide the desired efficiency and flexibility in game development. It was also noted that due to the automation offered by code generators, inexperienced developers could create their projects with greater ease. However the study indicates that abstraction offered by MDD hinders the learning of the technology used. / Nos últimos anos, a indústria dos jogos eletrônicos tem assistido a um crescimento exponencial em termos de novos títulos e também na complexidade dos jogos. Este crescimento e responsável por muitos avanços nas tecnologias computacionais. Mas também revelou problemas relacionados com o processo de desenvolvimento. E muito comum que projetos de jogos excedam o orçamento e o cronograma, para não mencionar o elevado numero de jogos com defeitos entregues ao consumidor final. As ferramentas atuais que apoiam o desenvolvimento de jogos, tais como motores de jogo, permitem grande flexibilidade e liberdade artística, porem elas necessitam de profissionais com alto grau de conhecimento tecnológico, o que significa que muitas vezes e necessário um alto investimento financeiro. Para ajudar a resolver esses problemas, a literatura sugere o uso de Model-Driven Development (MDD). O aumento do nível de abstração oferecido pelo MDD pode conduzir a maiores níveis de reutilização, e da automação conseguida na geração de código ajudando a reduzir o tempo de desenvolvimento. Mas para ocorrer a automação, o desenvolvedor muitas vezes tem que pagar o preço da redução da flexibilidade ja que no MDD existe a falta de flexibilidade nos projetos, porem com código manual isso pode ser superado. Diante desses desafios é proposta neste trabalho uma abordagem de desenvolvimento de jogos dirigida a modelos capaz de oferecer eficiência sem perder a flexibilidade nos projetos. Esse objetivo pode ser alcançado por meio da integração de multiplas DSLs com códigos escritos a mão através da definição de padrões de projetos específicos. Para avaliar essa abordagem, foi desenvolvida uma ferramenta capaz de auxiliar o desenvolvimento de jogos seguindo os conceitos do MDD, a qual posteriormente foi submetida a experimentos para validar sua eficácia. De acordo com a analise experimental foi possível observar que a abordagem proposta pode oferecer a eficiência e flexibilidade desejada no desenvolvimento de jogos. Também foi notado que devido as automatizações oferecidas pelos geradores de código, desenvolvedores inexperientes puderam criar seus projetos com maior facilidade. Contudo o estudo indica que a abstração oferecida pelo MDD dificulta o aprendizado da tecnologia utilizada.