Linguagens de programação aderentes ao paradigma adaptativo

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, etc., to which is added an adaptive mechanism that is responsible for allowing a dynamic modification in the structure of the underlying mechanism. Adaptive languages have the basic feature of allowing the development of programs that self-modify through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology suggests a new way of thinking. The adaptive programming style may be a feasible alternate way to obtain selfmodifying consistent codes, which allow its use in modern applications for self-modifying.

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.

As percepções dos funcionários sobre as dimensões formais do Programa de controle de uma Instituição Bancária 2003

This work was developed in a financial institution, with the goal of identifying and analyzing the perception of the employees of the areas defined as the resource focus, according the formal dimension of the actual control program implemented in the institution, with the purpose of exploring the vulnerable points and the conflicting related to the increasing of performance of the employee¿s activities and new tools, concepts and news studies case. The work was conducted with the existing base of theories and concepts, following organizational controls, approachs like Elzioni¿s (1964), Amat¿s and Gomes¿s (2001) and Sturdy¿s, Knights¿s and Willmott¿s (1992). The research done was characterized as descriptive because it aims to describe the perceptions, expectations and the employee¿s profiles in the studied organization, such as field research, because it has the objective of promoting interviews and collecting the primary data and documental, because it will also be performed the analysis of the internal documents of the organization. The research also refers to a certain study case with a sectional cut and predominantly quantitative, but with support in quantitative technics for the initial tabulation of data that were analysed afterwords in interpretative form. The characteristics of the financial institution researched of the control program, has been formed predominantly of post-bureaucratic mechanisms focusing in results, in a hegemonic way expanded, of the utility type with strong alienatorian influences in the employees and with low incentive power, related to the increase of the employee¿s compromises. This way, the control program is noticed by the employees as a monitoring mechanism of actions and results, developed only to increase the institution profits, regardless of the impacts of the physical and emotional aspects and increasing, intuitively, the levels of internal dissatisfaction.

As percepções dos funcionários sobre as dimensões formais do programa de controle de uma instituição bancária um estudo de caso

Este trabalho foi desenvolvido em uma instituição financeira, com o objetivo de identificar e analisar a percepção dos funcionários das áreas definidas como foco da pesquisa, quanto às dimensões formais do atual programa de controle implementado na instituição, buscando explorar pontos vulneráveis e conflitantes ao aumento da performance das atividades dos funcionários e novas ferramentas, conceitos e frentes de estudos. O trabalho foi elaborado com base nas teorias e conceitos existentes quanto aos controles organizacionais, como as abordagens de Etzioni (1964), Amat e Gomes (2001) e Sturdy, Knights e Willmott (1992). A pesquisa realizada se caracteriza como descritiva, porque visa descrever as percepções, expectativas e os perfis dos funcionários da organização estudada. Os dados primários foram coletados por meio de entrevistas e os dados secundários através de documentos internos da organização. A pesquisa também se refere a um estudo de caso, com corte seccional e, predominantemente, qualitativo, mas com suporte em técnicas quantitativas para a tabulação inicial dos dados que posteriormente foram analisados de forma interpretativa. A conclusão do trabalho foi de que as características do programa de controle da instituição financeira pesquisada, é constituído, predominantemente, de mecanismos pós-burocrático, focado em resultados, de modo hegemônico expandido e do tipo utilitário, com fortes influências alienadoras nos funcionários e com baixo poder de incentivo, no tocante ao aumento do compromisso dos funcionários. Assim, o programa de controle é percebido pelos funcionários como um mecanismo de monitoramento de ações e resultados, desenvolvido apenas para aumentar os lucros da instituição, sem se preocupar com os impactos nos seus aspectos fisicos e emocionais e aumentando, intuitivamente, os níveis de insatisfação interno.

Programa de microcrédito no nível local: uma alternativa de política pública para ampliar as oportunidades de negócio dos micro e pequenos empreendimentos formais e informais

O microcrédito e o microempreendedor no nível local são os objetos de estudo desta dissertação. Seu objetivo central é verificar a possibilidade de um programa de microcrédito ser alternativa viável de política pública de geração de emprego e renda com capacidade de ampliar as oportunidades para realização de negócio dos microempreendimentos formais e informais no contexto local. Para tanto, é realizada uma descrição e análise do programa de microcrédito do Município de Santo André (SP), em desenvolvimento desde maio de 1998.

Mecanismos formais e informais de regulação na decisão de cooperação : um estudo sobre seus efeitos em dilemas sociais

Ao longo dos anos, campos de estudos como os de ciência política, organizações e economia vêm se debruçando sobre a questão do papel de mecanismos regulativos no comportamento decisório do indivíduo. A partir de óticas e abordagens diferentes, cada um desses campos vem estudando o impacto de instrumentos de regulação na conformação dos atores para determinada orientação de ação. Dos instrumentos mais citados na literatura para regular a ação do ator, podemos apontar os mecanismos formais e informais de regulação. Um intenso debate entre os trabalhos dedicados ao assunto vem sendo travado, discutindo a eficiência de cada um deles na conformação do ator. Dada a relevância desse debate, o presente trabalho teve como objetivo comparar a efetividade de mecanismos formais e informais de regulação na decisão de cooperação do indivíduo em dilemas sociais, que são situações onde cada indivíduo ao buscar seu interesse próprio, leva a coletividade a resultados piores do que aqueles que seriam atingidos, caso houvesse cooperação do grupo. Para alcançarmos o objetivo do trabalho, realizou-se um experimento com alunos da graduação da EAESP-FGV para testar em ambiente laboratorial o comportamento dos agentes sob a pressão dos dois mecanismos de regulação. Os resultados do experimento mostraram que mecanismos informais de regulação têm maior influência na decisão de cooperação do ator, assim como sua presença diminui a necessidade do uso de um mecanismo formal de regulação para assegurar a cooperação dos membros de um grupo.

A decisão intuitiva nas organizações formais contemporaneas : uma analise de suas possibilidades

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.

Linguagens da cidadania: os brasileiros escrevem para a Constituinte de 1987/1988

Esta tese analisa uma amostra de cartas pessoais que integram o fundo documental Coleção Memória da Constituinte, depositado no Arquivo Histórico do Museu da República. Esse fundo reúne documentos produzidos no curso do processo político que resultou na promulgação da atual Constituição Federal brasileira. O Brasil vivenciava um momento de transição democrática, que tinha por objetivo pôr fim ao regime autoritário instalado no país a partir do golpe civil-militar de 1964. A reconstitucionalização colocava-se como a via democrática de luta contra o autoritarismo, recebendo forte e crescente apoio social e tornando-se inclusive um ponto-chave na articulação da eleição indireta de Tancredo Neves e José Sarney à Presidência e Vice-Presidência da República em 1985. Com a eleição e morte de Tancredo, Sarney assume a Presidência e propõe oficialmente a convocação de uma Assembleia Nacional Constituinte no país. Tem início um intenso debate na sociedade e negociações em torno do tipo de Constituinte que se desejava estabelecer, com destaque para a organização de um amplo e bem estruturado movimento social em prol da participação popular na Constituinte, então aclamada como uma condição para a construção de um Brasil verdadeiramente democrático. As cartas analisadas nesta tese inserem-se no quadro das iniciativas de participação na Constituinte empreendidas no país. Elas foram escritas por populares, em razão daquele momento de reconstitucionalização, e enviadas a autoridades do mundo da política. Registram reivindicações, pedidos, comentários, críticas, denúncias e sugestões da população para a futura Constituição. O objetivo da tese é, por um lado, mostrar que essas cartas são formas de participação política, singulares e especiais, que valorizam a dimensão democrática da política. Por outro, identificar os sentidos atribuídos nas cartas às noções de “direitos do cidadão” e “deveres dos representantes políticos”, naquele momento em que o país se colocava a tarefa de elaborar uma nova Constituição – a “Constituição Cidadã”.

O equilíbrio social nas organizações formais: o caso do jornal interno

Aborda o equilíbrio social nas organizações formais, como conseqüência da socialização e do controle social a que são submetidos os indivíduos, enquanto membros de um grupo social específico - derivado das relações de trabalho. Analisa o papel desempenhado pelo jornal interno no processo de socialização e de controle social dos empregados. Apresenta resultados de estudos empíricos realizados, a saber: análise de conteúdo das mensagens do jornal interno e pesquisas com edi tores e leitores do referido canal de comunicação, em cinco organizações brasileiras.

Os limites formais para a celebração do acordo de leniência (Lei 12.846/13) em face das garantias do particular

O presente trabalho apresenta um estudo sobre a recente Lei n. 12.846/13, em especial sobre o instituto do acordo de leniência, buscando estabelecer um marco para a celebração desses ajustes tendo em vista os direitos e garantias estabelecidos pela Constituição da República Federativa do Brasil de 1988. Inicialmente, aborda-se as intensas mudanças promovidas no Estado moderno e no direito sancionador de forma geral, questiona-se, em seguida, a existência de um núcleo comum entre o direito penal e o direito administrativo sancionador. Busca-se, por fim, propor soluções para maximizar a eficácia do sistema de controle e sanção da Lei n. 12.846/13, tendo em vista a necessidade de se harmonizar a Regulação Pública com a segurança jurídica e os direitos constitucionais da pessoa jurídica investigada, em especial quando ela celebra o acordo de leniência.