Sintaxe Formal
Mostrando 13-24 de 36 artigos, teses e dissertações.
-
13. E-dart : um ambiente de especificação e-lotos / E-DART - an E-LOTOS specification environment
O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos sistemas. Contudo, apenas a existência de técnicas de descrição formal não garante o eficiente emprego das mesmas na especificação dos sistemas. É necessária a existê
Publicado em: 2010
-
14. Semântica e uma ferramenta para o método SADT
A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de repr
Publicado em: 2010
-
15. Larch : uma alternativa para especificação formal
Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis simultaneamente a projetistas, a especificadores e a programadores. A abordagem Larch esta orientada a especificação de módul
Publicado em: 2010
-
16. Aspectos sintáticos do infinitivo com verbos causativos no Português Europeu : um abordagem diacrônica / Syntactic aspects of infinitive with causative verbs in the European Portuguese : a diachronic approach
Este trabalho visa analisar os complementos infinitivos selecionados por verbos causativos na história do Português Europeu. Em português, os causativos podem ocorrer nas construções de predicados complexos (fazer-infinitivo e fazer-por), estruturas de ECM e de infinitivo flexionado, que apresentam propriedades distintas em relação à marcação Casua
Publicado em: 2010
-
17. O dativo de terceira pessoa no português culto falado em Belém / The use of the third person dative in the formal Portuguese spoken in Belém
Esta dissertação faz um estudo do dativo de terceira pessoa no português culto falado em Belém. Os passos utilizados para se chegar a esse estudo foram dois: um levantamento criterioso da descrição do objeto indireto nas principais gramáticas de língua portuguesa e em vários estudos (artigos, dissertações, teses) com base em descrições lingüís
Publicado em: 2010
-
18. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
19. Em busca de uma essência poética: a expressividade do substantivo em João Cabral de Melo Neto / In search of a poetic essence: the expressiveness of the noun in João Carlos de Melo Neto
Este trabalho, ao analisar a expressividade do substantivo em João Cabral de Melo Neto, objetiva contribuir para um ensino produtivo de língua materna ao conceber a gramática concretizada em textos. O substantivo, visto pela tradição gramatical dentro dos limites da morfologia e da sintaxe, passa a ser resgatado como elemento responsável e criador de u
Publicado em: 2010
-
20. Formalização do processo de tradução de consultas em ambientes de integração de dados XML / Formalization of a query translation process in XML data integration
A fim de consultar uma mesma informação em fontes XML heterogêneas seria desejável poder formular uma única consulta em relação a um esquema global conceitual e então traduzi-la automaticamente para consultas XML para cada uma das fontes. CXPath (Conceptual XPath) é uma proposta de linguagem para consultar fontes XML em um nível conceitual. Essa li
Publicado em: 2009
-
21. Polinomization of logics : problems and perspectives / Polinomização de logicas : problemas e perspectivas
A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles,
Publicado em: 2009
-
22. Metodologia para detecção de incoerências entre regras em filtros de pacotes / Methodology for incoherencies identification among packet filters rules
Embora firewall seja um assunto bastante discutido na área de segurança da informação, existem lacunas em termos de verificação de firewalls. Verificações de firewalls têm o intuito de garantir a correta implementação dos mecanismos de filtragem e podem ser realizadas em diferentes níveis: sintaxe das regras; conformidade com a política; e relac
Publicado em: 2008
-
23. Neologismos lacanianos e equivalências tradutórias
O psicanalista francês Jacques Lacan desenvolveu, a partir de uma releitura de Freud, um aparato conceitual inovador e denso, em que se sobressaem uma sintaxe incomum e a abundante criação de neologismos. Essa produtividade neológica terá conseqüências sobre a tradução de sua obra, levantando problemas de difícil solução. Em que pese a receptivid
Publicado em: 2008
-
24. As sentenças relativas em portugues brasileiro : aspectos sintaticos e fatos de aquisição / Relative clauses in Brazilian Portuguese : syntax and acquisition issues
Este estudo investiga a aquisição das estratégias relativas em português brasileiro (PB). Os corpora investigados são constituídos de dados de fala naturalísticos-longitudinais de três crianças, dos 1;6 aos 3;6 anos de idade, bem como de dados da fala de seus interlocutores adultos. Assumindo a proposta de Kato (1993) e Kato e Nunes (2007), segundo
Publicado em: 2008