[pt] Em um sistema de informação, falhas podem ocorrer pela diferença de entendimento das partes envolvidas em relação ao significado de um dado. Este é um problema bem conhecido pela engenharia de software, e defeitos deste tipo já foram responsáveis por falhas catastróficas, como a do Mars Climate Orbiter em 1999. O atual cenário de intercâmbio e processamento de dados, com grande volume de informação e heterogeneidade de participantes, cria um estado de suscetibilidade a estes defeitos. Entretanto, as técnicas de garantia de qualidade de software são tipicamente dirigidas à estrutura e às propriedades físicas dos dados, e não são eficientes ao observar questões semânticas. Este trabalho tem como intuito avaliar o uso de análise estática na detecção de conflitos semânticos em tipos de dados, e para validar sua eficácia esta abordagem foi comparada com outras técnicas de garantia de qualidade em um estudo qualitativo. A ferramenta de análise estática VERITAS (VERIficador estTÁtico Semântico) e a notação SemTypes foram desenvolvidas exclusivamente para tratar do problema de conflitos semânticos, adicionando controle de tipo semântico aos tipos reconhecidos por compiladores, e são apresentadas neste trabalho. / [en] Within information system, faults can occur by the difference in understanding of the parties involved regarding the meaning of data. This is a well-known problem for software engineering and defects of this type have been responsible for catastrophic failures, such as the Mars Climate Orbiter in 1999. The current scenario of data processing and exchange, with high information traffic volume and heterogeneous participants, increases system’s vulnerability to these defects. Besides that, techniques of software quality assurance are typically oriented to data structure and physical properties, failing to efficiently address semantics issues. This work has the objective to evaluate the use of static analysis to detect semantic conflicts in data types, investigating its efficacy through an qualitative study comparing different software quality assurance approaches. The static analysis tool VERITAS (VERIficador esTÁtico Semântico) and the SemTypes notation were exclusively developed to address the problem of semantic conflicts - adding a semantic control to the types recognized by compilers – and are presented in this work.

[pt] Desenvolvimento de software é um processo altamente colaborativo, no qual a construção do software é o objetivo comum. É apoiado em várias fases por ferramentas computacionais, dentre elas as ferramentas de modelagem de software. Modelos são parte importante do processo de desenvolvimento de software e o foco desta pesquisa, que tem como objetivo investigar a comunicabilidade de modelos de software que são produzidos e consumidos através de ferramentas de modelagem. A comunicabilidade de modelos de software é a capacidade que estes artefatos têm de efetuar o processo de comunicação entre pessoas, ou a de serem usados como instrumentos para realizar parte significativa deste processo. As ferramentas de modelagem têm impacto direto nessa comunicabilidade, já que os produtores e consumidores de modelos interagem com tais ferramentas ao longo do processo de desenvolvimento do software. Durante essa interação, os modelos de software, que são artefatos intelectuais, são criados, alterados, evoluídos, transformados e compartilhados pelas pessoas envolvidas nas atividades de especificação, análise, design e implementação do software em desenvolvimento. Além da influência das ferramentas, a modelagem de software também deve considerar a utilização de notações previamente definidas como premissas para as atividades de modelagem. Esta pesquisa é uma investigação como ferramentas e notações de modelagem influenciam e apoiam o processo intelectual de produção e consumo de modelos de software. Temos a Engenharia Semiótica como teoria guia desta pesquisa, tendo em conta um aspecto essencial para esta que é: um estudo criterioso das ferramentas que os envolvidos no desenvolvimento do software utilizam para construir, usar e divulgar modelos através dos quais coordenam o seu trabalho de equipe. O uso de modelos no processo de desenvolvimento de software é um fenômeno que apresenta vários fatores que não podem ser isolados. Portanto, propomos a tripla Tool-Notation-People (TNP) como um recurso de articulação para caracterizar questões observadas sobre modelos no desenvolvimento de software, ao longo de toda a pesquisa. Junto com a tripla TNP, apresentamos um método que combina as perspectivas cognitiva e semiótica para avaliar as ferramentas de modelagem de software, produzindo dados sobre a metacomunicação designer-usuário, sendo os usuários, neste caso, os desenvolvedores de software. Nosso objetivo é rastrear potenciais relações entre a experiência de interação humano-computador dos evolvidos no processo de desenvolvimento de software no momento de criar/ler/editar modelos com: (a) o produto (tipos de modelo) gerado neste processo; e (b) as interpretações que tais modelos evocam quando usados efetivamente em situações práticas do cotidiano para comunicar e expressar ideias e entendimentos . A Engenharia Semiótica apresenta duplo interesse nesta pesquisa. Por um lado, como uma lente de observação , ela nos oferece diversos recursos para investigar e compreender a construção e uso de artefatos computacionais, seus significados e seus papéis no processo de comunicação. Por outro lado, um melhor entendimento sobre o processo completo que resulta, em última análise, na experiência do usuário durante a interação com o software é relevante para a evolução da própria teoria. Ou seja, esta pesquisa produziu mais conhecimento sobre as condições de comunicação e mútuo entendimento daqueles que, segundo a teoria, comunicam sua intenção e princípios de design através da interface , uma fonte potencialmente valiosa de explicações sobre problemas de comunicabilidade em IHC. / [en] Software development is a highly collaborative process where software construction is the common goal. It is supported at several stages by computer tools, including software modeling tools. Models are important artifacts of the software development process and constitute the focus of this research, which aims to investigate the communicability of software models produced and consumed with the support of modeling tools. Software model communicability is the capacity that such artifacts have of carrying and effecting a communication process among people, or of being used as an instrument to perform a significant part of such process. Modeling tools have a direct impact in that communicability, since model s producers and consumers interact with those tools throughout the software development process. During that interaction, software models, which are intellectual artifacts, are created, changed, evolved, transformed and shared by people involved in activities of specification, analysis, design and implementation of the software under development. Besides the influence of tools, software modeling also needs to take into consideration previously defined notations as premises for modeling activities. This research is an investigation on how tools and notations influence and support the intellectual process of production and consumption of software models. We have Semiotic Engineering as our guiding theory given the essence of it that is: a careful study of tools people interact with to build, use and publish models through which they coordinate teamwork. The use of models in the software development process is a phenomenon that includes several factors that cannot be isolated from each other. Therefore, we propose a Tool-Notation-People triplet (TNP triplet) as a means of articulation to characterize observed issues about models in the software development. Along with the TNP triplet, we introduce a method that combines semiotic and cognitive perspectives to evaluate software modeling tools, producing data about the emission of designer-user metacommunication, users in this case being software developers. We aim to track potential relations between the human-computer interaction experience of those involved in the software development process while creating/reading/editing models with: (a) the product (types of models) generated in the process; and (b) the interpretations that such models evoke when used effectively in everyday practical situations to communicate and express ideas and understandings. The interest of working with Semiotic Engineering in this research is twofold. First, as an observation lens, the theory offers many resources to investigate and understand the construction and use of computational artifacts, their meanings and roles in the communication process. Second, a better perspective about the complete process that results, ultimately, in the user experience during the interaction with the software is relevant for the theory s own evolution. In other words, this research has produced further knowledge about the communication conditions and mutual understanding of those who, according to the theory, communicate their intent and design principles through the interface, a potentially valuable source of explanations about communication problems in HCI.