Regression testing of an evolving software system may involve significant challenges. While, there would be a requirement of maximising the probability of finding out if the latest changes to the system has broken some existing feature, it needs to be done as economically as possible. A particularly important class of software systems are API libraries. Such libraries would typically constitute a very important component of many software systems. High quality requirements make it imperative to continually optimise the internal implementation of such libraries without affecting the external interface. Therefore, it is preferred to guide the regression testing by some kind of formal specification of the library. The testing problem comprises of three parts: computation of test data, execution of test, and analysis of test results. Current research mostly focuses on the first part. The objective of test data computation is to maximise the probability of uncovering bugs, and to do it with as few test cases as possible. The problem of test data computation for regression testing is to select a subset of the original test suite running which would suffice to test for bugs probably inserted in the modifications done after the last round of testing. A variant of this problem is that of regression testing of API libraries. The regression testing of an API is usually done by making function calls in such a way that the sequence of function calls thus made suffices a test specification. The test specification in turn embodies some concept of completeness. In this thesis, we focus on the problem of test sequence computation for the regression testing of API libraries. At the heart of this method lies the creation of a state space model of the API library by reverse engineering it by executing the system, with guidance from an formal API specification. Once the state space graph is obtained, it is used to compute test sequences for satisfying some test specification. We analyse the theoretical complexity of the problem of test sequence computation and provide various heuristic algorithms for the same. State space explosion is a classical problem encountered whenever there is an attempt of creating a finite state model of a program. Our method also faces this limitation. We explore a simple and intuitive method of ameliorating this problem – by simply reducing the size of the state vector. We develop the theoretical insights into this method. Also, we present experimental results indicating the practical effectiveness of this method. Finally, we bring all this together into the design and implementation of a tool called Modest.

O presente trabalho apresenta uma discussão sobre a tese da prioridade analítica da linguagem sobre o pensamento. Essa tese, que estabelece que uma explicação filosófica do pensamento – entendido como aquilo que pode ser verdadeiro ou falso – apenas pode ser obtida por meio da análise da linguagem, é formulada e defendida à luz do que Michael Dummett chamou de teoria do significado. Em seguida, duas reações contrárias à tese da prioridade analítica são consideradas. O núcleo da primeira crítica, capitaneada por John McDowell, é a alegada impossibilidade de uma explicação da linguagem que não se ancore em uma explicação dos pensamentos. Diante disso, McDowell defende uma revisão de nossas pretensões explicativas no que diz respeito à linguagem e ao pensamento. A segunda crítica à tese da prioridade analítica da linguagem sobre o pensamento é formulada a partir da filosofia madura de Gareth Evans. Nesse caso, a crítica não é dirigida à ambição explicativa, e sim a ordem pretendida da explicação. Em vez de explicarmos os pensamentos por meio de uma elucidação do significado das expressões, ele propõe que uma explicação do significado das expressões se dê em termos de uma teoria dos pensamentos concebida de forma independente de uma análise dos significados das expressões. Por fim, o presente trabalho conclui que as críticas consideradas não são bem-sucedidas, e que a posição de Dummett merece ser considerada mais seriamente dentro do debate atual sobre metodologia filosófica. / The present work presents a discussion about the thesis of the priority of language over thought in the order of explanation. This thesis, which establishes that a philosophical explanation of thought, understood as that which can be true or false, can only be obtained through the analysis of language, is formulated and defended in the light of what Michael Dummett called the theory of meaning. Then, two reactions contrary to the thesis of the priority are considered. The core of the first criticism, commanded by John McDowell, is the alleged impossibility of an explanation of language that is not based on an explanation of the thoughts. In view of this, he advocates a revision of our explanatory pretensions in regard to language and thought. The second criticism of the thesis of the priority of language over thought is formulated from the mature philosophy of Gareth Evans. In this case, criticism is not directed at explanatory ambition, but at the intended order of explanation. Instead of explaining thoughts by means of an elucidation of the meaning of expressions, he proposes that an explanation of the meaning of expressions be given in terms of a theory of thoughts conceived independently of an analysis of the meanings of expressions. Finally, the present work concludes that the criticisms analyzed are not successful, and that Dummett's position deserves to be considered more seriously in the current debate on philosophical methodology.

O presente trabalho apresenta uma discussão sobre a tese da prioridade analítica da linguagem sobre o pensamento. Essa tese, que estabelece que uma explicação filosófica do pensamento – entendido como aquilo que pode ser verdadeiro ou falso – apenas pode ser obtida por meio da análise da linguagem, é formulada e defendida à luz do que Michael Dummett chamou de teoria do significado. Em seguida, duas reações contrárias à tese da prioridade analítica são consideradas. O núcleo da primeira crítica, capitaneada por John McDowell, é a alegada impossibilidade de uma explicação da linguagem que não se ancore em uma explicação dos pensamentos. Diante disso, McDowell defende uma revisão de nossas pretensões explicativas no que diz respeito à linguagem e ao pensamento. A segunda crítica à tese da prioridade analítica da linguagem sobre o pensamento é formulada a partir da filosofia madura de Gareth Evans. Nesse caso, a crítica não é dirigida à ambição explicativa, e sim a ordem pretendida da explicação. Em vez de explicarmos os pensamentos por meio de uma elucidação do significado das expressões, ele propõe que uma explicação do significado das expressões se dê em termos de uma teoria dos pensamentos concebida de forma independente de uma análise dos significados das expressões. Por fim, o presente trabalho conclui que as críticas consideradas não são bem-sucedidas, e que a posição de Dummett merece ser considerada mais seriamente dentro do debate atual sobre metodologia filosófica. / The present work presents a discussion about the thesis of the priority of language over thought in the order of explanation. This thesis, which establishes that a philosophical explanation of thought, understood as that which can be true or false, can only be obtained through the analysis of language, is formulated and defended in the light of what Michael Dummett called the theory of meaning. Then, two reactions contrary to the thesis of the priority are considered. The core of the first criticism, commanded by John McDowell, is the alleged impossibility of an explanation of language that is not based on an explanation of the thoughts. In view of this, he advocates a revision of our explanatory pretensions in regard to language and thought. The second criticism of the thesis of the priority of language over thought is formulated from the mature philosophy of Gareth Evans. In this case, criticism is not directed at explanatory ambition, but at the intended order of explanation. Instead of explaining thoughts by means of an elucidation of the meaning of expressions, he proposes that an explanation of the meaning of expressions be given in terms of a theory of thoughts conceived independently of an analysis of the meanings of expressions. Finally, the present work concludes that the criticisms analyzed are not successful, and that Dummett's position deserves to be considered more seriously in the current debate on philosophical methodology.

Acompanha 2 CD-ROM / Orientador: Edmundo Pacheco Hora / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-12T16:17:29Z (GMT). No. of bitstreams: 1 Carpinetti_MiriamEmerickdeSouza_M.pdf: 54528489 bytes, checksum: 814585747f2b52c1fbc81bfd65fec518 (MD5) Previous issue date: 2008 / Resumo: Com interesse em difundir o órgão, instrumento distante do público brasileiro, esta dissertação de mestrado articulará informações práticas de consulta sobre suas características físicas e qualidades expressivas. Não estando o órgão, inserido na atual cultura brasileira, uma vez que há pouca divulgação do instrumento, em face de escassa produção de obras nacionais e pouca literatura em português, esta pesquisa torna-se, assim, um importante referencial para seu estudo. Ela visa prover um material prático de consulta para a compreensão do idiomático do órgão tubular bem como de sua escrita, seu funcionamento e suas características fônicas, utilizando como ilustração, diferentes transcrições da obra "Quadros de uma Exposição" (1874) de Modeste Petrovich Moussorgsky (1839-1881). O trabalho é composto de dois capítulos. No primeiro, são apresentadas informações como a descrição do instrumento, sua notação e técnica interpretativa, ilustradas por exemplos extraídos das transcrições para órgão, no segundo. Neste, comparam-se os diversos procedimentos utilizados nas transcrições publicadas e gravadas, especialmente apontando dentro desse universo, os procedimentos menos fiéis ao texto original. Este trabalho mostrará os elementos de notação, textura, tessitura, dinâmica, registração, resultados tímbricos e acústicos, os quais são muito diversificados, devido ao fato dos autores das transcrições serem oriundos de países europeus que cultivaram, durante séculos, tradições organísticas diferenciadas. É intenção, pois, que esta pesquisa sirva de apoio para a compreensão da arte de registrar, das adaptações que os organistas precisam fazer ao interpretarem obras em diferentes órgãos, assim como para a realização de composições e transcrições idiomáticas. / Abstract: Aiming at exposing the organ, an instrument distant from the Brazilian audiences, this dissertation will deal with practical information for consulting the organ's physical characteristics and its expressive qualities. Due to little exposure, and scarce production of national works for this instrument, together with scarce literature on this subject in Portuguese and the organ's not being included in current Brazilian culture, this research presents itself as an important reference for the study of the organ. It envisages to be a practical research material for the understanding of the pipe organ's idiomatic writing, its functioning and its sound characteristics, these being illustrated by different transcriptions of Modeste Petrovich Mussorgsky's (1839-1881) Pictures at an Exhibition (1874). This project has two chapters. In the first one, data like the description of the instrument, its notation and interpretive techniques are presented; and in the second they are illustrated with examples taken from transcriptions for the organ. In the latter, various procedures utilized in published and commercial transcriptions and recordings are compared, especially pinpointing the procedures which are less faithful to the original text in that universe. This work will show the elements of notation, texture, tessitura, registration, timbre and acoustic results, which are highly varied due to the fact that the authors of such transcriptions having come from different European countries which cultivated differentiated organ traditions along the centuries. The intent of this dissertation is thus to support one in the art of registration, in the adaptations that organists need to make when interpreting pieces on different organs, as well as in the rendering of compositions and idiomatic writings. / Mestrado / Mestre em Música

The theme of this dissertation is “Management of the regeneration of post-industrial areas”. The aim of the work is to identify support mechanisms for the redevelopment of post-industrial areas in the Czech Republic. Such support mechanisms were researched and analysed in those EU countries that have broad and varied experience with the regeneration of post-industrial areas. The most favourable case studies were selected from Germany, with a particular focus given to the districts around the city of Leipzig, and the United Kingdom, highlighting the city of Manchester. For these chosen examples, I have analysed the legislative, institutional, and financial tools of urban regeneration support. One chapter is dedicated to the analysis of the environmental assessment tools for buildings and urban communities as alternative approach to the support of municipal regeneration. Findings from all chapters are contrasted with the analysis of four typical examples of derivation of post-industrial areas in Czech cities, which were chosen as being typical of unsuccessful redevelopments. Based on these examples I have compiled recommendations gained from successful mechanisms for urban regeneration abroad which could be considered and put into practice here in the Czech Republic.

The diploma thesis is elaboration of project documentation of the object Housing for seniors in Brno - Dolní Heršpice. The site is located un the area with the planned development of the city. The object is detached, three-story with a partial basement. The building is divided into five parts. The building is based on concrete foundation pads and strips. The structural construction is a combined column and wall system in technological design as monolithic concrete. The building is designed as a low energy building, with contact insulation (ETICS). The whole building is designed with forced air exchange. An extensive and intensive walkable flat roof is designed. The aim is to create small, barrier-free, community housing with affordable services and support, with a possible life expectancy. Services for the elderly with reduced self-sufficiency and with mild health and mental dysfunctions are considered. The building is equipped with space for accommodation with a capacity of 48 beds, space for eating with a separate kitchen, space for leisure and physical activities, space for basic health and social care and space for administrative and technical facilities. The construction is divided into several buildings, the subject of the thesis is primarily the solution SO.01 - Housing for seniors