Abstração é um processo que consiste em encontrar similaridades em artefatos e omitir detalhes desnecessários em um particular momento. Em geral, tal processo resulta em simplificação, substituindo situações do mundo real complexas e excessivamente detalhadas por modelos compreensíveis que admitem resolução. Na computação, existem estilos de programação que fornecem ao programador uma visão particular sobre a organização e execução de um programa. Cada estilo viabiliza formas de representação e tratamento de abstrações aderentes ao conjunto de conceitos, valores, percepções e práticas compartilhadas por uma comunidade. Em particular, o fenômeno de reescrita de termos viabiliza transformações entre espaços de abstração. Como instância de tal fenômeno, macros constituem um padrão sintático que especifica uma transformação simbólica ou algorítmica sobre uma sequência de símbolos associada. Na ocorrência de uma instância de tal padrão sintático, este é substituído pela aplicação de sua transformação correspondente. Dada a importância da disponibilização de estruturas de representação mais convenientes às necessidades dos usuários, o objetivo principal desta tese é tratar da utilização de sistemas de reescrita como mecanismos de abstração em transformações textuais. Para tal, técnicas de projeto e aspectos de implementação de tais sistemas são apresentados, com enfoque em macros. / Abstraction is a process of finding similarities in artifacts and omitting unnecessary details at a particular moment. In general, such a process results in simplification, replacing complex and overly detailed real-world situations with understandable models that admit resolution. In computing, there are programming styles that give the programmer a particular insight into the organization and execution of a program. Each style enables forms of representation and treatment of abstractions adhering to the set of concepts, values, perceptions and practices shared by a community. In particular, the term rewriting phenomenon enables transformations along spaces of abstraction. As an instance of such a phenomenon, macros constitute a syntactic pattern that specifies a symbolic or algorithmic transformation over an associated symbol sequence. In the occurrence of an instance, the matched syntactic pattern is replaced by the application of its corresponding transformation. Given the importance of making representation structures more convenient to users\' needs, this thesis aims at addressing the use of rewriting systems as abstraction mechanics in textual transformations. To this end, design techniques and implementation aspects of such systems are presented, focusing on macros.

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem o software de apoio à gestão. Entrega com atraso, acima do orçamento e não suprindo as reais necessidades dos usuários finais ou da organização que está financiando o desenvolvimento do sistema, são os principais problemas. Esse último problema é o que mais afeta o desenvolvimento de sistemas e é um desafio para que o desenvolvimento personalizado seja uma solução real para várias empresas. Este trabalho apresenta uma proposta de método de gestão que auxilie a comunicação entre as atividades associadas à engenharia de requisitos e as atividades associadas à modelagem dos processos de negócio. Essa abordagem concerne à gestão e tratamento de requisitos de sistemas baseando-se em técnicas de engenharia de processos de negócios e de engenharia de requisitos, no processo unificado de desenvolvimento de software e na utilização de linguagens semi-formais e formais de modelagem, UML e SysML respectivamente. O método pretende mitigar os efeitos dos problemas de comunicação existentes entre os diversos integrantes de um projeto, com especial atenção para a comunicação entre a equipe de requisitos do projeto e os stakeholders responsáveis pela aceitação e aprovação do sistema. A pesquisa, com o apoio da apresentação de dois casos que ilustram o método de gestão proposto, permite concluir que é possível tornar mais efetiva e produtiva a comunicação entre os diversos envolvidos com o projeto, podendo resultar em um processo mais eficiente para a aceitação dos requisitos junto aos stakeholders. / Despite new and effective software engineering techniques, system development projects are likely to have the same problems that affect the management support software. Delivery delay, above budget and not fitting the real needs of end users or the organization that is funding the system development, are the most common problems. The latter problem is the one that most affects the systems development and is a challenge for the custom development to be a real solution to several companies. This work presents a proposal for a management method to help the communication between the activities associated with the engineering requirements and the activities associated with business processes modeling. This approach, concerns to the systems requirements treatment and management, is based on business processes engineering and requirements engineering, in software development unified process and in the use of semi-formal and formal modeling languages as UML and SysML, respectively. The method seeks to mitigate the effects of the communication problems among the project members, with special attention to the communication between the project requirements team and the stakeholders responsible for the system acceptance and adoption. The research, supported by the presentation of two cases which illustrates the proposed management method, has concluded that it is possible to make more effective and productive communication among members related with the project, which may result a more efficient process for the stakeholders requirement acceptance.

Orientador: Armando Freitas da Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T01:58:59Z (GMT). No. of bitstreams: 1 Serapiao_AdrianeBeatrizdeSouza_M.pdf: 6324102 bytes, checksum: 24147ff392a328bdf9bcc9a6bc9c4b42 (MD5) Previous issue date: 1996 / Resumo: O objetivo deste trabalho é utilizar um sistema distribuído, chamado SENSOR, para simular o sistema visual natural e verificar a consistência de algumas hipóteses sobre sua fisiologia. Visto que o processamento da informação visual ocorre em estágios distintos que requerem a especialização e a distribuição de células no cérebro, usamos esta analogia para criar em um sistema computacional distribuído, agentes capazes de realizar as mesmas funções que seus análogos biológicos. Para tanto, estes agentes foram modelados à partir do neurônio proposto por Rocha [Roc92], que possui capacidades computacionais numéricas e simbólicas, e cujo processamento é suportado pela teoria de linguagens formais nebulosas. Utilizou-se a abordagem sintática como ferramenta básica para o reconhecimento de padrões e análise de cenas, e para avaliar a potencialidade do sistema SENSOR. Propôs-se aqui um algoritmo para o reconhecimento e aprendizagem de padrões, chamado algoritmo de aprendizagem por moldes. Nesta abordagem, os padrões são contornos de imagem extraídos pelo sistema visual artificial que obedecem uma gramática nebulosa definida e cenas são compostas por objetos que partilham relações suportadas por gramáticas nebulosas aprendidas ou definidas ad hoc / Abstract: This work describes an artificial distributed intelligent system, called SENSOR , aimed to simulate the natural visual system and to verify the consistency of some hypothesis in the literature about its physiology. The processing of the visual information occurs in different levels, requiring the specialization and distribution of the neuron. This paradigm was used to create the artificial system, where agents able to perform the same functions of their biological analogous. These agents were modeled using the formal neuron supported by fuzzy formallanguage theory. The syntactic approach in the theory of artificial visual systems was chosen as the basic tool to handle pattern recognition and scene analysis. The patterns are extracted from the image as contours, complying a defined fuzzy grammar and scenes are composed by objects, sharing relations supported by learned fuzzy grammars ar ad hoc / Mestrado / Mestre em Engenharia Elétrica

Orientador : Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-28T18:03:20Z (GMT). No. of bitstreams: 1 Fernandez_VictorLeandro_M.pdf: 540368 bytes, checksum: 0818913d30776ed86715893fde72c2df (MD5) Previous issue date: 2001 / Mestrado

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem o software de apoio à gestão. Entrega com atraso, acima do orçamento e não suprindo as reais necessidades dos usuários finais ou da organização que está financiando o desenvolvimento do sistema, são os principais problemas. Esse último problema é o que mais afeta o desenvolvimento de sistemas e é um desafio para que o desenvolvimento personalizado seja uma solução real para várias empresas. Este trabalho apresenta uma proposta de método de gestão que auxilie a comunicação entre as atividades associadas à engenharia de requisitos e as atividades associadas à modelagem dos processos de negócio. Essa abordagem concerne à gestão e tratamento de requisitos de sistemas baseando-se em técnicas de engenharia de processos de negócios e de engenharia de requisitos, no processo unificado de desenvolvimento de software e na utilização de linguagens semi-formais e formais de modelagem, UML e SysML respectivamente. O método pretende mitigar os efeitos dos problemas de comunicação existentes entre os diversos integrantes de um projeto, com especial atenção para a comunicação entre a equipe de requisitos do projeto e os stakeholders responsáveis pela aceitação e aprovação do sistema. A pesquisa, com o apoio da apresentação de dois casos que ilustram o método de gestão proposto, permite concluir que é possível tornar mais efetiva e produtiva a comunicação entre os diversos envolvidos com o projeto, podendo resultar em um processo mais eficiente para a aceitação dos requisitos junto aos stakeholders. / Despite new and effective software engineering techniques, system development projects are likely to have the same problems that affect the management support software. Delivery delay, above budget and not fitting the real needs of end users or the organization that is funding the system development, are the most common problems. The latter problem is the one that most affects the systems development and is a challenge for the custom development to be a real solution to several companies. This work presents a proposal for a management method to help the communication between the activities associated with the engineering requirements and the activities associated with business processes modeling. This approach, concerns to the systems requirements treatment and management, is based on business processes engineering and requirements engineering, in software development unified process and in the use of semi-formal and formal modeling languages as UML and SysML, respectively. The method seeks to mitigate the effects of the communication problems among the project members, with special attention to the communication between the project requirements team and the stakeholders responsible for the system acceptance and adoption. The research, supported by the presentation of two cases which illustrates the proposed management method, has concluded that it is possible to make more effective and productive communication among members related with the project, which may result a more efficient process for the stakeholders requirement acceptance.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T18:02:38Z (GMT). No. of bitstreams: 1 Cunha_DeniseMariaMaldonadoda_M.pdf: 630817 bytes, checksum: b79c7cd74fd041ea0461293543078db2 (MD5) Previous issue date: 2003 / Mestrado

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-04-05T18:42:01Z No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) / Made available in DSpace on 2018-04-05T18:42:01Z (GMT). No. of bitstreams: 1 131488.pdf: 3589192 bytes, checksum: 5c39ddf4ef3d285ba2bccd969b191920 (MD5) Previous issue date: 1973-01 / Usa a informação sintática contida nas sentenças pertencentes a uma linguagem formal na sua decodificação quando as mesmas são transmitidas através um canal ruidoso. É adaptado o algoritmo de Fano da decodificação sequencial na decodificação sintática. O algoritmo é simulado em computador IBM 370 para três diferentes linguagens e canais de transmissão. / Use the syntactical information of the sentences of a formal language in their decoding, after they have passed through a noisy channel. Fano's algorithm for sequential decoding is adapted to syntactical decoding. The algorithm is simulated in the IBM 370 for three diferent sources and channels. The results o f the simulation are discussed and analysed.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-07-30T13:28:52Z No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-07-30T22:29:06Z (GMT) No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) / Made available in DSpace on 2018-07-30T22:29:06Z (GMT). No. of bitstreams: 1 ValdigleisDaSilvaCosta_DISSERT.pdf: 14438862 bytes, checksum: 0296c1fddc9f8c42cbaf0336bdad7e55 (MD5) Previous issue date: 2016-08-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / As linguagens formais definidas no final da década de 50, tem uma grande importância dentro da ciência da computação, em especial para aplicações em análise léxica e sintática dentro da construção dos compiladores e também em técnicas de inferência gramatical. A hierarquia estendida de Chomsky além de “organizar” as linguagens formais, nos possibilita traçar uma relação entre as classes de linguagens e os formalismos em termos de máquinas de estados (ou autômatos). Entre as classes de linguagens na hierarquia estão as linguagens lineares, para as linguagens desta classe existem no mínimo quatro tipos de “dispositivos”, que computam sobre elas. Entre eles estão os λ-autômatos lineares não-determinísticos propostos por Bedregal. Ao final da década de 60, Lee e Zadeh propuseram as linguagens fuzzy, numa tentativa de diminuir a distância entre as linguagens formais e as linguagens naturais. Por sua vez, Wee e Fu para capturar a noção de incerteza, durante o processo de reconhecimento de cadeias de uma linguagem, introduzem o conceito de autômatos fuzzy. Assim como na teoria clássica, podemos traçar uma relação entre as classes das linguagens fuzzy e os autômatos fuzzy. No entanto, diferente da teoria clássica, até o presente momento não existe nenhum autômato fuzzy concebido diretamente para computar sobre a classe das linguagens lineares fuzzy, isto é, que se relacione com as linguagens lineares fuzzy de forma direta. Portanto, este trabalho se propõe a realizar um estudo sobre a construção de autômatos fuzzy desenvolvidos para reconhecer as linguagens lineares fuzzy. Além disso, dado que dentro do estudo de linguagens formais, a investigação dos operadores de fecho sobre as classes de linguagens é um importante ponto, neste trabalho, iremos também investigar quais dos operadores (união, intersecção, etc) são fechados sobre as classes das linguagens lineares fuzzy. / Formal languages defined in the late 50’s play an important role in computer science, especially for applications in lexical and syntactic analysis in the construction of compilers and also in grammatical inference techniques. The extended Chomsky hierarchy in addition to “organize” formal languages, enables us to draw a relationship between the classes of languages and formalisms in terms of state machines (or automata). Among the languages classes in the hierarchy, one can find the linear languages. For such languages of this class, there are at least four types of “devices” performing computations on them. One can highlight the Nondeterministic Linear Automata, as proposed by Bedregal. In the end of the 60s, Lee and Zadeh proposed fuzzy languages in an attempt to decrease the distance between formal languages and natural languages. In turn, Wee and Fu capture the concept of uncertainty as they introduced the concept of fuzzy automata during the process of recognizing a language, similarly to the classical theory. Therefore, one can trace a relationship between the classes of fuzzy language and fuzzy automata. However, differently from the classical theory, up to now there is no designed fuzzy automata directly to compute on the class of fuzzy linear languages, i.e., relating to fuzzy linear languages directly. Therefore, this work aims to carry out a study on the construction of fuzzy automata developed to recognize the fuzzy linear languages. Furthermore, based on the study of formal languages, the investigation of the closure operators on languages classes is an important point; this work will also investigate which of the operators (union, intersection, etc.) are closed on the classes of fuzzy linear languages.

Made available in DSpace on 2014-06-11T19:25:29Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-04-03Bitstream added on 2014-06-13T20:27:38Z : No. of bitstreams: 1 bozatski_mf_me_mar.pdf: 850559 bytes, checksum: e97863cf099ca1ae60ffd92574f52040 (MD5) / Procuramos delimitar o âmbito de interação do humano com a realidade a partir da teoria lingüística expressa no Tractatus Logico-Philosophicus e nas Investigações Filosóficas. A partir da identificação deste âmbito ontológico-lingüístico da ação humana, representadas pela tríade agir/sentir/pensar, demonstraremos como a linguagem representa a realidade a partir da afiguração. Através de contextualizações e aproximações das teorias wittgensteinianas com noções filosóficas tradicionais busca-se demonstrar a inovação do método wittgensteiniano e suas possibilidades de aplicação ao exercício filosófico contemporâneo. / We have tried to delimit the ambit of the human's interaction with the reality starting from the linguistic theory expresses in Tractatus Logico-Philosophicus and in the Philosophical Investigations. Starting from the identification of this ontological-linguistic ambit of the human action, represented by the triad to act/to feel/to think, we will demonstrate as the language it represents the reality starting from the representation. Through contextualize and approaches of the Wittgenstein’s theories with the traditional philosophical notions, we aim for to demonstrate the innovation of the Wittgenstein’s method and your application possibilities to the contemporary philosophical exercise.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2018-04-11T19:36:14Z No. of bitstreams: 1 ClevertonHentzAntunes_TESE.pdf: 1017090 bytes, checksum: f067305182409e4dcfb731ca7b2c95ca (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-04-12T23:44:18Z (GMT) No. of bitstreams: 1 ClevertonHentzAntunes_TESE.pdf: 1017090 bytes, checksum: f067305182409e4dcfb731ca7b2c95ca (MD5) / Made available in DSpace on 2018-04-12T23:44:18Z (GMT). No. of bitstreams: 1 ClevertonHentzAntunes_TESE.pdf: 1017090 bytes, checksum: f067305182409e4dcfb731ca7b2c95ca (MD5) Previous issue date: 2017-12-15 / O Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico - CNPq / Apesar da exist?ncia de v?rias t?cnicas para a gera??o autom?tica de dados de teste baseados em gram?ticas, poucos trabalhos foram propostos no sentido de melhorar os dados de teste gerados aplicando restri??es sem?nticas. Nesse sentido, contribuimos neste trabalho, nesta dire??o para o caso particular do teste de metaprogramas, um programa que tem como dado de entrada um outro programa. Atualmente, a alternativa natural para o teste deste tipo de programa ? a t?cnica de testes baseados em gram?ticas. Essa t?cnica de teste pode ser aplicada de maneira relativamente simples, por?m com um custo de gera??o e execu??o do conjunto de testes elevado e uma efetividade baixa. Por outro lado, diversas pesquisas e ferramentas de grupos interessados no desenvolvimento de metaprogramas fazem uso intenso do recurso de casamento de padr?es durante a sua implementa??o e especifica??o. Neste caso, os padr?es oferecem uma fonte de informa??o interessante para a cria??o de testes que s?o sintaticamente v?lidos e tamb?m satisfazem restri??es sem?nticas. Dada a limita??o dos testes baseados em gram?ticas e considerando a informa??o embutida nos padr?es existentes nos metaprogramas, temos a oportunidade de contribuir para a melhoria do processo de teste para esses programas. Logo, o objetivo deste trabalho ? avaliar o uso da informa??o de padr?es para o teste de metaprogramas e com isso contribuir no seu processo de teste. No intuito de sistematizar o processo de teste de software, o documento apresenta um processo de design de teste e tamb?m uma fam?lia de crit?rios de cobertura baseados em padr?es para o teste eficiente e sistematizado de metaprogramas baseados em padr?es. S?o propostos quatro crit?rios de cobertura baseados em padr?es e nos crit?rios de particionamento do espa?o de entrada. Tamb?m ? apresentada uma hierarquia entre os crit?rios propostos. Com isso, diferentes n?veis de rigor podem ser requeridos no processo atrav?s da escolha do crit?rio adequado. A valida??o dessas contribui??es ? feita atrav?s de um estudo de caso e uma valida??o emp?rica. O estudo de caso apresenta uma instancia??o de refer?ncia para o processo de design de testes de um verificador de tipos implementado como metaprograma baseado em padr?es. O verificador de tipos ? testado usando um conjunto de testes gerados pelos crit?rios de cobertura baseados em padr?es. A qualidade desse conjunto ? avaliada utilizando a t?cnica de muta??o e atrav?s da compara??o dos resultados obtidos com testes gerados por crit?rios baseados em gram?ticas. Os estudos experimentais indicam a efetividade da aplica??o dos crit?rios baseados em padr?es e o ganho em custo-benef?cio em rela??o aos crit?rios baseados em gram?ticas no contexto do teste de metaprogramas baseados em padr?es. / Although there are several techniques for the automatic generation of test data based on grammars, few studies have been proposed to improve the test data generated by applying semantic restrictions. In this sense, we intend to contribute in this direction for the particular case of testing metaprograms, programs that have other programs as input. Currently, the natural alternative to testing this kind of program is using the grammar-based testing. That testing technique can be applied relatively easily, but with high costs, related to the generation and execution of the test set, and low effectiveness. Many researches and tools dedicated to the development of metaprograms make heavy use of pattern matching for their implementation and specification. In this case, the patterns offer an interesting source of information for creating tests that are syntactically valid and also satisfy semantic constraints. Given the limitation of grammar-based testing and pattern information on the metaprograms, we identified an opportunity to contribute to the improvement of the testing process for these programs. Therefore, the goal of this work is to evaluate the use of pattern information for the testing of pattern-based metaprograms and thus contribute to their testing process. In order to systematize the software testing process, a family of coverage criteria based on patterns is proposed to test pattern-based metaprograms efficiently and systematically. Four pattern-based coverage criteria are proposed, they are based on classical input space partitioning combination criteria. Furthermore, a hierarchical relationship between the criteria is presented. Therefore, different levels of rigor can be required by choosing the appropriate criterion. The validation of these contributions is made using a case study and empirical validation. The case study presents a reference instantiation for the test design process applied to a type checker implemented as metaprogram based on patterns. The type checker is tested using a test set generated by the pattern-based coverage criteria, and the quality of this set is evaluated using the mutation technique. The results obtained are compared with those produced by a test set generated by the grammar-based criteria. The experimental studies indicate the effectiveness of the application of these patternbased criteria and a gain of cost-return in relation to the grammar-based coverage criteria.