Made available in DSpace on 2019-03-30T00:14:25Z (GMT). No. of bitstreams: 0 Previous issue date: 2017-12-19 / Strategic decisions have a far-reaching effect on the environment and the organization itself, however, they need strategic diagnosis. Sometimes decision makers, lacking knowledge of the literature, delay or make decisions that might not have been the best. This work aims to mitigate this problem by proposing a method that can help the decision maker. The solution is based on two tools in the field of business strategy: the SWOT matrix (strengths and weaknesses in internal analysis and opportunities and threats in external analysis) and the map of strategic positions (survival, maintenance, growth and development) with support from Multi-Attribute Global Inference of Quality (MAGIQ) multi-criteria analysis tool (MCCAFFREY & KOSKI, 2006). Thus, depending on the situation of the strategic diagnosis in which the organization is found, the solution would indicate what possible strategic decisions the organization should adopt. A computational tool using a methodology for feeding, data filtering, positioning and strategy selection, including input and output reports is proposed and applied to five case studies. Keywords: SWOT Matrix. StrategicPosture. MulticriteriaAnalysis. MAGIQ. C# language / Decisões estratégicas são aquelas que têm um efeito em longo alcance no meio ambiente e na própria organização, entretanto, necessitam de um diagnóstico estratégico. Por vezes, os decisores, por desconhecimento da literatura, demoram e ou tomam decisões que poderiam não ter sido as melhores. Este trabalho visa mitigar este problema, propondo um método que possa auxiliar o tomador de decisão. A solução se baseia em duas ferramentas do campo da estratégia empresarial: a matriz SWOT (pontos fortes e fracos na análise interna e oportunidades e ameaças na análise externa) e o mapa de posturas estratégicas (sobrevivência, manutenção, crescimento e desenvolvimento) com apoio da ferramenta de análise multicritério Multi-Attribute Global Inference of Quality (MAGIQ). Assim, dependendo da situação do diagnóstico estratégico em que a organização se encontra, a solução indicaria que possíveis decisões estratégicas a organização deveria adotar. Um sistema computacional com uma metodologia de alimentação e filtragem de dados, posicionamento e seleção de estratégia, incluindo relatórios de entrada e saída é apresentado e aplicado a cinco estudos de caso. Palavras-chave: Matriz SWOT. Posturas Estratégicas. Análise Multicritério. MAGIQ. Linguagem C#

Submitted by Geyciane Santos (geyciane_thamires@hotmail.com) on 2015-07-23T13:51:53Z No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-23T15:49:26Z (GMT) No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-23T15:52:49Z (GMT) No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) / Made available in DSpace on 2015-07-23T15:52:49Z (GMT). No. of bitstreams: 1 Dissertação - Mikhail Yasha Ramalho Gadelha.pdf: 1839545 bytes, checksum: 9f5e7d75af46b461d8ad6837ce6ad0be (MD5) Previous issue date: 2013-12-20 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The use of embedded systems, computational systems specialized to do a function in larger systems, electronic or mechanical, is growing in the daily life, and it is becoming increasingly important to ensure the robustness of these systems. There are several techniques to ensure that a system is released without error. In particular, formal verification is proving very effective in finding bugs in programs. In this work, we describe the formal verification for C++ Programs and correctness proof by mathematical induction. Both techniques will be developed using the tool Efficient SMT-Based Context-Bounded Model Checker (ESBMC), a model checker based on satisfiability modulo theories and first order logic. The experiments show that the tool can be used to check a wide range of applications, from simple test cases to commercial applications. The tool also proved to be more efficient than other models checkers to verify C++ programs, finding a greater number of bugs, and supporting a larger number of the features that the language C++ has to offer, in addition to being able to prove several properties, using the method of mathematical induction. / A utilização de sistemas embarcados, sistemas computacionais especializados para realizar uma função em sistemas maiores, eletrônicos ou mecânicos, vem crescendo no dia a dia das pessoas, e vem se tornando cada vez mais importante garantir a robustez desses sistemas. Existem diversas técnicas para garantir que um sistema seja lançado sem erros. Em especial, a verificação formal de programas está se mostrando efetiva na busca por falhas. Neste trabalho, serão descritos a verificação formal de programas C++ e a prova de corretude por indução matemática. Ambas as técnicas serão desenvolvidas utilizando a ferramenta Efficient SMTBased Context-Bounded Model Checker (ESBMC), um verificador de modelos que se baseia em teorias de satisfabilidade de fórmulas proposicionais e de lógica de primeira ordem. Os experimentos mostram que a ferramenta pode ser utilizada para verificar uma ampla gama de aplicações, de casos simples à aplicações comerciais. A ferramenta também mostrou-se superior em comparação com outros verificadores na verificação de programas C++, encontrando um maior número de erros e suportando um número superior das funcionalidades que a linguagem C++ tem a oferecer, além de ser capaz de provar diversas propriedades (por exemplo, laços invariantes), utilizando a técnica de indução matemática.