Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Mitigated directness in Honglou meng: directive speech acts and politeness in eighteenth century Chinese

This paper is situated within a theoretical discussion that asserts a positive correlation between indirectness and politeness, and uses these claims as a springboard for an examination of polite ways of issuing directives in eighteenth century Chinese. On the basis of an analysis of directive speech acts from dialogue in the novel Honglou meng, it argues that the concept of indirectness, as it applies to the illocutionary transparency of individual speech acts, has no particular value in the culture and language of eighteenth century Chinese men. It is found that other linguistic devices such as particles, the reduplication of verbs, terms of address, and the presence and sequencing of supportive moves are far more significant to the communication of politeness. The findings suggest a need to rethink current theoretical positions on this subject and move beyond the analysis of individual speech acts to examine the role discourse structure and management play in the enactment of politeness. (C) 2002 Elsevier Science B.V. All rights reserved.

Imagens da escola como mediadoras do processo formativo dos jovens no ensino da arte: diálogos com a história, memória e ambientes intraescolares

Esta pesquisa apresenta as imagens da escola como mediadoras do processo formativo dos jovens no ensino da Arte em diálogo com a história, memória e ambientes intraescolares. Inscreve-se no debate produzido pela linha de pesquisa em Educação e Linguagens. Analisa a formação dos jovens numa turma do terceiro ano do Ensino Médio na Escola Estadual de Ensino Médio “Hunney Everest Piovesan”, localizada no município de Cariacica no Estado do Espírito Santo. O estudo foi realizado em 2013 e tem como objetivo analisar as imagens escolares como mediadoras na formação dos estudantes do Ensino Médio no ensino da Arte em diálogo com a história, memória e ambientes intraescolares. Ao mesmo tempo, por meio de trabalho colaborativo, contribui para (re)construção da história da instituição, significando-a junto aos alunos e comunidade escolar. Por meio de intervenção artística com imagens da escola propõe reflexão crítica, analisando a formação dos jovens no terceiro ano do Ensino Médio. Para compreender os conceitos de mediação e meio social, estabelece um diálogo com as obras de Lev Semenovith Vigotski. A partir dos estudos de Maria Ciavatta e Schütz–Foerste procura entender a mediação imagética e sua dimensão educativa. Dialoga ainda com Frago, Escolano e Buffa, ampliando as reflexões sobre os ambientes intraescolares, dimensionando a imagética desses espaços e o senso de pertencimento à escola a partir da impregnação pela história e memória. A investigação pauta-se nos referenciais do método qualitativo e colaborativo de pesquisa. A produção dos dados contou com o recolhimento e análise documental de um conjunto de fontes primárias e secundárias formadas por livro de registro de funcionários da escola da década de 1970, diários de classe, recortes de jornais, convites de formaturas e registros fotográficos escolares dessa mesma década até a atualidade. Além desses documentos históricos, foram analisadas entrevistas de antigos alunos e questionários dos alunos do terceiro ano do Ensino Médio da instituição. Relata brevemente experiências de curto intercâmbio acadêmico realizado na Universidade de Ancara, na Turquia, com o objetivo de ampliar os horizontes de referência sociocultural, em especial com o contexto educacional do Ensino Médio euroasiático, identificando os espaços de formação dos jovens no contexto turco e suas relações com a educação brasileira. Esta experiência apresentada não integra a análise desta dissertação, mas projeta a discussão para novos estudos. A análise se elabora a partir da triangulação, entre outros, do referencial teórico com o processo de intervenção, produção de dados e no debate acadêmico em diferentes contextos. A partir da caminhada acadêmica permeada pela história e memória, inferimos que as imagens escolares medeiam o processo formativo dos jovens do terceiro ano do Ensino Médio no ensino da Arte. Contribuem para o cultivo da memória escolar, enquanto presença impregnada pela história da instituição, por meio da imagética dos seus ambientes intraescolares. Constatamos ainda que as imagens colaboram para o (re)conhecimento por parte desses sujeitos do seu papel ativo, autônomo e transformador da realidade escolar na qual estão inseridos.

Educação escolar Tupinikim e Guarani : experiências de interculturalidade em aldeias de Aracruz, no Estado do Espírito Santo

A pesquisa analisa as relações entre interculturalidade, práxis e educação escolar indígena Tupinikim e Guarani do município de Aracruz, Espírito Santo, Brasil. Investiga a práxis da educação intercultural no espaço da educação escolar indígena como meio de revitalização das culturas Tupinikim e Guarani. Objetiva problematizar a formação inicial e continuada dos professores indígenas; discutir a práxis da interculturalidade no contexto da educação escolar indígena; e, identificar outros espaços educativos da cultura e educação indígena. Analisa aspectos teóricos e práticos sobre cultura (WILLIAMS, 2008; BRANDÃO, 1989; FORQUIN, 1993; CANDAU, 2011; GEERTZ, 1989), interculturalidade (D‘AMBROSIO,1996; FLEURI, 2002; 2003; SCANDIUZZI, 2009;), identidade e alteridade (MELIÁ, 2000; FREIRE, 1981; 1987; LITAIFF, 2004) e práxis (FREIRE, 1989; VÁSQUEZ, 2011; SEMERARO, 2006) e educação (escolar) indígena de acordo com a legislação vigente. Realiza pesquisa interpretativa (GEERTZ, 1989) na educação escolar indígena junto aos professores indígenas Guarani das Aldeias de Boa Esperança e Três Palmeiras (2009-2010) e professores indígenas Tupinikim da Aldeia de Comboios (2011-2013) na perspectiva de um diálogo intercultural. Contribuem nos processos investigativos para produção, sistematização e análise de dados a realização de observações, entrevistas semiestruturadas, registros no caderno de campo, fotografias, gravações em áudio e em vídeo e análise documental sobre a educação escolar indígena de Aracruz. (ANDRÉ, 2007; GIL, 1999; 2004). Os resultados deste trabalho levantam questões relativas a duas realidades de educação escolar nas comunidades indígenas pesquisadas que se constituem em aspectos de sobrevivência e desencadeia formas para interagir e reagir em defesa de sua identidade e dignidade. Nesse sentido, a escola é um local de vivências e de encontro, vista e sentida pelas lideranças e pela comunidade como uma possibilidade real para desenvolver um elo entre as formas tradicionais de vida e as formas contemporâneas. O desafio de garantir uma escola nestes termos significa concretizar a proposta de um projeto de educação escolar para os povos indígenas, constituído por especificidades de como trabalhar a terra, pelo reconhecimento de suas tradições, das línguas e da memória coletiva. Distante de apresentar respostas conclusivas propõe uma educação escolar, coletiva e participativa, que critica e dialoga com todos os envolvidos no processo educativo.

A narratividade do Hip Hop e suas interfaces com o contexto educacional

A presente tese de doutoramento em Educação aborda a cultura do Hip Hop e sua relação com o contexto educativo. Insere-se nas discussões da linha de pesquisa em Educação e Linguagens e problematiza o espaço escolar, enquanto espaço de reprodução da ideologia hegemônica, analisando o projeto “Escola de Rimas”, desenvolvido na Grande Vitória, como movimento de resistência e ressignificação cultural na escola. Parte da pergunta: Como as práticas discursivas do Hip Hop podem ressignificar o contexto escolar? A presente tese aborda a cultura do Hip Hop como campo discursivo singular de uma experiência narrativa (BENJAMIN, 1986; BONDÍA, 2001) e de uma subjetividade eticamente responsável (BAKHTIN, 1992a; 1992b; 2010), fundada no princípio da alteridade (PONZIO, 2009), e o analisa a partir de uma perspectiva crítica e dialógica (FREIRE, 1981; 1994; 1995; GIROUX, 1986; 1987; BRANDÃO, 1986; BAKHTIN, 1992a; 1992b; 2010). Desenvolve a pesquisa em um contexto limiar entre a escola e a cultura hip hop e dimensiona o debate das culturas marginais nos contextos educativos, voltando-se para os sujeitos e suas experiências narrativas, avaliando a interação de algumas de suas práticas discursivas com o processo de ensino-aprendizagem. Para isso, analisa o projeto cultural “Escola de Rimas”, criado pelos próprios ativistas do movimento hip hop da Grande Vitória e desenvolvido em uma escola da rede pública estadual de ensino do Espírito Santo, com o objetivo de discutir o seu papel em um processo de ressignificação educacional. Como hipótese de trabalho defende-se que o espaço escolar, como espaço de disputas, é ressignificado com a introdução de outras práticas discursivas e culturais, entre elas o hip hop, que aponta para a necessidade de ouvir responsiva e responsavelmente as narrativas dos educandos, contribuindo, assim, para a formação crítica desses sujeitos e enfrentando, ao mesmo tempo, práticas de exclusão historicamente instituídas.

A imagem a ser consumida : política visual, imaginação espacial e as estéticas dos vídeos turísticos no estado do Espírito Santo

Atreladas a uma estética própria e “efeitos de verdade” (PELLEJERO, 2008), as videografias turísticas acabam por compor linguagens fartamente informativas sobre aquilo que se quer dizer sobre os lugares. Suas cenas são as apontadas para propagandear uma imagem a ser consumida, delas esperam-se o melhor ângulo a ser fotografado, experiências únicas e roteiros alternativos e naturais para se conhecer o lugar. Sendo assim, são as imagens turísticas, na atualidade, linguagens potentes para se entender as narrativas sobre os lugares, suas imaginações espaciais, bem como as construções de ficções sobre determinada realidade. Uma vez envolvidas as produções de ficções hegemônicas, os vídeos turísticos e as imaginações espaciais que temos deles podem promover modos cristalizados de se pensar o espaço; distanciando-se dos propósitos de entender o espaço a partir das suas conexões-desconexões e multiplicidade de trajetórias (MASSEY, 2008). Nesse contexto, essa pesquisa tem como objetivo principal discutir como os vídeos turísticos, em especial dois vídeos da atual campanha da Secretaria de Turismo do Espírito Santo, “Descubra o Espírito Santo”, apresentam uma imaginação espacial. Também seguem como interesse: refletir e analisar a política visual e a estética das videografias turísticas; entender e analisar a produção de uma ficção para construção e mobilização de uma imaginação espacial e estudar autores e produções videográficas que se dedicaram a pensar possibilidades outras de mobilizar e desterritorializar uma imaginação espacial e as estéticas videográficas.

A recepção da obra de Paulo Coelho pela crítica literária e pelo leitor

Propõe-se um estudo acerca da recepção da obra de Paulo Coelho pela crítica literária e pelo leitor, envolvendo a indústria cultural, sob a perspectiva da Sociologia da Literatura. A pesquisa justifica-se pela grande proporção de leitores que a obra atinge: traduzida para 81 idiomas e lida em 168 países, tendo boa aceitação por diferentes perfis de leitores e por muitos críticos literários de outros países. No Brasil, a produção do escritor é recebida com uma certa reserva pela crítica literária. As intervenções da indústria cultural são discutidas por meio de um diálogo estabelecido entre Theodor W. Adorno, Max Horkheimer, Pierre Bourdieu, Umberto Eco, Luiz Costa Lima e Muniz Sodré. Em seguida, estabelece-se uma discussão sobre valor estético em relação à literatura contemporânea. Posteriormente, são mostradosos elementos temáticos recorrentes e a proximidade da narrativa coelhana com a oralidade, a partir da influência das canções compostas em parceria com Raul Seixas e da operação dos gêneros parábola e fábula.A recepção da crítica é analisada, baseando-se em estudos de Mário Maestri, Eloésio Paulo, teses e dissertações, artigos, entre outros. A recepção do leitor tem como aporte teórico Antonio Candido e Roger Chartier, dentre outros, apoiando-se na Estética da Recepção, especificamente nos estudos de Hans Robert Jauss e Regina Zilberman. É analisada a recepção da obra de Paulo Coelho pelos leitores da rede social Skoob, a fim de verificar o gênero, a idade,o nível de escolaridade, a condição socioeconômica e cultural e as impressões de leitura destes. Compreendendo esses sujeitos-leitores, historicamente, e valendo-se de outros aspectos (em vez dos estéticos) apontados pela Sociologia da Literatura, é possível estabelecer diálogos entre as preferências desses leitores com obras já legitimadas pela teoria e crítica literárias, ampliando o repertório destes e contribuindo para a mediação e a promoção da leitura, no Brasil.

As relações entre desenho e escrita no processo de apropriação da linguagem escrita

Este trabalho se constitui a partir dos estudos realizados na linha de pesquisa Educação e Linguagens, do Programa de Pós-Graduação em Educação da Universidade Federal do Espírito Santo. Adota uma abordagem sócio-histórica para a investigação qualitativa no campo das Ciências Humanas e tem por objetivo investigar as relações entre desenho e escrita elaboradas por crianças de quatro anos de idade que frequentavam uma instituição de educação infantil. Para a análise dos dados produzidos, toma por base os pressupostos teóricos de Mikhail Bakhtin, a partir da perspectiva enunciativo-discursiva, cuja abordagem de linguagem ajuda a compreender o desenho e a escrita em sua dimensão discursiva, como enunciação. Com base nos processos observados nas relações ensino-aprendizagem e na interação verbal entre os sujeitos da pesquisa, seleciona, para a primeira parte do estudo, situações de ensino-aprendizagem vivenciadas pelas crianças e pela professora na sala de atividades. Na segunda parte das análises, seleciona produções realizadas para interlocutores reais e imaginários e finaliza com a análise de dados, inferindo que a distinção entre desenho e escrita é uma construção escolar, sustentando, desse modo, a tese de que as diferentes linguagens mantêm relações entre si no curso do processo de apropriação da linguagem escrita e essa coexistência permite a ampliação da imaginação criadora, a produção de marcas singulares e idiossincráticas nos textos produzidos pelas crianças, além de proporcionar uma compreensão de como as crianças se constituem no mundo.