This study examines phrase and larger formal structures in the first movement of Leo Brouwer’s Elegio de la Danza (1964), a work that draws on tonal and post-tonal traditions. By adapting key features of the tonal motive, as described by Douglass Green, and the tonal period, as proposed by Green and William Caplin, the model seeks to provide a tool for the discussion of phrases and larger forms in Brouwer’s work. An analysis of primary parameters, such as melody, harmony, and rhythm, provides the means to discuss how the composer articulates beginnings and endings of statements and responses, which are then grouped into antecedent and consequent phrases. These periods articulate large-scale sections, which outline a ternary formal design. Secondary parameters (dynamics, tempo markings, instrumental markings) further contribute to the identification of formal structures in Brouwer’s work.

ABSTRACT A USABILITY EVALUATION FRAMEWORK AND A CASE STUDY ON A SUPPLIER PORTAL SYSTEM Babayigit, Elif Fatma M.Sc., Department of Industrial Engineering Supervisor: Assoc. Prof. Dr. Tayyar Sen December 2003, 229 pages The goal of this thesis is to provide a usability evaluation framework in the area of e-procurement technologies and a case study on this base. A survey of the concepts of human computer interaction, usability and usability evaluation techniques is carried out. Additionally current e-procurement technologies are explored and specifically a Company&rsquo / s Supplier Portal System which was employed in year 2003, as an e-procurement technology for the procurement of direct goods, is taken into consideration. Pointing from the findings of the survey, a usability evaluation methodology is developed based on user and task analysis of the Supplier Portal. Within this methodology, in terms of performance metrics of the Supplier Portal, usability attributes to be measured are determined and a checklist for a heuristic system evaluation is developed. iv While a laboratory testing structure is proposed for the case, a usability satisfaction survey and empirical usability tests are implemented with the actual users of the Company Supplier Portal. Descriptive and inferential formal analyses of the survey and field test results are studied, contributing to the Usability Evaluation of the Portal. Lastly further prospects are pointed, where usability, formal analysis, supply chain management and systems design intercept.

A presente dissertação consiste em uma tentativa de apreender a figuração da elite a partir do ponto de vista que organiza o romance Azul e dura, de Beatriz Bracher. Procuramos determinar a especificidade do olhar da narradora-protagonista em sua relação com o contexto histórico e social contemporâneo com o intuito de definir de que maneira esse olhar capta aspectos significativos da experiência histórica atual. A hipótese que orienta a análise é a de que o romance escrito a partir do ponto de vista de um representante da mais alta elite, e calcado em seu percurso de sofrimento psíquico-social, produz o efeito de cooptação do leitor. Tentamos investigar os limites da formalização que, ao não alcançar o distanciamento, convida o leitor a se colar ao ponto de vista da narradora marcado pelo sentimento de impotência social e pela acomodação ao estado de coisas vigente. / The dissertation that follows aims at analyzing the figuration of the elite from the point of view that organizes the novel Azul e dura, by Beatriz Bracher. We seek to determine the specificity of the perspective of the narrator, who is the protagonist of the narrative, in its relation to the social and economical contemporary context, in order to demonstrate how the point of view of the narrative grasps relevant aspects of the current historical experience. Our hypothesis is that the novel written from the perspective of a representative of our highest elite, and centered in her trajectory of social and psychic suffering, produces the effect of co-optation of the reader. We tried to investigate the limits of the formalization that, without achieving distancing effect, invites the reader to partake the narrators viewpoint characterized by the feeling of social impotence and conformism to the current state of things.

A presente dissertação consiste numa tentativa de se desenvolver uma discussão ampliada a partir de uma análise de Cidade de Deus, de Paulo Lins. Tal análise buscava desentranhar os traços formais fundamentais da obra, para a partir delas intuir dinâmicas sociais, culturais e históricas, tornadas mais evidentes pelo próprio trabalho. Partindo do caráter de exceção e de novidade da obra no quadro do romance brasileiro dos anos 1990 e mesmo em geral, sem excluir a sua matriz francesa, coube-nos perguntar no que consistia tal empreitada artística, traduzido num inusitado modo de composição, tendo em vista não tanto a sua reverberação dentro da história literária, mas as suas consequências em outros planos, sejam eles culturais ou histórico-sociais. / The dissertation that follows tries to develop a broader discussion from the analysis of Paulo Lins\' Cidade de Deus. Such an analysis strives to unravel the fundamental formal characteristics of the novel, and then to make use of them to perceive and see through some cultural, historical and social dynamics that are to become clearer in due course. Starting from the status of exception and novelty of this literary work, against the background of the Brazilian novel and its French matrix, the question repeatedly raised was the one concerning the very nature of this artistic effort, its unusual composition mode, aiming not so much at its reverberations inside the literary history, but at its consequences in different cultural and sociohistorical dimensions.

Made available in DSpace on 2016-04-18T21:31:40Z (GMT). No. of bitstreams: 5 Sullivan Bernardo de Almeida1.pdf: 3083845 bytes, checksum: fc5c724a2d2f7db0df33ff3003813cbd (MD5) Sullivan Bernardo de Almeida2.pdf: 3547449 bytes, checksum: 4b351507307ed3209bd7f949f6d04a92 (MD5) Sullivan Bernardo de Almeida3.pdf: 2851232 bytes, checksum: ac93d506a318b2a68c755673e1ba7271 (MD5) Sullivan Bernardo de Almeida4.pdf: 1920341 bytes, checksum: 9f93869cc03bb5bc4e08069492abf245 (MD5) Sullivan Bernardo de Almeida5.pdf: 1076712 bytes, checksum: 701edc418e949ac6bef282a620bbfc0d (MD5) Previous issue date: 2008-01-28 / Instituto Presbiteriano Mackenzie / Di Cavalcanti was born in Rio de Janeiro when the city was undergoing trough a radical reubanization process leaded by the government, Rodrigues Alves, Brazil President, and managed by city mayor Pereira Passos. During his government, Passos chnged the provinvicial city aspect. He had built gorgeous squares, wide avenues, strongly impacting the way of life at the poor people, who used to live in the slum, pushing them to move to furlher neighborhood around the city. Based upon his personal view of such scenario, Di Cavalcanti created the Fantoches da Meia-noite series, breaking up with Art Nouveau style, followed by him until then. The work is made up of sixteen boards and a presentation folder by the writer Ribeiro Couto. The folder text regards to the impression that both kept on the cratures who in habited that neighborhood. The objective of this work is indentify the expressionist characteristics of the Fantoches da Meia-noite work, and verify a possible closeness with the chowings by the artist Egon Schiele. To accomplish so, we will atlain a formal analysis of Fantoches, following Donis A. Dondis methodology in his book Sintaxe da Linguagem Visual, and as theorical support, we will base on semiotical concepts theory. / Di Cavalcanti nasceu no Rio de Janeiro num momento em que a cidade passava por um processo radical de reurbanização promovido pelo Presidente Rodrigues Alves e implantado pelo Prefeito Pereira Passos. Durante seu governo Passos modificou o aspecto provinciano da cidade, construindo grandes praças e largas avenidas, alterando violentamente a vida das pessoas na então capital da República, promovendo a expulsão da população carente que habitava os cortiços na região central, para periferia da cidade. É a partir de um olhar particular a respeito daquele cenário que Di Cavalcanti produz a série Fantoches da Meia-noite, promovendo uma ruptura com o estilo Art Nouveau, até então praticado pelo artista. Trata-se de um conjunto composto por dezesseis pranchas, contendo desenhos e um encarte de apresentação prefaciado pelo escritor Ribeiro Couto. O texto refere-se às impressões que ambos mantinham em relação às criaturas que habitavam aquele cenário. O objetivo deste trabalho é identificar características expressionistas no álbum Fantoches da Meia-noite e, também, verificar uma possível aproximação com os desenhos do artista autríaco, Egon Schiele. Para tanto, faremos uma análise formal dos Fantoches a partir da metodologia utilizada por Dondis A. Dondis em seu livro, Sintaxe da Linguagem Visual. Como suporte teórico, nos basearemos nos conceitos da teoria semiótica.

Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje (CppCheck, Coverity, Codacy, GCC, Clang) jsou srovnány z hlediska počtu i typu nalezených chyb.

This study examines phrase and larger formal structures in the first movement of Leo Brouwer’s Elegio de la Danza (1964), a work that draws on tonal and post-tonal traditions. By adapting key features of the tonal motive, as described by Douglass Green, and the tonal period, as proposed by Green and William Caplin, the model seeks to provide a tool for the discussion of phrases and larger forms in Brouwer’s work. An analysis of primary parameters, such as melody, harmony, and rhythm, provides the means to discuss how the composer articulates beginnings and endings of statements and responses, which are then grouped into antecedent and consequent phrases. These periods articulate large-scale sections, which outline a ternary formal design. Secondary parameters (dynamics, tempo markings, instrumental markings) further contribute to the identification of formal structures in Brouwer’s work.

Via the use of applied games design methodologies, based on analytical grounding, this paper examines the possibility of developing a new type of Policy Game, Wicked Games, as Participatory Design method for use when working with multiple stakeholders on Critical, Crucial, Complex and Wicked Problems (Rittel & Webber 1973). This paper approaches this topic from a Games Design Research perspective, to shed new light on the qualities of medium for participatory designers. This paper provides a definition of, design heuristics for, and an example of a Wicked Game as a starting point for further work within the topic, as well as providing an analysis of a Formal Analysis as a methodology for extracting tacit knowledge from games, Distributed Playtests as a means for gathering information to allow rapid iteration within games design.

La méthodologie HILECOP a été élaborée pour la conception formelle de systèmes numériques complexes critiques ; elle couvre donc l'intégralité du processus, allant de la modélisation à la génération de code pour l’implantation sur la cible matérielle (composant électronique de type FPGA), en passant par la validation formelle. Or, si le modèle formel, les réseaux de Petri en l'occurrence, est par essence asynchrone, il est néanmoins exécuté de manière synchrone sur la cible. De fait, les approches d'analyse usuelles ne sont pas adaptées au sens où elles construisent des graphes d'états non conformes à l'évolution d'états réelle au sein de la cible. Dans l'objectif de gagner en confiance quant à la validité des résultats de l’analyse formelle, ces travaux visent à capturer les caractéristiques dites non-fonctionnelles, à les réifier sur le modèle et enfin à considérer leur impact à travers l’analyse. En d’autres termes, l’objectif est d’améliorer l’expressivité du modèle et la pertinence de l'analyse, en considérant des aspects comme la synchronisation d'horloge, le parallélisme effectif, le risque de blocage induit par l'expression conjointe d'un événement (condition) et d'une fenêtre temporelle d'occurrence, sans omettre la gestion des exceptions. Pour traiter tous ces aspects, nous avons proposé une nouvelle méthode d'analyse pour les réseaux de Petri temporels généralisés étendus interprétés exécutés en synchrone, en les transformant vers un formalisme équivalent analysable. Ce formalisme est associé avec une sémantique formelle intégrant toutes les aspects particuliers de l'exécution et un algorithme de construction d'un graphe d'états spécifique : le Graphe de Comportement Synchrone. Nos travaux ont été appliqués à un cas industriel, plus précisément à la validation du comportement de la partie numérique d'un neuro-stimulateur. / The HILECOP methodology has been developed for the formal design of critical complex digital systems; it therefore covers the entire design process, ranging from modeling to code generation for implementation on the hardware target (FPGA type electronic component), via formal validation. However, if the formal model, the Petri nets in this case, is inherently asynchronous, it is nevertheless executed synchronously on the target. In fact, the usual analysis approaches are not adapted in the sense that they construct state graphs that do not conform to the real state evolution within the target. In order to gain confidence in the validity of the results of the formal analysis, this work aims to capture the so-called non-functional characteristics, to reify them on the model and finally to consider their impact through the analysis.In other words, the aim is to improve the expressiveness of the model and the relevance of the analysis, considering aspects such as clock synchronization, effective parallelism, the risk of blocking induced by the expression of an event (condition) and a time window of occurrence, without omitting the management of exceptions.To deal with all these aspects, we have proposed a new method of analysis for extended generalized synchronous executed time Petri nets, transforming them into an analysable equivalent formalism. This formalism is associated with a formal semantics integrating all the particular aspects of the execution and dédicated state space construction algorithm: the Synchronous Behavior Graph.Our work has been applied to an industrial case, more precisely to the validation of the behavior of the digital part of a neuro-stimulator.

O crítico Roberto Schwarz, pensador da cultura, assume o ângulo estético como primazia para a interpretação da sociedade brasileira. Sua obra perpassa diversos âmbitos da produção cultural, mobilizando a relação entre análise formal e crítica social. Assumindo a importância da sua trajetória intelectual, esta dissertação dá ênfase à sua contribuição em relação ao debate sobre Arquitetura. À luz desta questão apresenta-se um percurso sobre seus ensaios, buscando-se elucidar suas análises, referências e pressupostos, assim como suas implicações para o significado da crítica de arquitetura diante dos impasses históricos por esta enfrentados no presente. / The critic Roberto Schwarz, thinker of culture, assumes the aesthetic perspective as a primacy for an interpretation of the Brazilian society. His essayistic production overviews a diversity of cultural productions, putting in motion the connection between formal analysis and social critics. Taking on the importance of his intellectual trajectory, this dissertation emphasizes his contributions about Architecture discussion. Considering this question, this work shows a way among his essays, seeking to elucidate his analysis, references, premisses and also their implications for the meaning of the Architecture criticism, forward the historical dilemmas that it presently faces.