A group whose co-word problem is a context free language is called coCF. Lehnert's conjecture states that a group G is coCF if and only if G embeds as a finitely generated subgroup of R. Thompson's group V. In this thesis we explore a class of groups, Faug, proposed by Berns-Zieze, Fry, Gillings, Hoganson, and Mathews to contain potential counterexamples to Lehnert's conjecture. We create infinite and finite presentations for such groups and go on to prove that a certain subclass of Faug consists of groups that do embed into V. By Anisimov a group has regular word problem if and only if it is finite. It is also known that a group G is finite if and only if there exists an embedding of G into V such that its natural action on C₂:= {0,1}^w is free on the whole space. We show that the class of groups with a context free word problem, the class of CF groups, is precisely the class of finitely generated demonstrable groups for V. A demonstrable group for V is a group G which is isomorphic to a subgroup in V whose natural action on C₂ acts freely on an open subset. Thus our result extends the correspondence between language theoretic properties of groups and dynamical properties of subgroups of V. Additionally, our result also shows that the final condition of the four known closure properties of the class of coCF groups also holds for the set of finitely generated subgroups of V.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Socio-Economico / Made available in DSpace on 2012-10-16T22:53:47Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T17:36:21Z : No. of bitstreams: 1 87497.pdf: 6250429 bytes, checksum: 496320b38bfbb052029429f7d0f2b41f (MD5) / Esta dissertação é um estudo de caso, elaborada sob o enfoque grupal, que possue o propósito de verificar a correlação entre a produtividade, a coesão e a conformidade às normas nas unidades organizacionais da CASAN, o que permite visualizar o conflito formal-informal por este ângulo específico. Fundamenta-se, portanto, a partir de dois modelos explicativos distintos: para a análise do modo formal de conduta, indicado pela produtividade de unidades organizacionais utiliza-se o modelo racional com seus elementos burocráticos-estruturais. Para a compreensão do modo formal de conduta, indicados pelas variáveis interativas coesão e conformidade às normas, utiliza-se o modelo de relações humanas elucidado pela psicologia social.

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.

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.

Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2017-06-09T12:32:23Z No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-12T15:27:57Z (GMT) No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Made available in DSpace on 2017-06-12T15:27:57Z (GMT). No. of bitstreams: 1 MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Este trabalho apresenta um protocolo que torna o uso compartilhado de Ethernet eficiente para dar suporte aos sistemas de tempo real modernos. O protocolo foi especificado formalmente e sua correção foi atestada automaticamente através de um verificador de modelo. Em seguida, um protótipo foi realizado numa plataforma operacional de tempo real. Os resultados experimentais confirmaram a capacidade do protocolo em atender os objetivos definidos na sua proposta. As aplicações que podem se beneficiar deste protocolo são principalmente aquelas compostas de dispositivos heterogêneos e distribuídos que têm restrições temporais de natureza críticas e não-críticas. Utilizando o protocolo proposto, tais sistemas podem utilizar o mesmo barramento Ethernet de forma eficiente e previsível. A utilização do barramento é otimizada através da alocação apropriada da banda disponível para os dois tipos de comunicação. Além disso, o protocolo, compatível com os dispositivos Ethernet comuns, define um controle descentralizado do acesso ao meio que garante flexibilidade e confiabilidade à comunicação.

Submitted by Estagiário SPT BMHS (spt@fgv.br) on 2011-11-10T10:38:08Z No. of bitstreams: 1 000058992.pdf: 2398196 bytes, checksum: af3264ec4a900b7a287cf28f9d3ee3d1 (MD5) / Approved for entry into archive by Estagiário SPT BMHS (spt@fgv.br) on 2011-11-10T10:38:21Z (GMT) No. of bitstreams: 1 000058992.pdf: 2398196 bytes, checksum: af3264ec4a900b7a287cf28f9d3ee3d1 (MD5) / Approved for entry into archive by Estagiário SPT BMHS (spt@fgv.br) on 2011-11-10T10:38:29Z (GMT) No. of bitstreams: 1 000058992.pdf: 2398196 bytes, checksum: af3264ec4a900b7a287cf28f9d3ee3d1 (MD5) / Made available in DSpace on 2011-11-10T10:38:38Z (GMT). No. of bitstreams: 1 000058992.pdf: 2398196 bytes, checksum: af3264ec4a900b7a287cf28f9d3ee3d1 (MD5) Previous issue date: 1993 / Jà há algum tempo o ocidente se vê questionado nos fundamentos que estruturam o saber e, consequentemente. o universo das ciências . ... A chamada razão. até então o pardigma absoluto. vem sendo contraposta a intuição como forma igualmente válida de alicerçar a ação humana na busca do conhecimento verdadeiro. Na Administração, tanto quanto em outros campos do conhecimento. a intuição vem sendo abordada por diversos estudiosos das organizações no seu ponto mais nevrálgico: a decisão gerencial. O presente trabalho discute esta questão a partir de uma análise crítica dos modelos racionais de decisão preconizados. estes fundamentados sobre uma compreensão funcionalista de organização e intenciona acrescentar às discussões já existentes a noção de intuição como método de pensamento do humano, portanto tão lógico quanto a dedução. Para tal, este estudo se vale de alguns referenciais postos por pensadores mais contemporâneos, destacando a Fenomenologia de Edmund Husserl. São abordados ainda estruturadas na direção fundamento da ação humana, à compreensão husserliana algumas configurações organizacionais da validação da intuição também como mesmo que nao necessariamente atreladas de intuição. O trabalho ainda defende a noção de supra-realidade, noção esta que traduz a síntese das diversas lógicas e não a mera agregação delas. Procura, assim. abrir espaço para reflexões na direção da necessidade da construção de novos arranjos organizacionais que reflitam essa síntese.

No description available.

This study explores the impact of an overnight camp experience for impoverished South African youth. I worked as a Youth Development Worker with the Ukulapha Community Outreach Project for six months in 2016. My research looks at one non-formal education (NFE) program in KwaZulu-Natal, South Africa through the lenses of critical theory and critical pedagogy. Emancipatory learning, social justice, and empowerment were the particular themes that framed my research. I used a qualitative design including an autoethnographic element to conduct my research. The study included six in-person semi-structured interviews with camp participants, one year after the conclusion of the camp. Additionally, four students provided participant journals where they wrote about their experience at the camp. I wove into the study my own participation, observations, journaling, and a blog. Findings show that the camp provided diverse skills development for personal empowerment, a new possibility to learn with and through nature, leadership development, and important intergenerational learning. Issues of gender were also highly prevalent, however. The five recommendations for future research that come from the study include the need for a more in depth follow up study with the same and more participants, involvement of a South African researcher who can conduct interviews in isi-Zulu, a longer camp, and outreach to different aged youth and youth from other South African provinces. / Graduate

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.

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.