Spelling suggestions: "subject:"linguagens normais"" "subject:"linguagens formais""
31 |
Macros como mecanismos de abstração em transformações textuais. / Macros as abstraction mechanisms in textual transformations.Paulo Roberto Massa Cereda 29 June 2018 (has links)
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.
|
32 |
Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. / Proposal for management system requirements method integrating business modeling and formal languages.Oliveira, Valter Castelhano de 23 October 2008 (has links)
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.
|
33 |
Sensor : um sistema sensorial inteligente distribuidoSerapião, Adriane Beatriz de Souza 29 February 1996 (has links)
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
|
34 |
Semantica de sociedades para logicas n-valentesFernández, Victor Leandro 28 July 2018 (has links)
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
|
35 |
Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. / Proposal for management system requirements method integrating business modeling and formal languages.Valter Castelhano de Oliveira 23 October 2008 (has links)
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.
|
36 |
Crenças não ditas, ditos de crençasCunha, Denise Maria Maldonado da 02 August 2018 (has links)
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
|
37 |
Aspectos sequenciais da decodificação sintáticaVelasco, Flávio Roberto Dias 01 1900 (has links)
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.
|
38 |
Linguagens lineares fuzzyCosta, Valdigleis da Silva 05 August 2016 (has links)
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.
|
39 |
Entre o humano e a linguagem: um estudo sobre a filosofia de WittgensteinBozatski, Maurício Fernando [UNESP] 03 April 2008 (has links) (PDF)
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.
|
40 |
A family of coverage criteria based on patterns to the test of metaprogramsAntunes, Cleverton Hentz 15 December 2017 (has links)
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.
|
Page generated in 0.0708 seconds