Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Semiótica da percepção : as relações figurativas por detrás das operações formais do pensamento

Esta tese analisa a forma que orienta o funcionamento da atividade perceptiva. Neste sentido, é pressuposto básico desse trabalho, que a atividade perceptiva possui um modo de relacionar os dados fornecidos pela percepção, que funciona de modo diferente dos princípios descritos pela operatoriedade no nível hipotético-dedutivo. A justificativa desta afirmação é buscada na história do desenvolvimento do conceito de conhecimento, na definição dos aspectos permanentes e mutáveis para o conhecimento nas diferentes correntes epistemológicas e na análise do funcionamento dos centros sensório-motores na fisiologia humana. Os conceitos sobre as formas, que orientam a percepção e a razão foram desenvolvidas com base na Filosofia Crítica de Kant. As interpretações sobre as origens do conhecimento, propostos pelas diferentes correntes epistemológicas, são analisadas com base na teoria cognitiva de Jean Piaget. Esse trabalho propõe uma alternativa para a interpretação das deformações que os sujeitos realizam sobre os dados sensíveis e sobre as relações subjetivas que acontecem cotidianamente.

As vivências musicais formais, não-formais e informais dos adolescentes : três estudos de casos

A presente pesquisa teve como objetivo investigar como os processos de ensino e aprendizagem musical formal se manifestam nas experiências e vivências não-formais e informais dos adolescentes fora da escola. No primeiro capítulo são revistos os estudos realizados por autores da área de Educação Musical, abordando as questões referentes ao ensino e aprendizagem musical dentro e fora da escola. Posteriormente são apresentadas as idéias e discussões realizadas por autores da Educação, bem como as perspectivas que orientam esta pesquisa. Neste capítulo, ainda, é definida a utilização dos termos formal, não-formal e informal no contexto desta pesquisa, partindo da perspectiva de Libâneo (2000). O segundo capítulo descreve a metodologia utilizada para o desenvolvimento desta pesquisa. São discutidos os eixos metodológicos que conduziram esta investigação, procedimentos, coleta e análise de dados. Foram realizados três estudos de caso com adolescentes expostos ao ensino formal de música, e que possuíam experiências musicais em bandas. Os dados foram coletados através de duas entrevistas semi-estruturadas e três observações dos ensaios das bandas, sendo uma dessas gravada em vídeo.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

ProTool : uma ferramenta de prototipação de software para o ambiente PROSOFT

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.

Definição terminológica : fundamentos teórico-metodológicos para sua descrição e explicação

Ao propor uma nova metodologia analítico-descritiva para o enfoque da definição terminológica científica, este trabalho pretende contribuir para o reconhecimento dos perfis desse tipo de definição no escopo do desenvolvimento das teorias terminológicas de perspectiva lingüística. À luz de algumas idéias da semântica enunciativa, especialmente as cunhadas por Émile Benveniste, o estudo demonstra a viabilidade e produtividade de um reconhecimento de relações mantidas quer entre o enunciado-texto da definição e seu ambiente de significação, quer entre o enunciado definitório e seus sujeitos enunciadores. Para tanto, são examinadas as diferentes formulações de definições dicionarizadas para termos de Química, contrastadas com uma pequena amostra de definições de termos de Ciência Política, também coletadas em dicionários especializados. O trabalho conclui que é importante o reconhecimento do enunciado definitório em relação a todo um entorno de significação das linguagens científicas envolvidas, evidenciando que a definição é um objeto textual multidimensional, dotado de características que o fazem exceder aqueles limites mais usuais ou tradicionais de um objeto lógico-categorial. Além disso, o trabalho demonstra que não é funcional, no seu enfoque, uma separação a priori e estrita entre conceitos e significados.

A espetacularização do crime violento pela televisão : o caso do programa Linha Direta

Esta dissertação analisa a espetacularização da criminalidade violenta operada pela televisão, buscando compreender como o jornalismo televisivo representa e produz a questão da criminalidade violenta no Brasil, tendo como referencial empírico o programa Linha Direta da Rede Globo de Televisão. Para analisar textos e imagens em movimento foi utilizada uma combinação de técnicas de pesquisa apoiada nos recentes e poderosos recursos das metodologias informacionais aplicadas à pesquisa qualitativa, mais especificamente o software NVivo. A investigação de uma amostra de programas gravados, relativa aos seis primeiros meses de exibição, permitiu constatar que o Linha Direta leva às últimas conseqüências a tendência do campo jornalístico em misturar jornalismo e ficção, ou seja, recursos da reportagem tradicional e dramaturgia, a partir da reconstrução dos casos criminais com atores. Embora o discurso do programa aponte para uma atuação alinhada com a realização da justiça frente à situação da criminalidade violenta – pelo oferecimento de uma forma de participação do espectador na resolução dos casos –, os elementos narrativos disponibilizados nas reconstruções dos crimes proporcionam a reprodução simbólica do sentimento coletivo de insegurança e impunidade e o reforço da percepção sobre a ineficácia da polícia e da justiça. A partir da exploração dramática e espetacular de imagens de dor, o programa busca legitimação para agir, não apenas como um colaborador das agências formais de controle, mas como um reinventor cultural das práticas jurídicas e de controle social, relativizando, em proveito próprio, os papéis das delegacias e tribunais na sociedade.

OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Suporte a consultas no ambiente temporal de versões

O Modelo Temporal de Versões (TVM Vesions Model) foi proposto com base na união de um modelo de versões com informações temporais. Esse modelo permite o armazenamento de alternativas de projeto, o armazenamento da história dos dados em evolução, bem cmoo a reconstrução do estado da base em qualquer data passada, sem o uso de operações complexas de backup e recovery. Para realizar consultas nesse modelo foi definida uma linguagem de consulta, a TVQL (Temporal Versioned Query Language). Além das consultas básicas realizadas pela linguagem padrão AQL, a TVQL permite novas consultas que retornam valores específicos das características de tempo e versões, estabelecendo um comportamento o mais homogêneo possível para elementos normais e temporais vesionados. O objetivo principal deste trabalho e possibilitar a realização de consultas TVQL em um banco de dados convencional. Nesse contexto, o mapeamento da TVQL é implementando através da tradução de todas as propriedades e funções definidas na TVQL para SQL. Para que isso seja possível é necessário queos dados também estejam nesse banco de dados. Então, faz-se necessário o mapeamento das classes da hierarquia do TVM, bem como das classes da aplciação, para o banco de dados. Adicionalmente, é implementado um protótipo de uma interface de consultas realizadas em TVQL, para testar o funcionamento tanto da TVL como do seu mapeamento.

Uma Proposta de apoio para decisões de grupo no ambiente PROSOFT

O processo de desenvolvimento de software implica na necessidade constante de tomadas de decisão. A cada etapa do processo, torna-se necessário estabelecer a comunicação e interação entre usuários, gerentes, analistas, programadores e mantenedores numa constante troca de informações. O registro dos artefatos produzidos durante todo o processo é uma questão que norteia as pesquisas em ambiente de desenvolvimento de software. Quando se fala em suporte ao processo de colaboração entre os elementos de uma equipe de desenvolvimento, este registro torna-se ainda mais necessário. Neste contexto, a modelagem dos dados a serem armazenados se amplia para comportar outras informações provenientes da interação do grupo além dos artefatos gerados. As informações trocadas durante este processo interativo que incluem fatos, hipóteses, restrições, decisões e suas razões, o significado de conceitos e, os documentos formais formam o que é denominado pela literatura especializada como memória de grupo. A proposta da arquitetura SaDg PROSOFT visa fornecer suporte a memória de grupo, no que diz respeito ao registro das justificativas de projeto(Design Rationale), através de uma integração com o gerenciador de processos (GP) provido pelo ADS PROSOFT. Esta integração se dá através das ferramentas inseridas no modelo, assim desenhadas: Editor de Norma, Editor de Argumentação, Extrator de Alternativas, Editor de Votação. O ADS PROSOFT integra ferramentas para desenvolvimento de software. Este ADS foi escolhido para o desenvolvimento do modelo SADG, pois baseia-se na construção formal de software, mas particularmente no método algébrico, por ser um ambiente estendível, possibilitando a inclusão do modelo SaDg PROSOFT ao seu conjunto de ferramentas, por ter características de um ambiente distribuído e cooperativo e por não dispor de nenhum suporte à discussões e decisões em grupos. São apresentados os fundamentos de modelos SADG e algumas ferramentas. Alguns dos principais requisitos desses ambientes foram coletados e são apresentados a fim de embasar a proposta do trabalho. O modelo SADG é apresentado na forma de ferramentas PROSOFT(chamadas ATOs) e permite a definição de atividades como: Atividade de argumentação, atividade de extração e a atividade de votação. Além disso, permite a coordenação destas atividades através de um facilitador e do próprio GP, e também, possui um mecanismo para a configuração do processo decisório.

Fonologia lexical e controvérsia neogramática : análise das regras de monotongação de /ow/ e vocalização de /l/ no PB

Nesta dissertação, assumimos os pressupostos formais do modelo não-linear da Fonologia Lexical (FL). Adotamos, como hipótese de trabalho - nos termos de Labov (1981), Labov (1994) e Kiparsky (1988)- a resolução da controvérsia neogramática a partir deste modelo. Para tanto, apresentamos a análise de dois fenômenos do Português Brasileiro (PB), com base em dados empíricos extraídos da cidade de Porto Alegre, os quais confrontamos com as predições que emanam do modelo teórico. Num primeiro momento, discutimos o status lexical e pós-lexical das regras de vocalização de /l/ e monotongação de /ow/. Num segundo momento, apresentamos a caracterização desses dois tipos de mudança. Essas discussões fundamentam-se em resultados estatísticos, obtidos a partir da utilização do pacote VARBRUL. Partindo dessas discussões, propomos o ordenamento dessas regras nos componentes do modelo da Fonologia Lexical (FL), rastreando esses processos nos módulos do léxico e do pós-léxico. A escolha destes dois fenômenos não é aleatória: da análise destas regras nos termos da FL emergem questões não devidamente tratadas no PB, como a opacidade e a presença de regras variáveis no léxico. Também destacamos a controvérsia sobre a representação dos segmentos envolvidos nestes processos: dedicamos um capítulo para a discussão sobre a representação da lateral e do processo de vocalização; e outro para a discussão sobre a representação subjacente do ditongo /ow/. Conforme a análise dos resultados, concluímos que a regra de monotongação de /ow/ comporta-se como regra lexical e implementa um tipo de mudança que se difunde lexicalmente. Já a regra de vocalização de /l/ caracteriza-se como regra pós-lexical e encaixa-se no molde de mudança neogramática.

Inscrevendo a sexualidade : discursos e práticas de professoras das séries iniciais do ensino fundamental

Nesta Tese investigo como a sexualidade vem sendo tratada nas salas de aula das séries iniciais do Ensino Fundamental, do município de Rio Grande/RS. Para tanto, analiso narrativas de professoras das séries iniciais que participaram do curso “Discutindo e refletindo sexualidade-AIDS com professoras das séries iniciais do Ensino Fundamental”. Nesse estudo, tomo a sexualidade como uma construção histórica e cultural, que inscreve comportamentos, linguagens, desejos, crenças, identidades, posturas no corpo, através de estratégias de poder/saber sobre os sexos. O entendimento de que questões centrais, no estudo da sexualidade, referem-se ao papel das culturas, dos seus sistemas de significação e relações de poder, uma vez que essas encontram-se implicadas na constituição dos sujeitos, levou-me a estabelecer algumas conexões com os Estudos Culturais nas suas vertentes pós-estruturalistas, bem como com algumas proposições de Foucault. Tais entendimentos moveram-me na direção de examinar como as práticas escolares das professoras das séries iniciais atuam nos processos de inscrição da sexualidade das crianças. Nesse sentido, utilizei como uma estratégia metodológica a realização do curso acima referido, que funcionou como um espaço narrativo, no qual as professoras participaram de um processo de contar, ouvir, e contrapor histórias a respeito das práticas escolares relacionadas à sexualidade. Outra estratégia correspondeu à análise das narrativas dessas professoras – falas, textos, desenhos, cartazes, dramatização –, produzidas durante as atividades desenvolvidas no transcorrer do curso. Num primeiro movimento analisei todos os encontros que compuseram o curso, a fim de conhecer tanto os discursos como as estratégias predominantes nas pedagogias dessas professoras. Esse percurso mostrou-me aqueles encontros em que se tornaram visíveis as estratégias utilizadas pelas professoras para tratarem a sexualidade em suas salas de aula. Assim, elegi os seguintes encontros: “Como fui parar aí dentro? – Sistema reprodutor feminino e masculino” e “Sexualidade e AIDS na sala de aula”. Esses movimentos configuraram esta Tese na forma de três artigos: “Discutindo e refletindo sexualidade-AIDS com professoras das séries iniciais do Ensino Fundamental”; “Falando com professoras das séries iniciais do Ensino Fundamental sobre sexualidade na sala de aula: a presença do discurso biológico”, e “Sexualidade nas salas de aula: pedagogias escolares das professoras das séries iniciais do Ensino Fundamental”. Esse estudo possibilitou-me ver que, nos espaços e nas práticas escolares, se fala rotineiramente na sexualidade: seja nas disposições dos corpos conforme os sexos – nas filas e na sala de aula, nas brincadeiras –; seja naquelas situações vinculadas às práticas de sala de aula, quando a sexualidade torna-se presente através dos programas escolares, dos projetos de educação sexual, das palestras e/ou das perguntas e outras “manifestações” das crianças, em que atuam geralmente os discursos hegemônicos como o biológico, o da famíla-reprodução e o da criança inocente-assexuada. Assim, no espaço escolar articulam-se distintos discursos e práticas direcionados à sexualidade das crianças através de estratégias de inscrição das identidades de gênero e sexuais nos seus corpos, como também de regulação dos fenômenos biológicos, como a gravidez, as doenças sexualmente transmissíveis e a AIDS.

Recuperação com base em Checkpointing : uma abordagem orientada a objetos

Independentemente do modelo de programação adotado, no projeto e implementação de aplicações de alta disponibilidade, faz-se necessário usar procedimentos de tolerância a falhas. Dentre as atividades que trazem consigo interesse de pesquisa na área de Tolerância a Falhas, estão os mecanismos de recuperação em um sistema computacional. Do ponto de vista prático, estes mecanismos buscam manter próximo do mínimo o tempo total de execução de aplicações computacionais de longa duração, ao mesmo tempo em que as preparam para não sofrerem perdas significativas de desempenho, em caso de falhas. Paralelamente à evolução dos sistemas computacionais, foi possível observar também a evolução das linguagens de programação, principalmente as que utilizam o paradigma orientado a objetos. O advento da área de tolerância a falhas na orientação a objetos resultou em novos problemas na atividade de recuperação quanto aos mecanismos de salvamento de estados e retomada da execução, principalmente no que se refere às dificuldades de gerenciamento e controle sobre a alocação de objetos. Entretanto, observa-se que a complexidade de implementação dos mecanismos de recuperação, por parte dos programadores, exige deles conhecimentos mais especializados para o salvamento dos estados da aplicação e para a retomada da execução. Portanto, a simplificação do trabalho do programador, através do uso de uma biblioteca de checkpointing que implemente os mecanismos de salvamento de estados e recuperação é o ponto focal deste trabalho. Diante do contexto exposto, nesta dissertação, são definidas e implementadas as classes de uma biblioteca que provê mecanismos de checkpointing e recuperação. Esta biblioteca, denominada de Libcjp, visa aprimorar o processo de recuperação de aplicações orientadas a objetos escritas na linguagem de programação Java. Esta linguagem foi escolhida para implementação devido à presença dos recursos de persistência e serialização. Para a concepção do trabalho, são considerados ambos os cenários no paradigma orientado a objetos: objetos centralizados e distribuídos. São utilizados os recursos da API de serialização Java e a tecnologia Java RMI para objetos distribuídos. Conclui-se o trabalho com a ilustração de casos de uso através de diversos exemplos desenvolvidos a partir de seus algoritmos originais inicialmente, e incrementados posteriormente com os mecanismos de checkpointing e recuperação. Os componentes desenvolvidos foram testados quanto ao cumprimento dos seus requisitos funcionais. Adicionalmente, foi realizada uma análise preliminar sobre a influência das ações de checkpointing nas características de desempenho das aplicações.

Proposição de modelo de desenvolvimento municipal sustentável com apoio de sistema de informações geográficas : o caso Pinhalão - PR

O objetivo principal deste estudo é definir um modelo referencial para obtenção e tratamento de informações técnicas, sociais, econômicas e ambientais atualizadas, confiáveis e integráveis dos principais sistemas de produção de um município, visando o desenvolvimento municipal sustentável, com apoio de sistema de informações geográficas (SIG). O SIG permite analisar informações de forma mais rápida, segura e de fácil interpretação, viabilizando a implementação de ações com vistas a um desenvolvimento crescente e duradouro, melhorando as condições de vida das famílias de agricultores e o aproveitamento e preservação dos recursos naturais. O desenvolvimento municipal sustentável em Pinhalão, estado do Paraná, Brasil foi potencializado através do uso de SIG e da instituição de um núcleo de informações que visa mediar as forças do governo e da comunidade local. Os indivíduos, grupos e instituições formais tiveram sua organização e acesso às informações e tecnologias facilitados e passaram a ter possibilidade de participar nas decisões de interesse da coletividade, garantindo o uso correto dos recursos e a transparência da gestão pública. O modelo participativo de desenvolvimento municipal sustentável resulta na manutenção e viabilização das propriedades rurais e das bacias hidrográficas, através de atividades que valorizem o uso da mão-de-obra e gerem alta renda por unidade de área, estabelecendo um equilíbrio entre os fatores sociais, econômicos e ambientais.