O pátio jesuítico no Palácio Anchieta: narrativas tipomorfológicas e paisagísticas na cidade de Vitória (ES)

A hipótese defendida nesta pesquisa se baseia na possibilidade de a arquitetura jesuítica implantada em terras brasileiras (século XVI) dialogar e agenciar, num mesmo corpo edificado, e de modo inter-relacionado, aspectos relativos à morfologia urbana, tipologia e paisagem. Lama explica que, como disciplina, a morfologia urbana agrega para si não somente o ambiente construído, mas os meios pelos quais este foi construído em sua interação com a forma urbana, ou seja, os “fenômenos sociais, econômicos e outros motores da urbanização” (LAMAS, 1992). Entender a forma urbana é entender seus elementos constituintes, “quer em ordem à leitura ou análise do espaço, quer em ordem à sua concepção ou produção” (LAMAS, 1992). Estudar a forma urbana significa compreender o lugar onde se insere a cidade e seus elementos constituintes, seus espaços e a inter-relação entre eles e seu contexto, em um espectro abrangente do que se denomina cidade, e urbano. A tipologia arquitetônica e a morfologia urbana estão interligadas no cerne de suas análises, considerando que ambas, segundo Pereira, estudam “duas ordens de fatos homogêneos” (PEREIRA, 2012); estudam elementos constituintes da cidade – arquitetônicos e espaciais – que se sobrepõem ou se complementam de acordo com a escala de análise utilizada. A arquitetura jesuítica do Brasil colonial modela de modo determinante a construção de distintos núcleos urbanos originários na costa brasileira no século XVI. Isso, por meio da implantação de tipologia edilícia que acompanha a doutrina jesuítica de localização e escolha do sítio para suas construções, preconizando segurança, visibilidade do entorno e facilidade de acesso por rios ou pelo mar. Essas construções, realizadas em áreas elevadas, marcaram, por conseguinte, no tempo e no espaço, a paisagem dos primeiros núcleos urbanos brasileiros. A pesquisa analisou um dos exemplares históricos da arquitetura jesuítica no Estado do Espírito Santo, especificamente na cidade de Vitória, capital e núcleo urbano original da colonização portuguesa neste Estado. A instalação dos jesuítas na antiga Vila da Vitória, no séc. XVI, através de sua igreja dedicada a São Tiago e de seu colégio anexo, marca a presença tipológica de uma arquitetura religiosa que influencia a própria morfologia da cidade – caracterizando esta arquitetura como um tipomorfológico - e, por reflexo, participa da construção de sua paisagem urbana secular. Entende-se que o antigo complexo jesuítico de São Tiago e atual Palácio Anchieta, sede governamental e prédio cultural capixaba, é uma arquitetura que permeia estas três grandes narrativas arquitetônicas e urbanas: a tipologia, a morfologia e a paisagem.

As relações produzidas no cotidiano da gestão na estratégia saúde da família num dos municípios da região metropolitana da grande vitória: os discursos dos gestores

Este trabalho aborda aspectos referente à produção do processo de trabalho no cotidiano da gestão da Estratégia Saúde da Família (ESF) em um município do Espírito Santo, a partir dos discursos dos próprios gestores envolvidos no processo. Valoriza a discussão sobre a produção das relações institucionais neste contexto, assim como questões que dizem respeito ao processo de trabalho no dia a dia deste serviço. O percurso metodológico foi orientado pela abordagem qualitativa, sendo utilizado como instrumento metodológico para a coleta de dados a observação direta de uma equipe de ESF, a construção de um diário de campo e entrevistas individuais semiestruturadas aos gestores (secretário municipal de saúde, coordenador da atenção básica, integrante do núcleo da ESF e coordenador de unidade de saúde da família) da ESF desse município. A partir do trabalho de campo e da análise do material produzido, pode-se apreender um cotidiano marcado pelas subjetividades próprias de cada profissional, um cotidiano construído a partir das relações produzidas em cada espaço de atuação dos gestores com os profissionais de saúde e com os usuários. De maneira geral, os discursos dos gestores evidenciam um dia a dia complexo de operar. Além disso, observa-se as que as atividades voltadas para as tomadas de decisão são centradas no papel do gestor formal da instituição de saúde. O organograma da secretaria de saúde do município reforça a hierarquização das relações, principalmente as que se referem às tomadas de decisão, de forma que, pode-se observar que é um dia a dia marcado por tensões, conflitos e controle. As relações produzidas são baseadas em relações de poder, perpetuando características de uma gestão clássica, apesar da concepção e da tentativa de realizar uma gestão pautada na cogestão.

A modernização do atraso : os fundamentos da urbanização de Vitória-1889-1930

Esta dissertação volta-se para a investigação da modernização da cidade de Vitória durante a passagem do século XIX ao XX. Trata-se, especificamente, da tentativa de compreender a modernização de Vitória no seu conteúdo arcaico, no sentido de, no conjunto das estratégias do poder, preservarem-se interesses de estruturas sociais anteriores, para um novo contexto econômico e sociopolítico. O referencial teórico de análise pressupôs apreender a cidade (seu espaço construído) articulada à estrutura econômica, enquanto condições urbanas necessárias à reprodução do capital. Para tal efeito, foi necessário compreender as implicações da metamorfose da riqueza, representada anteriormente pela propriedade do escravo e transferida para a propriedade da terra. Nessa tarefa, investigamos a hegemonia dos interesses da instância mercantil-exportadora do capital que dominou o aparelho de Estado e dirigiu o processo. A interferência dessa fração do capital no processo foi compreendida a partir da estruturação do poder no Espírito Santo processada na reorganização das bases da produção de café na transição do trabalho escravo para o livre. Através da modernização da cidade, foram criadas novas alternativas de valorização do capital por intermédio da construção da cidade (habitações, edifícios públicos, infraestrutura e serviços urbanos). Contudo, não se verificou de forma significativa desdobramento do excedente acumulado na esfera do comércio em atividades produtivas modernas (multiplicadoras da riqueza). Nesse processo, surge a perspectiva de a valorização da propriedade imobiliária como expressão do desenvolvimento das condições gerais da produção e da reprodução do trabalho possibilitar rendas futuras crescentes ao capital. O que indica uma urbanização fundamentalmente dominada pelos interesses mercantil-exportadores e patrimonialistas, revelando um forte traço de atraso da modernização da cidade em seu papel de centro comercial da economia regional.

A geografia dos acidentes de trânsito na Região Metropolitana da Grande Vitória (RMGV) – ES

Esta dissertação aborda a espacialização dos acidentes de trânsito notificados entre os anos de 2005 e 2013 nos municípios de Fundão, Serra, Vitória, Cariacica, Vila Velha, Viana e Guarapari, que juntos compõem a Região Metropolitana da Grande Vitória (RMGV). Para o cumprimento deste propósito, realizou-se um diagnóstico temporal e espacial dos acidentes de trânsito ocorridos nessa região, analisando-se o acelerado crescimento da frota veicular, a situação da atual infraestrutura viária e o crescimento demográfico. Além disso, foram listadas as principais variáveis de risco responsáveis por ocasionar acidentes de trânsito. Quanto à fundamentação teórica, foi construída a partir da Geografia dos Transportes, que forneceu subsídios para contextualizar a importância da análise espacial geográfica sobre o fenômeno aqui tratado. Na sequência, estimaram-se os custos gerados por esse fenômeno, chegando à cifra de mais de R$ 900 milhões de custos associados aos acidentes de trânsito da RMGV em 2013. Utilizando-se de técnicas de geoestatística e de geoprocessamento, identificaram-se as áreas de concentração de acidentes de trânsito na RMGV, conforme as tipologias de colisões e choques, capotamentos e tombamentos e atropelamentos. Logrou-se, como conclusão, que 1) além do crescimento em quantidade e concentração das ocorrências, houve também, no decorrer da série histórica, o espraiamento dos registros de acidentes de trânsito na RMGV, e 2) os acidentes, conforme sua tipologia, concentram-se em diferentes áreas da região estudada.

Desenvolvimento de Ferramentas para Pesquisas em Tecnologias Assistivas Baseadas em Sinais Biológicos

Novas ferramentas de Tecnologias Assistivas (TAs) têm aparecido ultimamente. Um exemplo são os Ambientes Virtuais (AVs), os quais são importantes para o desenvolvimento de novas TAs, que podem ser direcionadas para promoverem uma melhor qualidade de vida de pessoas com mobilidade reduzida permanente ou promover a reabilitação de pessoas com deficiência motora temporária. Outras ferramentas, que surgiram há algumas décadas com o desenvolvimento dos computadores, também ajudam no tratamento de pessoas com deficiência motora, que são as Interfaces Humano-Máquina (IHM). Utilizando em conjunto com equipamentos que capturam sinais biológicos, como equipamentos de Eletromiografia (EMG) e Eletroencefalografia (EEG), essas ferramentas se configuram como canais de comunicações entre o ser humano e os computadores, diferentemente das comumente utilizadas. Isso abre uma gama de possibilidades para sua utilização no tratamento e na assistência de pessoas com deficiência motora, onde sinais EMG podem ser utilizados para controlar próteses robóticas; e sinais EEG, quando capturados da região do córtex motor, podem ser utilizados em neuroreabilitação. Por outro lado, quando capturados na região occipital, os sinais de EEG podem ser utilizados para gerar comandos e outras finalidades. Este trabalho apresenta o desenvolvimento de novas ferramentas para auxiliar em pesquisas de TAs envolvendo sinais biológicos. Três diferentes AVs foram desenvolvidos para auxiliar nesse tipo de pesquisa. Além deles, um equipamento EEG comercial foi adaptado para ser utilizado com uma IHM, o qual utiliza dois desses três AVs desenvolvidos. Como resultados, temos a utilização bem sucedida do equipamento EEG obtido com sua utilização com SSVEP e Imaginação motora, além da implementação com sucesso dos três AVs desenvolvidos, que estão disponíveis para download gratuito, e que podem ser utilizados em demais pesquisas envolvendo TAs.

A formação de educadores e a travessia de cercas invisíveis de acesso/produção de conhecimentos : experiências do MST nas inter-relações com universidades brasileiras /

Este estudo sistematiza e aborda a temática da formação de educadores desenvolvida nas inter-relações entre universidades brasileiras e o Movimento dos Trabalhadores Rurais Sem Terra, especificamente nos cursos de graduação em História na Universidade Federal da Paraíba e de Engenharia Agronômica na Universidade Federal de Sergipe, no período de 2004 a 2008. Tal processo desenvolve-se em um contexto difícil e complexo da luta pela reforma agrária no Brasil, principalmente pelas transformações ocorridas nos últimos anos oriundas da ampliação das lógicas de produção do agronegócio. Esta condição leva o MST a discutir e propor uma nova concepção de reforma agrária que a designa de popular em substituição à proposta de reforma agrária clássica. Por outro lado, apresenta uma visão das universidades brasileiras e dos projetos que são construídos e implementados nos últimos anos, inclusive, observando coincidências com as políticas econômicas gerais para a sociedade. Apresenta uma concepção de formação que vem sendo construída no interior das práticas do MST que também procura as universidades para firmar convênios e desenvolver processos de escolarização/formação de seus militantes educadores. Dentre as dimensões desse processo educativo/formativo, destacam-se: vínculo permanente com os processos orgânicos; a formação como um processo ético, estético, místico que trata das atitudes/comportamentos e como um processo dialógico, crítico e articulado que contempla saberes, experiências, em uma interação que busca superar as monoculturas. Captura por intermédio da pesquisa de campo: estranhamentos, entraves, sentidos da ocupação pedagógica e coletiva, alternativas, legados que permanecem tanto no MST como na universidade e apresenta o resultado do envolvimento e atuação dos egressos de ambos os cursos na atualidade. Aponta também para desafios, possibilidades outras de enfrentar a difícil mas necessária tarefa de formar educadores, militantes capazes de coletivamente levar adiante a luta por um mundo mais justo, solidário e democrático, em que a terra e o conhecimento, juntamente com os demais bens econômicos e culturais sejam profundamente democratizados. Pretende ser uma contribuição para o debate acerca da relevância dessas inter-relações entre universidade e movimentos sociais, em que essas experiências demarcam novas possibilidades de abertura e avanços democráticos e menos elitista da universidade e novos patamares de escolarização/formação para integrantes do Movimento dos Sem Terra.

A intensificação do trabalho docente no processo de financeirização da educação superior : o caso da Kroton no Estado do Espírito Santo

O estudo teve por objetivo investigar, a partir de duas instituições de ensino superior pertencentes ao grupo Kroton no Espírito Santo, o impacto das mudanças trazidas para o trabalho docente decorrente do processo de inserção da educação superior na Bolsa de Valores. Essas instituições são a Faculdade Pitágoras de Guarapari e a Faculdade Pitágoras de Linhares. Até 2007, juridicamente, essas instituições eram sociedades limitadas e não pertenciam ao grupo Kroton. Eram conhecidas como Faculdades Integradas Padre Anchieta de Guarapari (Fipag) e Faculdade de Ciências Aplicadas Sagrado Coração (Unilinhares), respectivamente. Em 2008, a Kroton adquire essas duas faculdades e começa a operá-las a partir da marca Pitágoras. Portanto, esta pesquisa consiste em um estudo de caso das unidades Pitágoras localizadas no Estado do Espírito Santo. Busca compreender, fundamentada em entrevista semiestruturada com 12 professores e ex-professores, como eram a organização e as condições do trabalho docente antes de essas instituições serem adquiridas pela Kroton e o que mudou após sua aquisição. Para a realização da análise teórica, a pesquisa se apoiou em Karl Marx, François Chesnais e Dermeval Saviani. Ao final, a hipótese de que, após a aquisição da Fipag e da Unilinhares pela Kroton, houve uma intensificação da exploração do trabalho docente e uma redução da autonomia do professor no que concerne às atividades de planejamento e ensino foi confirmada: pelo excessivo acréscimo de trabalho (Termo e Aula Estruturada); pela diversidade de disciplinas a que o professor esteve sujeito a ministrar; pelo regime de tensão que balizou a organização do trabalho (aumento das demissões); pela exclusão da participação do professor na escolha do referencial teórico e metodológico. Em parte, esses aspectos são fruto da combinação do taylorismo com a governança corporativa e atuaram de forma a reduzir a participação do professor nas atividades ligadas ao planejamento e ensino, reforçando, com isso, as relações sociais de dominação inerentes ao trabalho alienado.

Abordagens metodológicas para avaliar risco de extinção de espécies de Brachyteles (Primates : Atelidae)

A distribuição geográfica de um táxon é limitada por aspectos ecológicos e históricos. Muitas atividades humanas têm causado modificações na cobertura vegetal, o que leva à fragmentação e perda do habitat. Isso tem levado à extinção local de populações de várias espécies, alterando sua distribuição geográfica. Entre elas estão as duas espécies do gênero Brachyteles (os muriquis), que são primatas endêmicos de um dos biomas mais afetados por esses processos, a Mata Atlântica. A União Internacional para a Conservação da Natureza (UICN) é uma organização que busca conservar a biodiversidade. Entre outros critérios, utiliza o conhecimento sobre as distribuições geográficas restritas das espécies para classificá-las em categorias de ameaça de extinção, nas chamadas listas vermelhas. Para isso, utiliza parâmetros espaciais, cujos resultados indicam o risco de extinção de determinado táxon em relação à sua distribuição geográfica. Muitas vezes os cálculos desses parâmetros são realizados de maneira subjetiva, de maneira que é importante a busca de métodos que tornem as classificações mais objetivas, precisas e replicáveis. Nesse contexto, o presente trabalho testou diferentes métodos de cálculos de três parâmetros relacionados à distribuição geográfica de B. hypoxanthus e B. arachnoides. Tratam-se de espécies ameaçadas de extinção, com localidades de ocorrência bem conhecidas, que foram profundamente afetadas pela degradação da Mata Atlântica. Assim, podem ser consideradas bons modelos para essas análises. Foi construído um banco de dados de localidades de ocorrência atuais das duas espécies. Por meio de abordagens de Sistemas de Informação Geográfica (SIG), foram estimadas a Extensão de Ocorrência (EOO) através de Mínimo Polígono Convexo e α-hull e Área de Ocupação (AOO) e Subpopulações por meio de métodos de grids, buffers circulares e α-hull, em diferentes escalas espaciais. Os resultados dos cálculos desses parâmetros foram comparados para identificar as abordagens e escalas mais adequadas para a avaliação de risco de extinção. Esses resultados indicam que as listas de localidades e os mapas de distribuição disponibilizados pela UICN precisam ser atualizados. Além disso, sugerem que α-hull é uma abordagem vantajosa para EOO e o método de buffers é mais adequado para os parâmetros de AOO e Subpopulações, quando utiliza escalas espaciais menores. Também foi utilizada a ferramenta GeoCAT, para as duas espécies. Essa ferramenta, por realizar análises de EOO e AOO instantâneas e por seus resultados serem semelhantes aos de outras análises, serve como uma abordagem preliminar de risco de extinção baseado no critério de distribuição geográfica.

Conceitos de eletricidade e suas aplicações tecnológicas : uma unidade de ensino potencialmente significativa

O presente trabalho teve como objetivo central a elaboração de uma unidade de ensino sobre conceitos de eletricidade e validação desse material como uma Unidade de Ensino Potencialmente Significativa (UEPS). Assim, foi desenvolvida uma unidade de ensino sobre os temas diferença de potencial, corrente elétrica e suas aplicações sob a luz da Teoria da Aprendizagem Significativa de Ausubel e aplicada em seis turmas do terceiro ano do ensino médio de uma escola estadual do Espírito Santo. A fim de investigação das potencialidades desse método de ensino, utilizou-se metodologias de pesquisa qualitativa descritiva interpretativa e quantitativa préexperimental. Tendo em vista a importância dos conhecimentos prévios dos estudantes para promover aprendizagem significativa, no início do estudo foram aplicados questionários de opinião, realizados diálogos prévios e construções de mapas conceituais, sendo esses importantes instrumentos para a adequação do material apresentado ao aluno em relação ao seu perfil e à sua estrutura cognitiva. Para coleta de dados da pesquisa foram feitas gravações em áudio das principais etapas, diários de bordo, fotografias dos trabalhos, questionários e mapas conceituais prévios e finais e, finalmente, avaliação escrita. A análise dos mapas conceituais constituiu um dos principais instrumentos para avaliação sob o ponto de vista do desenvolvimento cognitivo dos estudantes, no sentido de classificar os mapas, associá-los às estruturas cognitivas de quem os construiu e identificar variações estatisticamente válidas em relação às construções de novos significados. A investigação revelou que, de modo geral, a unidade foi responsável por melhorias significativas na predisposição dos alunos em aprender e na promoção da aprendizagem significativa, possibilitando sua a validação como uma UEPS.

Variabilidade espacial do estado nutricional do cafeeiro conilon utilizando índice DRIS

A combinação da agricultura de precisão e do Sistema Integrado de Recomendação Foliar (DRIS) possibilita monitorar espacialmente o balanço nutricional dos cafezais para fornecer recomendações de adubação mais equilibradas e mais ajustadas economicamente. O objetivo deste trabalho foi avaliar a variabilidade espacial do estado nutricional do cafeeiro conilon, utilizando o Índice de Balanço Nutricional (IBN) e sua relação com a produtividade. A produtividade das plantas em cada ponto amostral foi determinada e construiu-se o seu mapa considerando a variabilidade espacial; determinou-se o Índice de Equilíbrio Nutricional (IBN) das plantas em cada ponto amostral e construiu-se o seu mapa; e utilizou-se a análise de componentes principais (ACP) para estimar o IBN do cafeeiro por cokrigagem. Os dados do cafeeiro conilon foram coletados em fazenda experimental, no município de Cachoeiro de Itapemirim-ES. O IBN do cafeeiro e a sua produtividade foram analisados por meio de geoestatística, com base nos modelos e parâmetros dos semivariogramas, utilizando o método de interpolação krigagem ordinária para estimar valores para locais não amostrados. O índice de Balanço Nutricional da lavoura do cafeeiro conilon apresentou dependência espacial, porém não apresentou correlação linear e nem espacial com a produtividade. A lavoura em estudo se encontra em desequilíbrio nutricional, sendo que entre os macronutrientes, o Potássio foi o que apresentou maior desequilíbrio na área, entre os micronutrientes, o Zinco e o Ferro foram os que apresentaram menores concentrações nas folhas. A confecção dos mapas possibilitou a distinção de regiões com maior e menor desequilíbrio nutricional e produtividade, o que possibilita adotar o manejo de forma diferenciada e localizada. A análise multivariada baseada em componentes principais fornece componentes com alta correlação com as variáveis originais P, Ca, Zn , Cu, K e B. A cokrigagem utilizando as componentes principais permite estimar o IBN e a produtividade da área.

A dimensão urbana da arquitetura : ambientes de transição

The present work aims to discuss the urban dimension of architecture and to investigate the role of the architectural spaces in the quality of life in between buildings and their environments. It investigates the transitional spaces between building and thoroughfare; building, thoroughfare and built environments located on the ground level of the buildings, and the potential they have to modify (individually or in groups) the environment where they are. For that, the research studies aspects of the architecture that urban buildings (individually or in groups) have and the inference of the morphology, building type and urban environment quality within the extended context of the Brazilian contemporary city. The analysis of the relation between building, thoroughfare and adjacent surroundings will be performed by the lights of, the evolution they have suffered since European urban spatial interventions that took place in the 19th Century; the morphological rupture on the traditional modern city of the 20th Century; the Brazilian experience focused on edifices, by showing analysis of a group of buildings, in their majority, iconic examples of Brazilian architecture from the 1930s onwards; and finally by an extensive investigation on the micro areas that have been selected in the Camburi region, in the city of Vitória-ES, focused on the characteristics of their architectural complex. As a preliminary conclusion, it can be stated that architecture cannot determine the quality in urban life and in its environments by itself, but because of its architectural and urban configuration of space, it may contribute to quality of environment in its surroundings

Para crítica ao campo dos determinantes sociais da saúde

O presente estudo analisa as relações entre a ‘saúde’ e o ‘social’ na Saúde Pública brasileira, especificamente a partir da noção de ‘determinação social da saúde’, focando-a em dois momentos importantes: a década de 70, quando ocorre a construção dessa noção a partir da corrente médico-social latino-americana, e a retomada dessa discussão no século XXI sobre a chancela de ‘determinantes sociais da saúde’. Possuiu como objetivos: Caracterizar a noção de ‘determinação social’ a partir do positivismo nas ciências sociais; pesquisar a construção da noção de ‘determinação social da saúde’ na Saúde Pública brasileira; descrever perspectivas de análises sobre o campo dos determinantes sociais da saúde a partir da polaridade entre a ‘saúde’ e o ‘social’. Para o alcance dos objetivos, foi realizado um estudo exploratório, através da pesquisa bibliográfica (livros e bases de dados virtuais) e da pesquisa documental. Inicialmente apresentamos os pressupostos teórico-filosóficos sobre os quais a ciência moderna se assentou e que construíram a base da corrente positivista. Após, caracterizamos, em linhas gerais, essa corrente de pensamento, para, finalmente, interpretarmos a noção de ‘determinação social’ a partir de Durkheim – uma das principais análises dentro do campo das ciências sociais. Logo após, trazemos a construção da noção de determinação social da saúde a partir da crítica latino-americana da década de 70 ao discurso hegemônico do período sobre o processo saúde-doença. O pensamento latino-americano teve grande produção teórico-política brasileira em um lugar de vanguarda quando comparado a todos os países da América do Sul e Central. Entre outras agendas, a noção de determinação social da saúde, oriunda dos movimentos sociais, pautou a reforma sanitária brasileira, colocando-se como cerne do debate. Noção esta que sustentou a ‘bandeira política’ defendida pelo movimento sanitário na luta por melhores condições de vida e de saúde no Brasil. Em seguida, apresentamos a configuração político-científica mais recente do campo dos determinantes sociais da saúde, destacando que ocorre um enfoque predominantemente reducionista sobre o social. Logo após, trazemos categorias do pensamento da sociologia crítica e da sociologia contemporânea, de forma a oferecer elementos de análise para a crítica à forma como hegemonicamente vem se pautando o discurso no interior do campo dos determinantes sociais da saúde. Ambas as perspectivas apresentam-se de forma não excludentes, não hierárquicas e não concorrentes. Finalizamos tecendo considerações que, longe de serem finais, sinalizam para a necessidade de uma nova perspectiva de partida para os estudos atuais no campo dos determinantes sociais da saúde.

Mapping the Obama administration's response to the Arab Spring

When the Arab Spring broke out, the United States was in a quandary over how to handle the crisis in its attempt to balance its moral obligations and ideals without undercutting its strategic interests and those of its close allies. Flaws in US diplomatic approach have contributed to one of the most serious foreign policy crisis for a US administration to date with consequential upheaval and erosion of the US-built balance of power. The reactions and policy responses of the Obama administration highlight the difficulties in grasping with the new reality in the Middle East and in enunciating a policy platform that could combine American interests and values.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing