Relevant bibliographies by topics / Paradigmas de Linguagens de Programação / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Paradigmas de Linguagens de Programação.

Dissertations / Theses on the topic 'Paradigmas de Linguagens de Programação'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Paradigmas de Linguagens de Programação.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Travassos, Sarinho Victor. "Uma biblioteca de componentes semânticos para especificação de linguagens de programação." Universidade Federal de Pernambuco, 2003. https://repositorio.ufpe.br/handle/123456789/2510.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:58:53Z (GMT). No. of bitstreams: 2 arquivo4739_1.pdf: 546621 bytes, checksum: 436ff68296454e12baa513372b9a2fe8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003<br>Semântica de ações, um formalismo para especificação de linguagens de programação, define um conjunto padrão de operadores que descrevem conceitos comuns encontrados em linguagens de programação. Estes operadores facilitam a especificação de linguagens de programação porque eles liberam o projetista de linguagens da manipulação de
APA, Harvard, Vancouver, ISO, and other styles
2

Garzão, Alex Sandro. "Um modelo de programação orientado ao desenvolvimento de sistemas ubíquos." Universidade do Vale do Rio do Sinos, 2010. http://www.repositorio.jesuita.org.br/handle/UNISINOS/2287.

Full text
Abstract:
Made available in DSpace on 2015-03-05T14:01:49Z (GMT). No. of bitstreams: 0 Previous issue date: 22<br>Bolsa para curso e programa de Pós Graduação<br>O presente trabalho propõe o Ubiquitous Oriented Programming (abreviadamente UOP), um modelo de programação orientado ao desenvolvimento de sistemas ubíquos. UOP utiliza os conceitos de Serviços e Orientação a Objetos, integrando-os com os requisitos de aplicações ubíquas como contexto, sensibilidade ao contexto, adaptação ao contexto, mobilidade de código e concorrência. Uma linguagem de programação (UbiLanguage) implementa os conceitos d
APA, Harvard, Vancouver, ISO, and other styles
3

Bodanese, Eliane Lúcia. "Um suporte para programação distribuída em múltiplas linguagens." reponame:Repositório Institucional da UFSC, 1992. https://repositorio.ufsc.br/handle/123456789/111693.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Carvalho, Claúdio Sérgio da Ros de 1962. "Projeto de uma linguagem de programação." [s.n.], 1989. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275824.

Full text
Abstract:
Orientador: Tomasz Kowaltowski<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação<br>Made available in DSpace on 2018-07-14T06:12:35Z (GMT). No. of bitstreams: 1 Carvalho_ClaudioSergiodaRosde_M.pdf: 4046863 bytes, checksum: 9f43bdd999d8967273f98101a319ae69 (MD5) Previous issue date: 1989<br>Resumo: A proposta deste trabalho é a apresentação dos aspectos principais da linguagem de programação MG, que foi engendrada com o objetivo de incorporar algumas facilidades, chamadas do baixo nível, da linguagem C à estrutura da li
APA, Harvard, Vancouver, ISO, and other styles
5

Baranauskas, Maria Cecilia Calani 1954. "Criação de ferramentas para ambiente PROLOG e o acesso de novatos ao paradigma da programação em logica." [s.n.], 1993. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260423.

Full text
Abstract:
Orientador: Jose Armando Valente<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-18T05:06:57Z (GMT). No. of bitstreams: 1 Baranauskas_MariaCeciliaCalani_D.pdf: 17533192 bytes, checksum: 75acf1785ebdc0ff37c188cfb76d937a (MD5) Previous issue date: 1993<br>Résumé: Cette these a comme theme principal le design des outils computationales constituent un ambiant de programmation Prolog et l'étude de l'interaction du novice en cet ambiant. La proposition de l'ensemble des outils est expliciter le paradigme sousjacent et
APA, Harvard, Vancouver, ISO, and other styles
6

Freitas, Aparecido Valdemir de. "Considerações sobre o desenvolvimento de linguagens adaptativas de programação." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-13082008-154203/.

Full text
Abstract:
Um dispositivo adaptativo e constituído por um dispositivo subjacente (geralmente não adaptativo), por exemplo, um autômato, uma gramática, etc., no qual se adiciona um mecanismo adaptativo que e responsável pela automodificação autônoma que caracteriza os dispositivos adaptativos. As linguagens adaptativas são instancias de dispositivos adaptativos, cujo formalismo subjacente e uma linguagem de programação. A tese tem como objetivo conceituar linguagens adaptativas de programação, descrever seus pontos essenciais e considerar os aspectos e particularidades que afetem seu desenvolvimento. A co
APA, Harvard, Vancouver, ISO, and other styles
7

Estima, Pedro Miguel Oliveira. "Plataforma de apoio à aprendizagem de linguagens de programação." Master's thesis, Universidade de Aveiro, 2013. http://hdl.handle.net/10773/11778.

Full text
Abstract:
Mestrado em Sistemas de Informação<br>Muito recentemente tem-se assistido a uma proliferação de ferramentas de apoio ao ensino à distância recorrendo a plataformas on-line. Estas ferramentas são demasiado focadas em determinados componentes mais relacionados com a gestão documental, a comunicação entre alunos e docentes, a administração de questionários e testes com base em perguntas de escolha múltipla ou de respósta numérica; pelo que as disciplinas de carisma mais técnico ou prático, como o caso do ensino de programação de computadores, não conseguem fazer uso de tais plataformas. A prom
APA, Harvard, Vancouver, ISO, and other styles
8

Guinle, Maria Helena de Melo Flores. "Pensar "logo", falar "logo" : interações entre linguagem natural e linguagem artificial." [s.n.], 1995. http://repositorio.unicamp.br/jspui/handle/REPOSIP/251619.

Full text
Abstract:
Orientador: Afira Vianna Ripper<br>Tese (Doutorado) - Universidade Estadual de Campinas, Faculdade de Educação<br>Made available in DSpace on 2018-07-20T09:11:36Z (GMT). No. of bitstreams: 1 Guinle_MariaHelenadeMeloFlores_D.pdf: 4873128 bytes, checksum: 4e9529de1c95ef3e99b43154fe33b6c7 (MD5) Previous issue date: 1995<br>Resumo: No "diálogo" que se estabelece entre o aprendiz e sua leitura da linguagem computacional Logo, entre o aprendiz e a leitura que o facilitador faz da linguagem Logo, foram investigados os conceitos do Logo que suscitam zonas de imprecisão tais como ambiguidades, metáfo
APA, Harvard, Vancouver, ISO, and other styles
9

Silva, Miguel Augusto Mendes Oliveira e. "Metodologias e mecanismos para linguagens de programação concorrente orientadas por objectos." Doctoral thesis, Universidade de Aveiro, 2007. http://hdl.handle.net/10773/2213.

Full text
Abstract:
Doutoramento em Engenharia Informática<br>Esta tese faz uma aproximação sistemática à integração de mecanismos de programação concorrente em linguagens orientadas por objectos com suporte à programação por contrato e sistema de tipos estático. Nessa integração deu-se prioridade à expressividade, segurança, abstracção e realizabilidade dos mecanismos propostos. É sustentado que essa integração deve possuir ambos os modelos de comunicação entre processadores – por mensagens e partilha de objectos – e que a sincronização seja automática e abstracta. Todos os aspectos de sincronização de objectos
APA, Harvard, Vancouver, ISO, and other styles
10

Alarcón, Paulo Nolberto dos Santos. "Minimização de casos/passos de teste para linguagens de programação visual." Instituto Nacional de Pesquisas Espaciais (INPE), 2017. http://urlib.net/sid.inpe.br/mtc-m21b/2017/12.21.23.15.

Full text
Abstract:
Linguagens de Programação Visual têm sido amplamente utilizadas no contexto de Desenvolvimento/Projeto Baseado em Modelos, e as mesmas encontram um apelo particular para o desenvolvimento de subsistemas de satélites e outras aplicações espaciais, tais como o Subsistema de Controle de Órbita e Atitude (SCOA) e o Subsistema de Controle de Atitude (SCA). A modelagem de um SCA é complexa, e assegurar a qualidade desse tipo de modelagem é algo muito desafiador. Por sua vez, a comunidade de teste de software vem colocando esforços para garantir que produtos tenham alta qualidade, possuindo o menor n
APA, Harvard, Vancouver, ISO, and other styles
11

Ferreira, Cleverson Avelino. "Linguagem e compilador para o paradigma orientado a notificações (PON): avanços e comparações." Universidade Tecnológica Federal do Paraná, 2015. http://repositorio.utfpr.edu.br/jspui/handle/1/1414.

Full text
Abstract:
Atuais paradigmas correntes de programação de software, mais precisamente o Paradigma Imperativo (PI) e o Paradigma Declarativo (PD), apresentam deficiências que afetam o desempenho das aplicações e a obtenção de “desacoplamento” (ou acoplamento mínimo) entre elementos de software. Com o objetivo de amenizar essas deficiências, foi desenvolvido o Paradigma Orientado a Notificações (PON). O PON se inspira nos conceitos do PI (e.g. objetos) e do PD (e.g. base de fatos e regras), mas altera a essência da execução ou inferência lógica-causal. Basicamente, o PON usa objetos para tratar de fatos e r
APA, Harvard, Vancouver, ISO, and other styles
12

Fernandez, Mauricio Alberto. "Concorrencia em linguagens de comando." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276006.

Full text
Abstract:
Orientador: Rogerio Drummond Burnier Pessoa de Mello Filho<br>Dissertação (mestrado) - Universidade Estadual de campinas, Instituto de Matematica, Estatistica e Ciencia da Computação<br>Made available in DSpace on 2018-07-21T20:07:35Z (GMT). No. of bitstreams: 1 Fernandez_MauricioAlberto_M.pdf: 1638734 bytes, checksum: 602943caf6eed0fba74dfe34a3ed38eb (MD5) Previous issue date: 1994<br>Resumo: A execução de programas é uma das formas de reutilização de software mais bem sucedidas graças a um módulo que atua entre o usuário e o núcleo do sistema operacional. Estes módulos permitem que o usuár
APA, Harvard, Vancouver, ISO, and other styles
13

Simões, Denis Gerson. "Paradigmas da implantação da televisão digital: programação, ações nacionais e tendências locais." Universidade do Vale do Rio dos Sinos, 2011. http://www.repositorio.jesuita.org.br/handle/UNISINOS/3492.

Full text
Abstract:
Submitted by Mariana Dornelles Vargas (marianadv) on 2015-05-08T18:24:44Z No. of bitstreams: 1 paradigmas_implantacao.pdf: 1275001 bytes, checksum: a02e8c4e6649717168c5192c9e29c493 (MD5)<br>Made available in DSpace on 2015-05-08T18:24:44Z (GMT). No. of bitstreams: 1 paradigmas_implantacao.pdf: 1275001 bytes, checksum: a02e8c4e6649717168c5192c9e29c493 (MD5) Previous issue date: 2011-03-31<br>Nenhuma<br>A televisão ainda é o principal meio de comunicação da atualidade, atingindo a maior parte da população, mesmo com o crescimento da internet. Frente à multiplicidade da oferta de produtos e
APA, Harvard, Vancouver, ISO, and other styles
14

Valente, André de Souza Mello. "Extensões orientadas a objetos da linguagem LISP : uma implementação do CLOS." Instituto Tecnológico de Aeronáutica, 1990. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1427.

Full text
Abstract:
A orientação a objetos, enquanto modelo de organização de linguagens de programação,vem tomando espaço e importância cada vez maiores a partir do início da década de 80. Entre as linguagens de programação orientadas a objetos existentes, destacam-se por seu poder de expressão as extensões orientadas a objetos da linguagem Lisp. Lisp é uma importante linguagem de programação, de características funcionais, cujas origens remontam aos primórdios da Computação. Um passo à frente nesse panorama se coloca o Common Lisp Object System(eLOS). Mais que apenas uma extensão de Lisp orientada a objetos, o
APA, Harvard, Vancouver, ISO, and other styles
15

SILVA, JÚNIOR Jucimar Maia da, and JÚNIOR Francisco Heron de CARVALHO. "00Erlang uma extensão de Erlang Orientada a Objetos." Universidade Federal de Pernambuco, 2013. https://repositorio.ufpe.br/handle/123456789/13357.

Full text
Abstract:
Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-04-17T14:15:28Z No. of bitstreams: 2 TESE Jucimar Maia da Silva Júnior.pdf: 4954306 bytes, checksum: fbddc0017ae748afd4a4afa5751c4a17 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-04-17T14:15:28Z (GMT). No. of bitstreams: 2 TESE Jucimar Maia da Silva Júnior.pdf: 4954306 bytes, checksum: fbddc0017ae748afd4a4afa5751c4a17 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-07-31<br>Jogos via Internet, redes
APA, Harvard, Vancouver, ISO, and other styles
16

Pêgas, Daniel dos Santos. "Coleta e análise de métricas no processo de aprendizagem de linguagens de programação." Instituto Tecnológico de Aeronáutica, 2005. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=171.

Full text
Abstract:
Uma tendência no processo de aprendizagem em geral é o professor cada vez mais exigir do aluno a capacidade de exploração e criação de novos conhecimentos e não, simplesmente, memorização do conteúdo de uma disciplina. Entretanto, essa nova abordagem requer novos instrumentos para acompanhamento e avaliação do processo de aprendizagem. Na abordagem tradicional de ensino de linguagem de programação, a avaliação se concentra no resultado, ou seja, provas e códigos prontos referentes a atividades propostas. Esta dissertação estende-se esta avaliação a todo o processo de aprendizagem, e para supor
APA, Harvard, Vancouver, ISO, and other styles
17

Malacarne, Juliano. "Ambiente visual para programação distribuída em java." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2001. http://hdl.handle.net/10183/3723.

Full text
Abstract:
Em vista da maior complexidade da programação paralela e distribuída em relação à programação de ambientes centralizados, novas ferramentas vêm sendo construídas com o objetivo de auxiliar o programador desses ambientes a desempenhar sua tarefa de formas mais eficazes e produtivas. Uma das ferramentas que há algum tempo tem sido usada na programação centralizada e aos poucos está sendo empregada também na programação concorrente é a programação visual. A programação visual se vale da presença de elementos visuais na especificação dos programas como peças chaves do processo de desenvolvimento d
APA, Harvard, Vancouver, ISO, and other styles
18

Neto, José Dias Lana. "Signo-C : uma ferramenta para integração de ambientes de uma fábrica de software." Instituto Tecnológico de Aeronáutica, 1990. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1436.

Full text
Abstract:
Esta dissertação apresenta uma linguagem de programação orientada a objetos como ferramenta para. produzir linguagens de composição e para dar suporte aos diversos seg~ mentos que compõem o Projeto Fábrica de Software. Signo-C, a linguagem em proposição,foi implementada utilizando~se as funcionalidades do gerenciador de objetos SIGNO, uma das ferramentas desenvolvidas no projeto. Atualmente a linguagem conta com um Bancode Objetos, o Banco número um, um dos quinze Bancos de Objetos disponíveis para o SIGNO. Signo-C deverá suprir as deficiências da linguagem até então disponível no pro~jeto no
APA, Harvard, Vancouver, ISO, and other styles
19

Neves, Carlos Rafael Gimenes das. "JavAsync : extensão da linguagem Java para tratamento de eventos assíncronos." Instituto Tecnológico de Aeronáutica, 2013. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2858.

Full text
Abstract:
Quando contando apenas com o que é oferecido por linguagens orientadas a objetos, como o Java, os desenvolvedores tendem a utilizar apenas chamadas síncronas a métodos, utilizando-se de artifícios para obter comportamento assíncrono, o que comumente quebra o modelo original do sistema, acrescentando uma série de efeitos colaterais indesejados, tais como acoplamento desnecessário entre classes e construções passíveis de erros. O acoplamento desnecessário normalmente aparece quando uma classe precisa ser notificada sobre a ocorrência de eventos em outra classe na mesma pilha de chamadas em tempo
APA, Harvard, Vancouver, ISO, and other styles
20

Escobar, Mauricio da Silva. "Agents anywhere (AA): uma linguagem para o desenvolvimento de aplicações multiagentes ubíquas." Pontifícia Universidade Católica do Rio Grande do Sul, 2013. http://hdl.handle.net/10923/1668.

Full text
Abstract:
Made available in DSpace on 2013-08-07T18:43:31Z (GMT). No. of bitstreams: 1 000448316-Texto+Completo-0.pdf: 3103458 bytes, checksum: b271ba4f6806f788988fdb8c59e61efc (MD5) Previous issue date: 2013<br>In recent years, much research and development effort has been directed towards the fields of ubiquitous computing and multi-agent systems. Further progress is needed for taking full advantage of such technologies in order to provide a degree of intelligence, flexibility, and abstraction in building ubiquitous applications. This work presents the design of a programming language for the develo
APA, Harvard, Vancouver, ISO, and other styles
21

Zavaleta, Gavidia Jorge Juan. "Programação funcional usando Java." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1997. http://hdl.handle.net/10183/20923.

Full text
Abstract:
Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de tráfego de dados na Web e o número de computadores ofertando informação vem crescendo dramaticamente, mas falta expressividade e qualidade interativa na Web; ainda assim, vem despertando um grande interesse instrutivo e útil. O ilimitado universo de po
APA, Harvard, Vancouver, ISO, and other styles
22

Valença, Glauber Zárate. "Contribuição para materialização do paradigma orientado a notificações (PON) via framework e wizard." Universidade Tecnológica Federal do Paraná, 2012. http://repositorio.utfpr.edu.br/jspui/handle/1/393.

Full text
Abstract:
O emergente Paradigma Orientado a Notificações (PON) está materializado em um Framework desenvolvido na linguagem de programação C++. Este foi projetado para fornecer uma Application Programming Interface (API) e estruturas de alto nível que facilitasse o desenvolvimento de software segundo sua orientação. Entretanto, isto induz a uma sobrecarga de processamento computacional em cada aplicação PON. Ainda, uma embrionária interface amigável denominada Wizard foi concebida para prover recursos de alto nível para o desenvolvimento de certas aplicações PON. Assim, este trabalho propõe uma nova mat
APA, Harvard, Vancouver, ISO, and other styles
23

Campos, Jose Roberto [UNESP]. "Desenvolvimento de um sistema dinâmico para predição de cargas elétricas por redes neurais através do paradigma de programação orientada a objeto sob a linguagem JAVA." Universidade Estadual Paulista (UNESP), 2010. http://hdl.handle.net/11449/87104.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:22:32Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-11-26Bitstream added on 2014-06-13T19:28:04Z : No. of bitstreams: 1 campos_jr_me_ilha.pdf: 1235138 bytes, checksum: 9965ccc979ea59bf6f2a7e8558692b7b (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>A previsão de carga, considerada essencial no planejamento da operação energética e nos estudos de ampliação e reforços da rede básica, assume importância estratégica na extensão comercial, valorizando os processos de armazenamento desses dados e da extração de conh
APA, Harvard, Vancouver, ISO, and other styles
24

Campos, Jose Roberto. "Desenvolvimento de um sistema dinâmico para predição de cargas elétricas por redes neurais através do paradigma de programação orientada a objeto sob a linguagem JAVA /." Ilha Solteira : [s.n.], 2010. http://hdl.handle.net/11449/87104.

Full text
Abstract:
Orientador: Anna Diva Plasencia Lotufo<br>Banca: Maria do Carmo Gomes da Silveira<br>Banca: Gelson da. Cruz Junior<br>Resumo: A previsão de carga, considerada essencial no planejamento da operação energética e nos estudos de ampliação e reforços da rede básica, assume importância estratégica na extensão comercial, valorizando os processos de armazenamento desses dados e da extração de conhecimentos através de técnicas computacionais. Nos últimos anos, diversos trabalhos foram publicados sobre sistemas de previsão de cargas (demanda) elétricas. Nos horizontes de curto, médio e longo prazo, os m
APA, Harvard, Vancouver, ISO, and other styles
25

Camillo, Sandro Daniel. "Consultando fontes de dados XML heterogêneas através de modelos conceituais." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2003. http://hdl.handle.net/10183/2733.

Full text
Abstract:
XML é um padrão da W3C largamente utilizado por vários tipos de aplicações para representação de informação semi-estruturada e troca de dados pela Internet. Com o crescimento do uso de XML e do intercâmbio de informações pela Internet é muito provável que determinadas aplicações necessitem buscar uma mesma informação sobre várias fontes XML relativas a um mesmo domínio de problema. No intuito de representar a informação dessas várias fontes XML, o programador é obrigado a escolher entre muitas estruturas hierárquicas possíveis na criação dos esquemas de seus documentos XML. Um mesmo domínio de
APA, Harvard, Vancouver, ISO, and other styles
26

Griebler, Dalvan Jair. "Proposta de uma linguagem específica de domínio de programação paralela orientada a padrões paralelos: um estudo de caso baseado no padrão mestre/escravo para arquiteturas multi-core." Pontifícia Universidade Católica do Rio Grande do Sul, 2012. http://hdl.handle.net/10923/1452.

Full text
Abstract:
Made available in DSpace on 2013-08-07T18:42:14Z (GMT). No. of bitstreams: 1 000439447-Texto+Completo-0.pdf: 12654350 bytes, checksum: 6b1e68a168b4468adf4d1eba9517ad21 (MD5) Previous issue date: 2012<br>This work proposes a Domain-Specific Language for Parallel Patterns Oriented Parallel Programming (LED-PPOPP). Its main purpose is to provide a way to decrease the amount of effort necessary to develop parallel programs, offering a way to guide developers through patterns which are implemented by the language interface. The idea is to exploit this approach avoiding large performance losses in
APA, Harvard, Vancouver, ISO, and other styles
27

Lucena, Danilo Carlos Gouveia de. "Classificação supervisionada com programação probabilística." Universidade Federal da Paraí­ba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/6114.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:36:45Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 606852 bytes, checksum: 6a982febbce62a2525ee58de6e011a23 (MD5) Previous issue date: 2014-02-10<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Probabilistic inference mechanisms are at the intersection of three main areas: statistics, programming languages and probability. These mechanisms are used to create probabilistic models and assist in treating uncertainties. Probabilistic programming languages assist in high-level description of these models. These languages facilitate the
APA, Harvard, Vancouver, ISO, and other styles
28

Falcão, Alexandre Xavier 1966. "Paradigmas de segmentação de imagens guiada pelo usuario : live-wire, live-lane e 3D-live-wire." [s.n.], 1997. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261117.

Full text
Abstract:
Orientadores: Roberto de Alencar Lotufo, Jayaram K. Udupa<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-22T08:22:11Z (GMT). No. of bitstreams: 1 Falcao_AlexandreXavier_D.pdf: 7475224 bytes, checksum: f45cbf0dcf8186e4f84a6d4396a4897d (MD5) Previous issue date: 1997<br>Resumo: Este trabalho trata o problema de segmentação de imagens em situações onde os métodos automáticos falham requerendo extensiva assistência do usuário no processo. Como solução são propostos três paradigmas de segmentação int
APA, Harvard, Vancouver, ISO, and other styles
29

Araújo, Lauro César. "Uma linguagem para formalização de discursos com base em ontologias." reponame:Repositório Institucional da UnB, 2015. http://dx.doi.org/10.26512/2015.11.T.19319.

Full text
Abstract:
Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2015.<br>Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-25T15:17:04Z No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5)<br>Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-25T16:01:48Z (GMT) No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5)<br>Made available in DSpace on 2016-01
APA, Harvard, Vancouver, ISO, and other styles
30

Saliba, Walter Luiz Caram. "Um editor orientado a Fortran 77." Instituto Tecnológico de Aeronáutica, 1992. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1852.

Full text
Abstract:
Um editor orientado a uma linguagem de programação explora conhecimentos sobre a mesma para conduzir o processo de edição e prover um auxílio mais efetivo ao usuário. Este auxílio geralmente é expresso por um maior controle sob a forma do texto editado e pela detecção de erros no mesmo. Estas capacidades requerem que editores desta natureza possuam uma estrutura mais complexa: usualmente eles resultam da composição entre um editor de textos comum e analisadores léxico, sintático e semântico para a linguagem alvo. Este trabalho trata da concepção e implementação de um editor orientado a FORTRAN
APA, Harvard, Vancouver, ISO, and other styles
31

Henrique, da Silva Aranha Eduardo. "Geração e execução de testes de aceitação de sistemas Web." Universidade Federal de Pernambuco, 2002. https://repositorio.ufpe.br/handle/123456789/2569.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:59:19Z (GMT). No. of bitstreams: 2 arquivo5030_1.pdf: 2680874 bytes, checksum: e4a9926df270ffa311253fe6fe777efc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2002<br>A fim de tornar os sistemas Web mais robustos, a construção de testes de softwares Web e sua automação vêm sendo enfatizadas por metodologias de desenvolvimento. A metodologia Extreme Programming (XP), por exemplo, tem destacado a atividade de teste (em particular, os testes de aceitação e de unidade) como uma das práticas de program
APA, Harvard, Vancouver, ISO, and other styles
32

Kade, Adrovane Marques. "Uma Linguagem visual de consulta a XML baseada em ontologias." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2001. http://hdl.handle.net/10183/3075.

Full text
Abstract:
O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais
APA, Harvard, Vancouver, ISO, and other styles
33

Martins, Duarte João Figueira. "JavaCO – uma variante do Java com um sistema de tipos baseado em covariância." Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/4590.

Full text
Abstract:
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática<br>Quando se compara a linguagem Eiffel com a linguagem Java, a diferença com mais impacto no estilo de programação é o facto de a primeira permitir métodos com argumentos covariantes, isto é, permitir a especialização do tipo dos argumentos à medida que se desce na hierarquia. Esta possibilidade é uma vantagem porque permite modelar determinados aspectos do mundo real de forma mais directa e intuitiva. Mas também há uma desvantagem que justific
APA, Harvard, Vancouver, ISO, and other styles
34

Melo, Luiz Carlos Viana. "Adaptação do paradigma orientado a notificações para desenvolvimento de sistemas fuzzy." Universidade Tecnológica Federal do Paraná, 2016. http://repositorio.utfpr.edu.br/jspui/handle/1/1814.

Full text
Abstract:
Este trabalho trata do tema de Paradigma Orientado a Notificações (PON) e sua adequação para prover suporte a conceitos fuzzy. O PON se inspira em elementos dos paradigmas imperativo e declarativo, buscando resolver inconvenientes de ambos. Ao decompor uma aplicação em uma rede de entidades computacionais menores que são executadas apenas quando necessário, o PON elimina a necessidade de realizar computações desnecessárias e alcança melhor desacoplamento lógico-causal facilitando o reaproveitamento e distribuição. Ademais, o PON permite expressar o seu conhecimento lógico-causal em alto nível,
APA, Harvard, Vancouver, ISO, and other styles
35

Alferes, José Júlio. "Semantics of logic programs with explicit negation." Doctoral thesis, FCT-UNL, 1993. http://hdl.handle.net/10362/1056.

Full text
Abstract:
After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing
APA, Harvard, Vancouver, ISO, and other styles
36

Costa, Fabio Teixeira da. "Uma análise do cenário do ensino de linguagens de programação nos cursos de computação do estado do Ceará." Universidade de Fortaleza, 2018. http://dspace.unifor.br/handle/tede/108144.

Full text
Abstract:
Made available in DSpace on 2019-03-30T00:14:07Z (GMT). No. of bitstreams: 0 Previous issue date: 2018-07-31<br>This research is inserted in the context of the teaching of programming languages, having as motivation the issues associated with the teaching-learning process of students who intend to work in the area of software development, since the knowledge obtained in programming language is important only in the academic environment, but also for a future insertion in the labor market. In this context, the main objective of this work is to analyze which programming languages and teaching
APA, Harvard, Vancouver, ISO, and other styles
37

Temtem, José Marcelino Caires Fernandes. "Comparação de sistemas de programação." Master's thesis, Universidade da Madeira, 2001. http://hdl.handle.net/10400.13/212.

Full text
Abstract:
Este trabalho compara as soluções disponibilizadas pelos sistemas Derive 5.0, Maple 6 e Mathematica 4.0 para problemas que encontramos no ensino secundário e também nos primeiros anos da universidade. Procuramos destacar os aspectos distintos entre cada um dos programas ao mesmo tempo que fazemos referência aos pontos em que tudo se passa de forma semelhante. Esta dissertação aborda o cálculo numérico, o cálculo simbólico, a programação e os gráficos. Para cada um dos assuntos é estudada a forma como se podem resolver os problemas através dos três sistemas comparando-se estas soluções.
APA, Harvard, Vancouver, ISO, and other styles
38

Ronszcka, Adriano Francisco. "Contribuição para a concepção de aplicações no paradigma orientado a notificações (PON) sob o viés de padrões." Universidade Tecnológica Federal do Paraná, 2012. http://repositorio.utfpr.edu.br/jspui/handle/1/327.

Full text
Abstract:
CAPES<br>A materialização original do Paradigma Orientado a Notificações (PON) implementada na linguagem de programação C++ possibilitou a criação de aplicações sob o domínio desse paradigma. Apesar de tais contribuições para com o paradigma, o desenvolvimento de aplicações no PON ainda apresenta baixo nível de maturidade e certo nível de dificuldade. Tais dificuldades advêm principalmente da nova forma de estruturar os programas, onde os mesmos seguem um fluxo de notificações, o que difere da programação convencional. Ademais, até o momento, apenas algumas aplicações foram desenvolvidas, com
APA, Harvard, Vancouver, ISO, and other styles
39

Becker, Marcel Antoine. "Implementação de um provador automático de teoremas com paralelismo." Instituto Tecnológico de Aeronáutica, 1990. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1463.

Full text
Abstract:
É apresentada a implementação de um sistema de prova automática de teoremas baseado no Método de Eliminação de Modelos Fraca com participação dinâmica de problemas a fim de permitir o processamento em paralelo. O sistema, em sua versão seqüencial, pode ser executado em qualquer equipamento compatível com IBM-PC XT/AT. A versão paralela foi implementada para ser executada no processador preferencial de Telebrás, onde a comunicação entre os processos é efetuada por troca de mensagens. O sistema permite a execução de uma dedução com um número qualquer de processadores sem que seja necessária uma
APA, Harvard, Vancouver, ISO, and other styles
40

Pinho, Eduardo Gurgel. "Uma Linguagem de Programação Paralela Orientada a Objetos para Arquiteturas Distribuídas." reponame:Repositório Institucional da UFC, 2012. http://www.repositorio.ufc.br/handle/riufc/17845.

Full text
Abstract:
PINHO, Eduardo Gurgel. Uma Linguagem de Programação Paralela Orientada a Objetos para Arquiteturas Distribuídas. 2012. 71 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012.<br>Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-21T19:17:42Z No. of bitstreams: 1 2012_dis_egpinho.pdf: 1247267 bytes, checksum: b2db45af231441771b82531797f8c819 (MD5)<br>Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-21T19:19:30Z (GMT) No. of bitstreams: 1 2012_dis_egpinho.pdf: 1247267 bytes,
APA, Harvard, Vancouver, ISO, and other styles
41

Holtz, Rudy Hamilton. "Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2002. http://hdl.handle.net/10183/2969.

Full text
Abstract:
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 projet
APA, Harvard, Vancouver, ISO, and other styles
42

Junior, Amaury Antônio de Castro. "Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-13102009-164547/.

Full text
Abstract:
Este trabalho apresenta um conjunto de contribuiçõoes teóricas e metodológicas para o projeto e a implementação de linguagens de programação, utilizando o autômato adaptativo como dispositivo formal para sua definição. A especificação completa de uma linguagem de programação envolve desde a compreensão adequada de princípios e fundamentos comuns entre todas as linguagens de programação, transparentes ao programador, até as suas formas e características externas. Embora muitos modelos e notações possam ser utilizados na formalização de diferentes aspectos envolvidos no projeto e na imple
APA, Harvard, Vancouver, ISO, and other styles
43

AURELIANO, Viviane Cristina Oliveira. "Stepwise self-explanation: uma abordagem para o aprendizado de linguagens de programação através da auto-explicação de exemplos em vídeo." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/25632.

Full text
Abstract:
Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-14T18:23:03Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Viviane Cristina Oliveira Aureliano.pdf: 6810701 bytes, checksum: f4469af40a09e58db642f1ad9a4b71e7 (MD5)<br>Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-16T20:07:25Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Viviane Cristina Oliveira Aureliano.pdf: 6810701 bytes, checksum: f4469af40a09e58db642f1ad9a4b71e7 (MD5)<br>Made a
APA, Harvard, Vancouver, ISO, and other styles
44

Silva, Valter Filipe Miranda Castelão da. "Ambiente Java para sistemas embedded." Master's thesis, Universidade de Aveiro, 2002. http://hdl.handle.net/10773/4643.

Full text
Abstract:
Mestrado em Engenharia Electrónica e Telecomunicações<br>Os sistemas integrados, ou genericamente os sistemas com reduzida capacidade de processamento e pouca memória, são actualmente sistemas economicamente acessíveis e muito divulgados. Os seus sistemas operativos estão, no entanto, ainda bastante dependentes do hardware o que faz que cada aplicação seja especialmente desenvolvida para cada tipo de sistema. Neste documento discute-se a aplicabilidade de uma máquina virtual Java em equipamentos com estas restrições. É proposta a utilização da KVM, uma solução recente da Sun, apresentam
APA, Harvard, Vancouver, ISO, and other styles
45

Campanha, Diogo Nascimento. "Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14022011-151308/.

Full text
Abstract:
Com o objetivo de auxiliar a definição e evolução de estratégias de testes, estudos experimentais vêm sendo realizados comparando diferentes técnicas e critérios de teste em relação ao custo, eficácia e dificuldade de satisfação (strength). Entretanto poucos estudos buscam avaliar os critérios em diferentes paradigmas. Esta avaliação é importante pois o paradigma de implementação influência significativamente no programa gerado e as características entre programas implementados em diferentes paradigmas pode influenciar em diversos aspectos da atividade de teste. Este estudo é complementar a um
APA, Harvard, Vancouver, ISO, and other styles
46

Rodrigues, Tarcísio Genaro. "Sobre os fundamentos de programação lógica paraconsistente." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897.

Full text
Abstract:
Orientador: Marcelo Esteban Coniglio<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-17T03:29:03Z (GMT). No. of bitstreams: 1 Rodrigues_TarcisioGenaro_M.pdf: 1141020 bytes, checksum: 59bb8a3ae7377c05cf6a8d8e6f7e45a5 (MD5) Previous issue date: 2010<br>Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da
APA, Harvard, Vancouver, ISO, and other styles
47

Yamin, Adenauer Correa. "Um ambiente para exploração de paralelismo na programação em lógica." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1994. http://hdl.handle.net/10183/25526.

Full text
Abstract:
Este trabalho e dedicado ao estudo da exploração de paralelismo na Programação em Lógica. O aspecto declarativo das linguagens de Programação em Lógica permite uma exploração eficiente do paralelismo implícito no código, de forma mais simples que as linguagens imperativas. Ao mesmo tempo, o paralelismo tem-se mostrado uma forte opção para procura de aumentos significativos do desempenho dos computadores. Como conseqüência, nos últimos anos, diversas maquinas paralelas tem surgido no mercado. No entanto, a sua efetiva utilização ainda ressente-se de uma dificuldade de programação maior que a da
APA, Harvard, Vancouver, ISO, and other styles
48

Rorato, Thaize. "Em direção a uma semântica da linguagem de descrição de reuso em UML/OCL." Pontifícia Universidade Católica do Rio Grande do Sul, 2007. http://hdl.handle.net/10923/1640.

Full text
Abstract:
Made available in DSpace on 2013-08-07T18:43:22Z (GMT). No. of bitstreams: 1 000397136-Texto+Completo-0.pdf: 1469438 bytes, checksum: 6d662216e7ef8e28c23eb6ac3f555971 (MD5) Previous issue date: 2007<br>The framework reuse process is called instantiation process. For the representation of the instantiation activities be considered correct it is necessary to extend the RDL formalization. The Reuse Description Language - RDL - is formalized through BNF (Backus-Naur-Form). This kind of formalization doesn´t defines all necessary constraints that should be applied to the models constructed with R
APA, Harvard, Vancouver, ISO, and other styles
49

Du, Bois Andre Rauber. "Execução distribuída de programas funcionais usando a máquina virtual java." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2001. http://hdl.handle.net/10183/10577.

Full text
Abstract:
o objetivo deste trabalho é apresentar a implementação em Java de uma máquina abstrata para execução distribuída de programas funcionais. Mostra-se como as facilidades da linguagem Java foram utilizadas para a implementação de uma linguagem funcional paralela que roda os programas funcionais de forma distribuída em uma rede de computadores. Linguagens Funcionais geralmente são implementadas usando uma máquina abstrata para a execução dos programas. Essas máquinas são usualmente máquinas de redução de grafos. Para se rodar os programas funcionais na máquina virtual Java implementou-se a máquina
APA, Harvard, Vancouver, ISO, and other styles
50

Ramos, Ricardo Argenton. "Abordagem Aspecting: Migração de Sistemas OO para Sistemas OA." Universidade Federal de São Carlos, 2004. https://repositorio.ufscar.br/handle/ufscar/533.

Full text
Abstract:
Made available in DSpace on 2016-06-02T19:06:05Z (GMT). No. of bitstreams: 1 DissRAR.pdf: 964879 bytes, checksum: f99870bf861c3fdf768f6f369bb6fe13 (MD5) Previous issue date: 2004-05-21<br>Universidade Federal de Sao Carlos<br>An approach, named Aspecting, is proposed for eliciting aspects in Object Oriented systems and subsequently re-factoring these systems as aspect oriented systems. The approach has three phases: Understand the System Functionality, Treat the Interests and Compare the Object Oriented System with the Aspect Oriented System. Each phase is presented with the details to be ob
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Paradigmas de Linguagens de Programação' for other source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography