Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação formal em notação Z, produzir uma implementação dessa especificação em Java. Essa metodologia centra-se na geração do esqueleto da aplicação Java e na instrumentação desse esqueleto com mecanismos de verificação de condições (invariantes, pré e pós-condições) e rastreamento de violações dessas condições. Através desses mecanismos, possibilita-se intercalar desenvolvimento formal e informal no processo global de desenvolvimento de software. O segundo objetivo é desenvolver uma ferramenta que implemente parte dessa metodologia, produzindo uma implementação parcial que deverá ser complementada pelo usuário. / Formal specifications are useful for describing what a system should do, without defining how, and, owing to its formal nature, it is possible to analyse them systematically. However useful formal specifications are, their usage as part of the software development process is rather rare. This is, in part, due to the scarcity of both methodologies and tools that support this development. The first goal of this work is to define a software development methodology that enables the developer to produce a Java application from a formal specification written in Z. This methodology will rely strongly on the generation of Java application skeletons and instrumentation of the generated code with means of verifying conditions (invariants, pre and post-conditions) e tracing violations of these conditions. Through this mechanisms, it is possible to mix formal and informal development in the global software development process. The second goal of this work is to develop a tool that will implement part of this methodology, producing a partial implementation that must be complemented by the developer.

Esse trabalho está dividido em duas partes. Na primeira realizamos a transcrição de um manuscrito inédito de Mário de Andrade intitulado \"Síncopa\", pertencente à série \"Manuscritos do autor\", do Arquivo Mário de Andrade, hoje localizado no Instituto de Estudos Brasileiros - IEB/USP. Trata-se de um conjunto de anotações diversas sobre o assunto, feitas ao longo do tempo e ajuntadas no arquivo pessoal do poeta e musicólogo. À transcrição desse conjunto acrescentei análises, contextualização das notas e articulações à bibliografia publicada do autor. Em uma segunda parte, construo minha tese sobre a síncopa do Brasil a partir do desenvolvimento das ideias e da metodologia exposta no manuscrito de Mário de Andrade, procurando sustentá-la através de análises diversas da estrutura rítmica da música popular brasileira e da síncopa em particular. / This dissertation is divided in two parts. In the first one I make a transcription of an unpublished manuscript by Mário de Andrade titled \"Syncopation\", belonging to the series \"Author\'s Manuscripts\" from the Mário de Andrade Archives, now located at the Institute of Brazilian Studies - IEB/USP. This manuscript consists in a collection of various annotations about the subject, made in several periods and gathered in the personal files of the poet and musicologist. To the transcription of this collection I added analyses, a contextualization of the annotations, and articulations with the published biography of the author. In the second part, I elaborate my thesis about syncopation in Brazil based on a development of the ideas and methodology presented in Mário de Andrade\'s manuscript, and seek to demonstrate it with various analyses of the rhythmic structure of Brazilian popular music, in particular of syncopation.

Este trabalho tem como objetivo identificar, investigar e analisar, a partir da notação musical não tradicional, questões interpretativas relacionadas a produção coral de Lindembergue Cardoso (1939-1989). Como parte dos procedimentos metodológicos, realizamos pesquisa documental e bibliográfica para o levantamento da produção coral a partir dos catálogos existentes que se referem ao compositor. Levantamos um total de 81 obras corais e, após a visita a diversos acervos para a localização das partituras das obras, com destaque para o Memorial Lindembergue Cardoso - localizado na Universidade Federal da Bahia -, identificamos 30 obras que fazem uso de novas grafias e que constituem o corpus de nossa pesquisa. Nos dois capítulos iniciais do trabalho apresentamos a trajetória coral do compositor e aspectos selecionados das práticas corais internacionais do século XX, com ênfase nas mudanças ocorridas a partir de 1950, bem como a conexão dessas mudanças com os movimentos brasileiros de vanguarda, com destaque para o Grupo de Compositores da Bahia, do qual L. Cardoso foi membro-fundador. O terceiro capítulo traz conceituação teórica da notação musical não tradicional aplicada às obras analisadas e apresenta tabelas que contêm todos os símbolos notacionais não tradicionais encontrados no corpus da pesquisa, com seus respectivos significados. O quarto capítulo é composto pelo índice cronológico comentado, no qual apresentamos todas as obras da pesquisa, destacando aspectos estruturais, contextuais e notacionais. No quinto capítulo tratamos das sonoridades vocais exploradas nas obras e apresentamos o relato de experiência sobre o trabalho de montagem da peça Caleidoscópio Op. 40, com o Coral da ECA-USP, no qual atuamos como regente assistente. Propusemos uma discussão, a partir do ponto de vista do regente coral, sobre questões relacionadas à prática interpretativa desse tipo de repertório, tais como: a forma de leitura de partituras com novas grafias pelo coralista de hoje; como é construída a relação dos intérpretes com uma estética pouco familiar; e quais os processos de preparação e ensaio para execução de obras com caráter experimental. / This research aims to identify, investigate and analyze, from a non-traditional musical notation, interpretative issues related to the choral production of the composer Lindembergue Cardoso (1939-1989). As part of the methodological procedures, we have reviewed documents as well as his bibliography in order to gather information of his choral production. We have come to a total of 81 choral pieces and, after visiting many collections in order to find the musical scores, including the Lindembergue Cardoso Memorial at Bahia Federal University, we identified 30 pieces which make use of new types of notation. This is what constitutes the corpus of our research. On the first two chapters we present the composer`s choral trajectory, and selected aspects of the 20th century international choral standards, highlighting the occurred changes from 1950, as well as the connection between those changes with Brazilian avant-garde, especially the Composer\'s Group of Bahia, of which L. Cardoso was a founder and member. The third chapter brings over the theoretical background on non-traditional musical notation applied to the analyzed pieces and displays tables containing all the non-traditional notation symbols found in this research, with their respective meanings. The fourth chapter is composed of a chronological index, in which all the works are commented on their structural, contextual and notational aspects. On the fifth chapter we focus on the vocal sonorities retreated in the works and present the account of the experience on the setting of the play Caleidoscópio Op. 40, along with the ECA-USP Choir, in which we performed as the assistant conductor. We have proposed a discussion, from the choral conductor point of view, about matters related to the interpretative experience for this kind of repertoire, such as: the way in which the chorister can read the musical scores with the new type of notation; how to build the connection between the interpreters and such a low familiar esthetic; and which the processes of preparation and rehearsal aiming the execution of experimental works.

A presente dissertação expõe um estudo analítico da Sequenza I, para flauta solo, escrita pelo compositor italiano Luciano Berio (1925-2003), com foco nas duas edições da obra. A primeira, de 1958, faz uso de notação proporcional e foi publicada pela Editora Suvini Zerboni. Já em 1992, surge uma edição revisada pelo compositor, fazendo uso de notação rítmica tradicional, e que foi publicada pela Universal Edition. Dentre as diversas motivações para a realização deste trabalho, podemos citar a peculiaridade da reescritura da obra pelo próprio compositor, 34 anos mais tarde, focando suas alterações substancialmente na notação rítmica; um levantamento de questões referentes às práticas interpretativas com foco na obra para flauta transversal; e a representatividade da Sequenza I como um cânone do repertório para flauta, cujo estudo é indispensável ao flautista do século XXI. Colocando-nos tanto no papel de intérprete quanto de analista, buscamos reflexões acerca das práticas interpretativas, visto que procuramos nos desenvolver no domínio de ambas as áreas. Na conclusão, observamos haver um relacionamento de colaboração mútua entre análise musical e performance que realmente esclarece aspectos estruturais, e uma influência da experiência de Berio junto à composição eletroacústica na escrita desta obra para instrumento acústico. / This thesis presents an analytical study of Sequenza I for solo flute, by the Italian composer Luciano Berio (1925-2003), focusing on two editions of the work. The first one, from 1958, uses proportional notation and was published by Suvini Zerboni Editions. The second one, published by Universal Edition in 1992, was reviewed by the composer and uses traditional rhythmic notation. Among various motivations for carrying out this work, I mention the peculiarity of a composer rewriting his own work 34 years later, centering his changes mainly in the rhythmic notation; a survey of issues regarding interpretative practices and focusing on works for flute; and the representativity of Sequenza I as a canon of the flute repertoire, which study is indispensable to the Twentieth Century flautist. Placing myself both in the role of performer and analyst, I look for reflections concerning performance practices, as I seek to develop myself in both fields. In conclusion, I found a relationship of mutual collaboration between musical analysis and performance, which really clarifies structural aspects; and an influence of Berio\'s experience within electroacoustic composition in writing this piece for an acoustic instrument

A presente dissertação expõe um estudo analítico da Sequenza I, para flauta solo, escrita pelo compositor italiano Luciano Berio (1925-2003), com foco nas duas edições da obra. A primeira, de 1958, faz uso de notação proporcional e foi publicada pela Editora Suvini Zerboni. Já em 1992, surge uma edição revisada pelo compositor, fazendo uso de notação rítmica tradicional, e que foi publicada pela Universal Edition. Dentre as diversas motivações para a realização deste trabalho, podemos citar a peculiaridade da reescritura da obra pelo próprio compositor, 34 anos mais tarde, focando suas alterações substancialmente na notação rítmica; um levantamento de questões referentes às práticas interpretativas com foco na obra para flauta transversal; e a representatividade da Sequenza I como um cânone do repertório para flauta, cujo estudo é indispensável ao flautista do século XXI. Colocando-nos tanto no papel de intérprete quanto de analista, buscamos reflexões acerca das práticas interpretativas, visto que procuramos nos desenvolver no domínio de ambas as áreas. Na conclusão, observamos haver um relacionamento de colaboração mútua entre análise musical e performance que realmente esclarece aspectos estruturais, e uma influência da experiência de Berio junto à composição eletroacústica na escrita desta obra para instrumento acústico. / This thesis presents an analytical study of Sequenza I for solo flute, by the Italian composer Luciano Berio (1925-2003), focusing on two editions of the work. The first one, from 1958, uses proportional notation and was published by Suvini Zerboni Editions. The second one, published by Universal Edition in 1992, was reviewed by the composer and uses traditional rhythmic notation. Among various motivations for carrying out this work, I mention the peculiarity of a composer rewriting his own work 34 years later, centering his changes mainly in the rhythmic notation; a survey of issues regarding interpretative practices and focusing on works for flute; and the representativity of Sequenza I as a canon of the flute repertoire, which study is indispensable to the Twentieth Century flautist. Placing myself both in the role of performer and analyst, I look for reflections concerning performance practices, as I seek to develop myself in both fields. In conclusion, I found a relationship of mutual collaboration between musical analysis and performance, which really clarifies structural aspects; and an influence of Berio\'s experience within electroacoustic composition in writing this piece for an acoustic instrument

A tablatura é um formato de notação musical alternativo para instrumentos de corda. Ela contém a posição exata (corda e casa) que necessita ser tocada para produzir um som desejado. A conversão da notação musical padrão (partitura) para uma tablatura de violão, também conhecida como transcrição, não é um processo simplificado. A razão é que cada nota da notação musical padrão pode ser tocada em diferentes posições no braço do violão. Desta forma este problema pode ser classificada como um problema de otimização combinatório. Neste trabalho, foi empregado um estudo comparativo de diferentes algoritmos: A*, algoritmos genéticos (AG), algoritmos genéticos com uso de subpopulações (AG-SP), otimização por colônia de formigas (ACO), e evolução diferencial (ED). Heurísticas baseadas nas buscas locais 2-opt e 3-opt para as abordagens AG, AG-SP e ED também foram inclusas. Os resultados experimentais com um conjunto de dados de 87 músicas monofônicas demonstraram que os algoritmos ACO, AG-SP 2-opt e AG 2-opt apresentaram os melhores resultados. Por fim, cada abordagem foi estatisticamente comparada utilizando o teste ANOVA em conjunto com o pós-teste de Tukey (Tukey post hoc), onde as análises demonstraram que há diferenças significativas entre os algoritmos avaliados. / A tablature is an alternative music notation format for string instruments. It contains the exact position (string and fret) witch needs to be played to produce the desired sound. The conversion of the musical staff notation (sheet music) to a guitar tablature, also known as transcription, is not a straightforward process. The reason is that each note on the music notation format can be played in different positions of the guitar fretboard. So this problem can be classified as a combinatorial optimization problem. In this work, we have employed a comparative study of different algorithms: A*, genetic algorithms (AG), genetic algorithms with use of subpopulations (AG-SP), ant colony optimization (ACO) and differential evolution (ED). I was also included heuristics based on local search 2-opt and 3-opt in the aproaches AG, AG-SP and ED. The experimental results with a dataset of 87 monophonic musics indicated that the approaches ACO, AG-SP 2-opt and AG 2-opt obtained the best results. Finally, each approach were statistically compared using the ANOVA with the Tukey post hoc, where the analysis indicated that there are significant differences between the evaluated algorithms.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-12-07T12:54:06Z No. of bitstreams: 1 arquivototal.pdf: 1986112 bytes, checksum: 4f03fdfe4b28baad2cf9829f54857dfc (MD5) / Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-12-07T12:54:36Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 1986112 bytes, checksum: 4f03fdfe4b28baad2cf9829f54857dfc (MD5) / Made available in DSpace on 2015-12-07T12:54:36Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1986112 bytes, checksum: 4f03fdfe4b28baad2cf9829f54857dfc (MD5) Previous issue date: 2015-02-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper deals with some peculiarities involving mathematical writing that generate many communication problems through different perspectives. In a time where the Internet is increasingly used and where it is common to see people on the streets carrying tablet computers, smartphones and even laptops, it is unacceptable that there is no simple and common knowledge way to insert a mathematic equation on a web search. Initially we address the interaction between people with special needs, especially those who make use of applications or devices for easy communication, then treat the virtual communication applied to the form of distance education, whether instantaneous or not instantaneous. Following deal about differences between Mathematics written in Portuguese and other languages as well as inconsistencies in mathematical notation observed in Brazil. Then treat the common text input forms used in Information and Communication Technologies to finish with a rough draft agreement that meets the needs exposed at work. / Este trabalho aborda algumas peculiaridades envolvendo a escrita matemática que geram problemas de comunicação diversos através de diferentes perspectivas. Em uma época onde a Internet é cada vez mais usada e na qual é comum ver pessoas nas ruas portando tablets, smartphones e mesmo computadores portáteis, é inaceitável que não exista uma forma simples e de conhecimento comum para se inserir uma equação matemática em um site de busca.Inicialmente abordamos a interação entre portadores de necessidades especiais, principalmente os que façam uso de aplicativos ou dispositivos para facilitar sua comunicação, em seguida tratamos da comunicação virtual aplicada à modalidade de educação à distância, quer seja instantânea ou não instantânea. Na sequência tratamos sobre divergências entre a escrita matemática na língua portuguesa e outras línguas bem como inconsistências na notação matemática observadas no Brasil. Tratamos então das formas de inserção de texto comuns usadas nas Tecnologias da Informação e Comunicação para finalizar com uma proposta rudimentar de convenção que atenda às necessidades expostas durante o trabalho.

Made available in DSpace on 2015-12-10T14:22:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-06-17. Added 1 bitstream(s) on 2015-12-10T14:28:17Z : No. of bitstreams: 1 000853765.pdf: 25092409 bytes, checksum: ee596de96c69d0ccf11637fbb7b983f0 (MD5) / Procuramos neste trabalho discutir aspectos da notação para percussão que se conectam a uma busca pelo novo na música de Gilberto Mendes (1922), Rogério Duprat (1932 - 2006) e Willy Corrêa de Oliveira (1938), signatários do Manifesto Música Nova, em 1963. Acreditamos que, de acordo com as propostas contidas no Manifesto, nestas partituras encontraremos tentativas de uma renovação da estética musical determinadas por um pensamento vanguardístico de experimentação, podendo ser examinadas a partir da utilização de novos grafismos que representam recursos de indeterminação, improvisação, explorações timbrísticas e também incorporando elementos das linguagens poéticas, teatrais e das artes visuais. O foco da pesquisa serão as obras Concerto para Tímpanos, Caixa e Percussão (Gilberto Mendes, 1991), Antinomies I (Rogério Duprat, 1962) e Memos (Willy Corrêa de Oliveira, 1977). Ao discutir as características da notação para percussão nestas peças, identificamos o posicionamento das vanguardas dos anos sessenta em sua busca pelo novo, que também pretendemos avaliar através da tentativa destes três compositores de incorporar instrumentos de percussão típicos brasileiros em sua música de caráter experimental, no caso: o berimbau, a cuíca e o agogô, verificando o problema da escrita para estes instrumentos / This work aims to discuss aspects of percussion notation that were connected to a search for novelty in the music of the Brazilian composers Gilberto Mendes (1922), Rogério Duprat (1932 - 2006) e Willy Corrêa de Oliveira (1938), who signed the Manifesto Música Nova, in 1963. We believe that, according to the proposals contained in the Manifesto, in these scores we can find evidence of an attempt to renew musical aesthetics determined by the experimentalavant-gardethought, which can be examined on the basis of thecreation of new graphics, representing procedures of indeterminacy,improvisation, timbristic explorations and the incorporation of elements of poetic, theatrical and visual languages. The focus of the research is the Concerto para Tímpanos, Caixa e Percussão (Gilberto Mendes, 1991), Antinomies I (Rogério Duprat, 1962) and Memos (Willy Corrêa de Oliveira, 1977). In discussing the notation characteristics for percussion in these parts, we identified the positioning of the sixties avant-garde in its search for novelty that we also intend to evaluate through a trial of these three composers to incorporate typical Brazilian percussion instruments in their experimental music, in this case: the berimbau, the cuíca and the agogô, checking the notation problem for these instruments

Made available in DSpace on 2016-12-08T17:06:49Z (GMT). No. of bitstreams: 1 rodrigo.pdf: 2412265 bytes, checksum: c47ad406e5e63dd52e37553b192af174 (MD5) Previous issue date: 2009-09-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This study investigated practical and Urtext editions of the piano sonatas by Joseph Haydn (1732-1809), departing from differences in the notation and interpretation of articulations and ornaments. Chapter I presents the review of literature on notation and instrument interpretation in the eighteenth century; Chapter II presents the piano sonatas by Haydn and aspects of musical notation related to the sonatas; Chapter III presents a comparatives analysis of practical and Urtext editions of Haydn piano sonatas. Finally, we applied to a group of pianists a questionnaire related to the subject of the research, to verify the interpretative posture of each subject before the different types of music publishing. The main contribution of the present study is the assessment of the functions and uses of practical and Urtext editions, with a focus on the changes in the performance practice of Haydn piano sonatas / Neste trabalho foram pesquisadas edições práticas e edições Urtext de sonatas para piano de Joseph Haydn (1732-1809) a partir de diferenças na notação e realização de articulações e ornamentos. O Capítulo I consta a Revisão de Literatura sobre notação e realização instrumental no século XVIII; o Capítulo II refere-se às Sonatas para Piano de Joseph Haydn e seus aspectos notacionais; no Capítulo III é realizado um estudo comparativo entre edições práticas e edições Urtext de sonatas para piano de Joseph Haydn; por fim, foi aplicado um questionário a um grupo de pianistas com perguntas relacionadas ao tema da pesquisa, a fim de verificar a postura interpretativa de cada um dos sujeitos perante os diferentes tipos de edição musical. Como contribuição principal, com esta pesquisa buscou-se avaliar as funções e usos de edições práticas e edições Urtext, destacando-se também mudanças nas práticas de execução de sonatas para piano de Haydn

Orientador: Claudiney Rodrigues Carrasco / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-16T21:39:07Z (GMT). No. of bitstreams: 1 Bonilha_FabianaFatorGouvea_D.pdf: 1842001 bytes, checksum: cb77c0883c16aaace870af44a4202f16 (MD5) Previous issue date: 2010 / Resumo: O presente trabalho foi motivado pela experiência pessoal de sua autora como musicista com deficiência visual e representa a continuidade da Dissertação de Mestrado intitulada "Leitura musical na ponta dos dedos: caminhos e desafios do ensino da musicografia braille na perspectiva de alunos e professores", defendida no Departamento de Música,do Instituto de Artes da Unicamp. Nele são abordados aspectos relativos ao ensino e à difusão do código musical em braille, enfatizando-se, sobretudo,as concepções subjacentes à Educação Inclusiva. Esta pesquisa possui um enfoque qualitativo, pois visa apreender as percepções dos indivíduos frente aos desafios da alfabetização musical em braille. A coleta de dados foi realizada por meio do acompanhamento e estudo de três casos, nos quais três sujeitos experienciaram o processo de aprendizado da notação musical desenvolvida para os cegos. Além disso, foi realizada uma investigação acerca dos meios utilizados para a transcrição de partituras em Braille, delineando-se as peculiaridades desse processo. Na análise dos dados coletados, discute-se o papel do educador musical, do aluno com deficiência visual e do especialista em aplicações da musicografia braille. Como desdobramentos deste trabalho, há a produção de um áudio-documentário que retrata o desenvolvimento da pesquisa e a implantação de um acervo musical que contém obras em braille. São, por fim, levantadas questões relevantes, que podem resultar em novas investigações sobre o tema e na implementação de iniciativas favoráveis ao ensino e a difusão da musicografia braille. A pesquisa contou com o apoio da FAPESP e com a infraestrutura do Laboratório de Acessibilidade da Biblioteca Central Cesar Lattes da UNICAMP / Abstract: The current study was motivated by the author's life experience being both blind and a musician. It covers different aspects of Braille Music teaching and diffusion, emphasizing the concept of an inclusive education. Using a qualitative approach, three cases were studied and followed, in which three people experienced the process of Braille music learning. The resources available for Braille music transcription were also investigated, and it supported the creation of a Braille music collection. In the data analysis, the roles of music educator, of blind students and of experts are discussed. An audio documentary was developed as a representation of this study. Some questions are also placed in order to favour future investigations / Doutorado / Doutor em Música