Os tubulões a céu aberto são amplamente utilizados como elementos estruturais de fundação de edifícios residenciais nas cidades pequenas e médias do Brasil. Relatam-se as etapas de um projeto de fundações por tubulões desenvolvido em uma área previamente ocupada por construções residenciais antigas. Após cuidadosa demolição e limpeza, deparou-se com o desafio de executar as fundações sem o perigo de danificar as construções adjacentes (tubulões à céu aberto de divisa nos dois lados e no fundo). No projeto, utilizaram-se procedimentos usuais e alguns específicos que refletem a prática corrente nos últimos 10 anos, na região de Campinas, com resultados extremamente satisfatórios. Nos solos porosos e colapsíveis, presentes em várias regiões brasileiras, as fundações não raramente têm apresentado comportamento inadequado, quando o solo é inundado. Com a significativa elevação do seu teor de umidade, esses solos exibem o recalque de colapso, caracterizando-se como colapsíveis. Como já se tem a comprovação da eficiência da compactação do solo para viabilizar o emprego de fundações rasas, por sapatas, em solos colapsíveis (CINTRA, 1998), resolveu-se estudar os possíveis benefícios da criação de tubulões a céu aberto. No campo experimental de Fundações da USP/São Carlos, foram executadas dois tubulões a céu aberto com fuste de diâmetro de 0,50 m e base apoiada à cota - 6,00 m, com diâmetro de 1,50 m e altura de 0,90 m. O primeiro tubulão a céu aberto foi ensaiado na condição não-inundada do solo, na cota inicial de apoio da base e sucessivamente, com a cravação de 0,15 m, 0,30 m e 0,45 m, o que corresponde a 10%, 20% e 30% do diâmetro da base, respectivamente. Observou-se que a cravação majorou a capacidade de carga em 42%, 85% e 12%, respectivamente. O segundo tubulão a céu aberto foi ensaiado com o solo pré-inundado, para quantificar o efeito da colapsibilidade do terreno na redução da capacidade de carga. ) Constatou-se uma redução de 51% a 53% nos valores de capacidade de carga anteriormente obtidos. Mas a carga de colapso, ou capacidade de carga na condição inundada, também teve uma majoração importante, aumentando em 45%, 90% e 135% com a cravação de 10%, 20% e 30% do diâmetro da base, respectivamente. Conclui-se que a cravação de tubulões a céu aberto, inicialmente executados com escavação e concretagem in situ, pode ser uma solução interessante em solos colapsíveis. / The belled piles are largely used as fundation for structural elements of residential buildings in small and medium cities in Brazil. The steps of a foundation design is developed in an area previously occupied by old residential buildings. After a careful demolition and clean up process, the challenger is to build the foundations without the danger of harming the adjacent buildings (Division of belled piles on both side and on the bottom). On the design, some specific and some standard procedures are used, which reflect the current practice over the last 10 years, in the Campinas region, with extremely satisfactory results . In porous and collapsible soil, that can be found in many Brazilian regions, these piles usually have presented an inadequate behavior, when the soil is soaked. With a significant elevation on its moisture content, these soils present the collapse settlement, being characterized as collapsible. Since there is already the confirmation of the compacting process efficacy in making the employment of shallow foundations on collapsible soils feasible (CINTRA, 1998), it was decided to study the possible benefits of driving the belled piles on the improvement of the bearing capacity. At the Experimental Foundation Field of USP/São Carlos, two piles were tested. Both piles were 6,00 m long and had a shaft diameter of 0.50 m. The enlarged bases had a diameter of 1.50 m and a height of 0.90 m. The first pile was tested under the non-soaked condition of the soil, on the initial quota of base support, and then with the 0.15 m, 0.30 m and 0.45 driving, which corresponds to 10%, 20%, and 30% of the base diameter, respectively. It was observed that the driving improved the bearing capacity in 42%, 85%, and 127%, respectively. The second pile was tested on a soaked soil, to quantity the collapsibility effect on the reduction of the bearing capacity. A reduction of 51% to 53% on the values of the bearing capacity previously obtained was observed, but the collapse load, also presented an important improvement, increasing 45%, 90%, and 135% with the driving of 10%, 20%, and 30% of the base diameter, respectively. We can conclude that the driving of belled piles, inittially executed with digging and concreting in situ, may be an interesting solution on collapsible soils.

A busca por formas mais eficientes quanto ao arrasto aerodinâmico de veículos rodoviários resultou recentemente em uma maior quantidade de pesquisas para compreensão do escoamento sobre o veículo quando este apresenta um ângulo de escorregamento aerodinâmico diferente de zero. O presente trabalho apresenta o desenvolvimento de uma metodologia para análise linear de estabilidade do modelo dinâmico do veículo sob manobras de baixa severidade e considerando carregamentos aerodinâmicos. Um modelo dinâmico não-linear simplificado foi também desenvolvido utilizando dados de um veículo típico visando à comparação entre as metodologias. Ensaios experimentais em túnel de vento e simulações de fluidodinâmica computacional foram realizados utilizando-se uma geometria simplificada de um veículo visando à obtenção de valores dos carregamentos aerodinâmicos de força lateral e momento de guinada e à compreensão dos mecanismos de formação dos carregamentos aerodinâmicos. Os resultados obtidos mostram uma boa correlação entre os modelos linear e não-linear e relevante influência dos carregamentos aerodinâmicos de força lateral e momento de guinada na estabilidade estática do sistema. / The research for more efficient shapes regarding road vehicles aerodynamic drag resulted recently in an improved number of researches aiming at the understanding of the flow field over the vehicle when it has an aerodynamic slip angle different of zero. This work presents the development of a methodology for linear stability analysis of a vehicle dynamic model under low severity maneuvers and considering aerodynamic loads. A non-linear dynamic model has also been developed with information from a typical vehicle for comparison between the methodologies. Wind tunnel testing and computational fluid dynamics simulation have been carried out with simplified vehicle geometry in order to measure the aerodynamic side force and yawing moment and provide information for the understanding of the mechanisms generating the aerodynamic loads. The results show a good correlation between the linear and non-linear models and a relevant influence of the aerodynamic side force and yawing moment on the static stability of the system.

Nesta dissertação são analisadas 34 provas de carga estática realizadas em estacas pré-moldadas de concreto, cravadas em diferentes locais da cidade de Curitiba e região metropolitana, sendo a maioria delas na Formação Guabirotuba. Três métodos de previsão da capacidade foram analisados: Aoki – Velloso (1975), Décourt – Quaresma (1978) e Amaral (1982, 1999). Para cada método foram propostos fatores de correção global e/ou parcial que tornam o valor da capacidade de carga mais próximo do valor da carga última obtida pelo critério de Van der Veen (1953). Com base em quatro provas de carga conduzidas até a ruptura, estudou-se a aplicabilidade do método de Van der Veen (1953) e determinou-se um critério para avaliar a extrapolação da curva carga x recalque em ensaios encerrados sem atingir a ruptura. Finalmente fez-se uma análise dos recalques comparando-se os valores medidos com os calculados, para três níveis de carregamento, além da comparação das curvas carga x recalque ajustadas com as experimentais. / This thesis presents the analysis of 34 static loading tests in concrete drive pile, located at different places of the Curitiba city and metropolitan area, in Guabirotuba Formation. Three methods of the bearing capacity prediction were assessed: Aoki – Velloso (1975), Décourt – Quaresma (1978) and Amaral (1982, 1999). For each method is proposed global correction factors and/or partial that turned the bearing capacity value close to the ultimate load obtained for the Van der Veen criteria (1953). Based on four static loading test carried out to failure, the applicability of the Van der Veen criteria was assessed and was determined a rule to evaluate the extrapolation of the load - settlement curve in tests stopped before of the failure. Finally, it was made an analysis of the settlements, where it was compared the observed values and the predicted values, for three loading level, and also a comparison between the experimental load-settlement curve and the predicted load-settlement curve.

Neste trabalho utilizamos o tema gerador relacionado à pontes para construirmos, com o apoio dos professores de arte e de história, discussões históricas sobre a física e a arte do período renascentista por meio de uma sequência didática. Além das discussões históricas, nas atividades também trabalhamos questões referentes à matematização da natureza e à estática dos corpos rígidos. Buscamos na educação humanizadora de Paulo Freire nossa base pedagógica para a construção de nossa sequência valorizando atributos como a criatividade, a imaginação e a experiência em oposição à um ensino que preze a memorização e as repetições excessivas. A segunda parte deste trabalho apresentamos a aplicação da sequência no ensino médio de uma escola pública e a análise qualitativa das aulas, das atividades e de um questionário. / In this work we utilized the themes-generators related to bridges to build, with the support of art and history professors, historical discussions about physics and the art during the renaissance period through a didactic sequence. Besides the historical discussions, in the activities we also worked with questions related to the mathematization of nature and to the static of rigid bodies. We sought in the humanizing education of Paulo Freire our pedagogical basis for the construction of our sequence, valuing attributes like creativity, imagination and the experience as opposed to an education that values memorizing and excessive repetitions. In the second part of this paper we present the application of the sequence in a public high school and the qualitative analysis of the classes, activities and a questionnaire

Os escorregamentos causados por precipitação intensa ocasionam grandes prejuízos a cada estação chuvosa no sudeste brasileiro. Essa dissertação estudou 2 amostras de solos da região serrana do Rio de Janeiro sob uma nova ótica de análise para escorregamentos. As amostras foram coletadas 4 meses após a ocorrência do megadesastre, onde chuvas com precipitação de 325mm em 48 horas causaram mais de 1500 mortes. Em relatos e vídeos obtidos de movimentos de massa que ocorreram nesse evento foi possível observar que o solo apresentou comportamento de um líquido denso e viscoso, escoando pelas encostas da cidade, ou seja, o solo, encharcado pelas chuvas intensas que ocorreram na região, sofreu liquefação. Esse material viscoso formado pela mistura de solo+água que foi caracterizado através da utilização da reologia. Para isso foram apresentados os conceitos da reologia e dos ensaios reométricos, e as possíveis aplicações para solos e na caracterização de corridas de lama. Foram utilizados três ensaios para caracterizar o solo no estado fluido, que foi o squeeze flow, o reômetro de torque com reometria planetária, e o reômetro de placas paralelas. O principal objetivo para utilização desses ensaios é a praticidade para realização dos ensaios, que tem como características: a rapidez na execução, a coleta de dados é realizada automaticamente, apresentam receptibilidade e a facilidade na execução. Com os resultados obtidos foi possível observar a mudança de comportamento do solo (de um material com comportamento elástico para um material como um fluxo de lama) com a elevação da umidade, para os dois ensaios. Os resultados demonstram que o valor do limite de liquidez calculado através do aparelho de Casagrande é confirmado com esses novos aparelhos, ii sendo que, para esses aparelhos é visível a mudança de comportamento que define o limite de liquidez. Através dos resultados também foi possível determinar que o solo em estado fluido tem seu comportamento regido pelo modelo de Herschel Bulkley. Para tornar os resultados obtidos aplicáveis foi apresentado um capítulo ligando os resultados obtidos da reometria com a possibilidade do solo sofrer liquefação, aliado com os resultados obtidos dos ensaios de caracterização geotécnica. Sendo realizadas análises de estabilidade com os resultados obtidos, correlacionando a inclinação do talude, o nível dágua e a ocorrência da liquefação. / Landslide caused by rainfalls cause major damage each rainy season in southeastern Brazil. This dissertation studied two soil samples from the mountainous region of Rio de Janeiro in a new light analysis for landslides. Samples were collected four months after the occurrence of disaster, when rainfall with intensity of 325mm in 48 hours caused more than 1,500 deaths. In reports and video obtained from mass movements that occurred at this event was observed that the soil responded as a dense liquid, viscous draining the citys landscape. The drenched soil, by heavy rains that occurred in the region, suffered liquefaction. This viscous material formed by mixture of soil and water that was characterized by the use of rheology. In this dissertation was presented the concepts of rheology and rheometric tests for application in soils and characterization of fluid movements. Tree different rheometric tests were performed to characterize the soil in the fluid state, which was the squeeze flow, torque rheometer with planetary geometry and parallel plate rheometer. The main objective of these tests is to use the convenience for the tests, that presents the follow characteristics: the speed of execution, data collection is performed automatically and the testes present repeatability apart from ease of application. With the results we observed the change of soil behavior (of a material with elastic properties for a material that presents the behavior as a mud flow) with increasing humidity for the tests. The results show that the value of the liquidity limit calculated by the Casagrande apparatus is confirmed with these new devices, furthermore with the use of these devices is visible the behavior change that defines the liquid limit. iv Was determined that the Herschel Bulkley model is the one that best represents the behavior of the soil in the fluid state. Was presented a chapter with an application of the results obtained by adding the results of the rheometer with the results of geotechnical characterization tests to determine the possibility of soil suffer liquefaction. To this aim, were performed stability analysis considering the results obtained, correlating the slope inclination, the water level and the occurrence of liquefaction.

Il existe de nombreuses approches développées par la communauté Implicit Computational Complexity (ICC) permettant d'analyser les ressources nécessaires à la bonne exécution des algorithmes. Dans cette thèse, nous nous intéressons plus particulièrement au contrôle des ressources à l'aide d'interprétations sémantiques. Après avoir rappelé brièvement la notion de quasi-interprétation ainsi que les différentes propriétés et caractérisations qui en découlent, nous présentons les différentes avancées obtenues dans l'étude de cet outil : nous étudions le problème de la synthèse qui consiste à trouver une quasi-interprétation pour un programme donné, puis, nous abordons la question de la modularité des quasi-interprétations. La modularité permet de diminuer la complexité de la procédure de synthèse et de capturer un plus grand nombre d'algorithmes. Après avoir mentionné différentes extensions des quasi-interprétations à des langages de programmation réactifs, bytecode ou d'ordre supérieur, nous introduisons la sup-interprétation. Cette notion généralise la quasi-interprétation et est utilisée dans des critères de contrôle des ressources afin d'étudier la complexité d'un plus grand nombre d'algorithmes dont des algorithmes sur des données infinies ou des algorithmes de type diviser pour régner. Nous combinons cette notion à différents critères de terminaison comme les ordres RPO, les paires de dépendance ou le size-change principle et nous la comparons à la notion de quasi-interprétation. En outre, après avoir caractérisé des petites classes de complexité parallèles, nous donnons quelques heuristiques permettant de synthétiser des sup-interprétations sans la propriété sous-terme, c'est à dire des sup-interprétations qui ne sont pas des quasi-interprétations. Enfin, dans un dernier chapitre, nous adaptons les sup-interprétations à des langages orientés-objet, obtenant ainsi différents critères pour contrôler les ressources d'un programme objet et de ses méthodes / There are several approaches developed by the Implicit Computational Complexity (ICC) community which try to analyze and control program resources. In this document, we focus our study on the resource control with the help of semantics interpretations. After introducing the notion of quasi-interpretation together with its distinct properties and characterizations, we show the results obtained in the study of such a tool: We study the synthesis problem which consists in finding a quasi-interpretation for a given program and we tackle the issue of quasi-interpretation modularity. Modularity allows to decrease the complexity of the synthesis procedure and to capture more algorithms. We present several extensions of quasi-interpretations to reactive programming, bytecode verification or higher-order programming. Afterwards, we introduce the notion of sup-interpretation. This notion strictly generalizes the one of quasi-interpretation and is used in distinct criteria in order to control the resources of more algorithms, including algorithms over infinite data and algorithms using a divide and conquer strategy. We combine sup-interpretations with distinct termination criteria, such as RPO orderings, dependency pairs or size-change principle, and we compare them to the notion of quasi-interpretation. Using the notion of sup-interpretation, we characterize small parallel complexity classes. We provide some heuristics for the sup-interpretation synthesis: we manage to synthesize sup-interpretations without the subterm property, that is, sup-interpretations which are not quasi-interpretations. Finally, we extend sup-interpretations to object-oriented programs, thus obtaining distinct criteria for resource control of object-oriented programs and their methods

Informação relacionada a concertos de bugs tem sido explorada na construção de preditores de bugs cuja função é o suporte para a verificação de sistemas de software identificando quais elementos, como arquivos, são mais propensos a bugs. Uma grande variedade de métricas estáticas de código e métricas de mudança já foi utilizada para construir tais preditores. Dos muitos preditores de bugs propostos, a grande maioria foca em sistemas orientados à objeto. Apesar de orientação a objetos ser o paradigma de escolha para a maioria das aplicações, o paradigma procedural ainda é usado em várias — muitas vezes cruciais — aplicações, como sistemas operacionais e sistemas embarcados. Portanto, eles também merecem atenção. Essa dissertação extende o trabalho na área de predição de bugs ao avaliar e aprimorar preditores de bugs para sistemas procedurais de software. Nós proporcionamos três principais contribuições: (i) comparação das abordagens existentes de predição de bugs no contexto de sistemas procedurais, (ii) proposta de uso dos atributos de qualidade de software como atributos de predição no contexto estudado e (iii) avaliação dos atributos propostos em conjunto com a melhor abordagem encontrada em (i). Nosso trabalho provê, portanto, fundamentos para melhorar a performance de preditores de bugs no contexto de sistemas procedurais. / Information regarding bug fixes has been explored to build bug predictors, which provide support for the verification of software systems, by identifying fault-prone elements, such as files. A wide range of static and change metrics have been used as features to build such predictors. Many bug predictors have been proposed, and their main target is objectoriented systems. Although object-orientation is currently the choice for most of the software applications, the procedural paradigm is still being used in many—sometimes crucial—applications, such as operating systems and embedded systems. Consequently, they also deserve attention. This dissertation extends work on bug prediction by evaluating and tailoring bug predictors to procedural software systems. We provide three key contributions: (i) comparison of bug prediction approaches in context of procedural software systems, (ii) proposal of the use of software quality features as prediction features in the studied context, and (iii) evaluation of the proposed features in association with the best approach found in (i). Our work thus provides foundations for improving the bug prediction performance in the context of procedural software systems.

O evento de previsões do comportamento carga-recalque de uma estaca executada em solo predominantemente arenoso foi apresentado no 8° Seminário de Engenharia de Fundações Especiais e Geotecnia (SEFE8). As previsões utilizaram sondagens CPT, DMT e SPT realizadas no campo experimental de Araquari, em Santa Catarina. A estaca utilizada para o evento foi do tipo escavada com polímero, diâmetro de 100cm e comprimento de 24m. Foram recebidos pelo comitê organizador 73 previsões provenientes de 20 países, com estimativas do comportamento carga-recalque da estaca, da capacidade de carga total, lateral e de ponta e a distribuição de carga ao longo do fuste até a ruptura, definida pelo recalque de 100 mm (w/D = 10%), com um resumo dos métodos e considerações. Os dados das previsões foram comparados aos resultados obtidos em campo pela prova de carga estática da estaca instrumentada. As previsões foram majoritariamente conservadoras e o ensaio mais utilizado para determinação dos parâmetros do solo foi o CPT, tanto no meio acadêmico quanto no prático Diversos métodos foram utilizados, porém mesmo previsões que utilizaram o mesmo método apresentaram variabilidades nos resultados. Baixos valores de desvio na capacidade de carga total não significaram pequenos desvios de lateral e de ponta, mas uma combinação de desvios positivos e negativos desses. A maioria das estimativas subestimou a capacidade lateral e superestimou a de ponta. O método de Verbrugge (1981) foi utilizado em duas das cinco previsões com menores desvios de capacidade total. As curvas carga-recalque e carga-profundidade foram avaliadas quanto aos desvios médios absolutos e formatos, dados pela variância. As curvas carga-recalque com médias de até 10% utilizaram Elementos Finitos e o software UniPile, e o menor valor de variância utilizou Verbrugge (1981). As curvas carga-profundidade com médias de até 10% utilizaram Verbrugge (1981), Randolph e Wroth (1978) e Gwizdala e Steczniewski (2003), e o menor valor de variância utilizou o software UniPile. / The prediction event of load-settlement behavior of a pile built in predominantly sandy soil was presented at the 8th Foundation Engineering Seminar and Special Geotechnical (SEFE8). The predictions used tests of CPT, DMT and SPT accomplished in Araquari experimental field, in Santa Catarina. A bored pile with polymer, diameter of 100cm and length of 24m was the subject of the event. The organizing committee received 73 predictions from 20 countries, with estimates of load-settlement behavior of the pile, the total, shaft and base load capacity and the load distribution along the shaft until failure, defined by settlement of 100 mm (W/D = 10%), with a brief description of methods and considerations. Data from the predictions were compared to the results obtained in the field by static load test of the instrumented pile. The predictions were mostly conservative and the test most used for soil parameters prediction was the CPT, both in academia as in practice. Several methods were used, but even predictions that used the same method showed variability in the results Low error values in the total load capacity not meant small shaft and base errors, but a combination of positive and negative errors of these. Most estimates underestimated the shaft capacity and overestimated the base. The Verbrugge (1981) method was used in two of five predictions with lower errors of total capacity. The curves were analyzed for absolute average deviation and formats, evaluated by the variance. The load-settlement distribution with average up to 10% used Finite Element and UniPile software, and the lowest value of variance used Verbrugge (1981). The load-depth distribution with average up to 10% used Verbrugge (1981), Randolph and Wroth (1978) and Gwizdala and Steczniewski (2003), and the lowest value of variance used the UniPile software.

“Electrostatic textile surfaces” is a design example of surfaces which have the ability to interact to human action by movement. The design exploration was directed by the intention of achieving movement through static electricity. During this project textile techniques such as weaving and hand-tufting have been explored in combination with unconventional materials and functions and used as methods to design the surfaces. The findings from the design process regard the categorization of the yarns through the material exploration, the development of a design method through the experimentation of the technique and the surface appearance through the materialization of the method. The two final surfaces are exhibited horizontally and vertically in relation to the ground. The scale of the final structures is related to the body scale. One can electrify the surfaces by walking around or through them letting an open dialog to take place depended on personal interpretations. / Program: Master Programme in Fashion and Textile Design

<p>In modern approach to software development, a great importance is given to monitoring &nbsp;of software quality in early development phases. Therefore, static analysis becomes more important. Furthermore, software projects are becoming more complex and heterogeneous. These characteristics are reflected in a diversity of functionalities and &nbsp;variety of computer languages and the technologies used for their development. Because of that consistency in static analysis becomes more important than it was earlier.</p><p>In this dissertation SSQSA: Set of Software Quality Static Analyzers is described. The aim &nbsp;of the SSQSA framework&nbsp; is consistent static analysis. This goal is reached by introducing new intermediate source code representation called eCST: enriched Concrete Syntax Tree. The dissertation mostly focuses on eCST, intermediate representations derived from it, and their generation with description of the&nbsp;<br />tools involved in it.</p><p>The main characteristic of eCST is language independence which gives to SSQSA framework two-level extensibility: supporting a new language and supporting a new &nbsp;analysis. This leads to eciency of adding both level supports and&nbsp;consistency of added functionalities.</p><p>To prove the concept, support for more than 10 characteristic languages was introduced. Furthermore, characteristic static analysis techniques (software metrics calculation,&nbsp;<br />code-clone detection, etc.) were implemented and integrated in the framework.&nbsp;</p><p>Established SSQSA framework provides the infrastructure for the further development of the complete platform for software quality control.</p> / <p>U modernim pristupima razvoju softvera veliki značaj pridaje se kontroli kvaliteta softvera u ranim fazama razvoja.&nbsp;Zbog toga, statička analiza postaje sve značajnija. Takođe,&nbsp;softverski proizvodi postaju sve kompleksniji i heterogeni.&nbsp;Ove karakteristike se ogledaju u raznovrsnosti jezika i&nbsp;tehnologija koje se koriste u procesu razvoja softvera. Zbog&nbsp;toga, konzistentnost u statičkoj analizi dobija veći značaj&nbsp;nego &scaron;to je to bio slučaj ranije.</p><p>U ovoj disertaciji opisan je SSQSA skup statičkih analizatora&nbsp;za kontrolu kvaliteta (eng. Set of Software Quality Static&nbsp;Analyzers). Namena SSQSA okvira je konzistentna statička&nbsp;analiza. Cilj se postiže uvođenjem nove međureprezentacije&nbsp;<br />izvornog koda nazvane eCST (obogaćeno konkretno sintaksno stablo, eng. enriched &nbsp;Concrete Syntax Tree).&nbsp;Fokus disertacije je primarno na eCST reprezenataciji koda,&nbsp;<br />reprezentacijama izvedenjim iz eCST i procesu njihovog&nbsp;generisanja, sa opisom oruđa angažovanim u ovim procesima.</p><p>Osnovna i najbitnija karakteristika eCST reprezenatacije&nbsp;je nezavisnost od jezika u kom je izvorni kod pisan, &scaron;to&nbsp;SSQSA okviru daje pro&scaron;irivost na dva nivoa: kroz podr&scaron;ku&nbsp;za nove jezike i kroz podr&scaron;ku za nove analize. Ovo dovodi do&nbsp;efikasnog uvođenja funkcionalnosti na oba navedena nivoa,&nbsp;kao i do konzistentnosti uvedenih funkcionalnosti.&nbsp;</p><p>Kao dokaz ispravnosti koncepta, podr&scaron;ka za vi&scaron;e od 10&nbsp;ulaznih jezika je uvedena. Takođe, implementirane su karakteristične tehnike statičke analize (izračunavanje softverskih&nbsp;metrika, otkrivanje duplikata u kodu, itd.) i integrisane u&nbsp;SSQSA okvir.&nbsp;</p><p>Na opisani način, postavljanjem SSQSA okvira, obezbeđena&nbsp;je infrastruktura za dalji razvoj kompletne platforme za kontrolu kvaliteta softvera.&nbsp;</p>