A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Especificação, Verificação e Testes de Protocolos
1988
Journal of Communication and Information Systems
Preserved Fulltext
Nesta última década, a utilização e a concepção de técnicas de descrição formal (TDF) para a especificação de protocolos de comunicação, assim como a validação desses protocolos, têm merecido uma atenção ...
especial por parte dos pesquisadores, dos fabricantes de computa dores, dos setores de telecomunicações e dos 6rgãos internacionais de padronização, atuantes em teleinformálica. ...
Especificação e Validação de Serviços e Protocolos Os objetivos principais das especificações formais são: fornecer descrições claras e concisas do sistema que está sendo concebido e suportar uma análise ...
doi:10.14209/jcis.1988.1
fatcat:pytqqfjg65h5tpcok4mvv5vlie
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs
2011
Revista de Informática Teórica e Aplicada
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Resumo: Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. ...
especificar partes do nível microorganizacional de sistemas PopOrg (comportamentos de papéis organizacionais e processos de troca entre papéis organizacionais) e a segunda, RSL, utilizada para a representação ...
Poucas metodologias utilizam métodos formais em seu desenvolvimento, e a especificação formal de organizações de sistemas multiagentes não foi, ainda, completamente definida como área de pesquisa na área ...
doi:10.22456/2175-2745.16413
fatcat:dh6qzenbvrahhoz2kbabbbbmsu
Análise Estática de Código-Fonte
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This article presents a theoretical summary of the source code static analysis, its definition, uses and applications, how static analysis is performed, their intermediate representation formats, models ...
and most common analysis techniques, ends up presenting a set of free and freely available downloadable static analysis tools, academic software tools developed by scientists during their research work ...
Este formatoé amplamente utilizado em métodos formais para otimização de código-fonte. ...
arXiv:1907.00143v1
fatcat:zznkiakafjaijconz4geuvzyma
Modelos para a Construção de Sistemas Multiagentes: Um Estudo de Caso em Sistemas Tutores Inteligentes
2011
Revista Brasileira de Informática na Educação
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Este estudo de caso utiliza a visão multidimensional do modelo Mathema para a especificação do domínio e, a partir deste, os modelos de especificação e verificação propostos aqui. ...
Resumo Este trabalho apresenta modelos para a construção de sistemas multiagentes. Primeiramente, apresenta-se um modelo para a especificação de sistemas multiagentes baseado na metodologia Gaia. ...
Por fim, a natureza concorrente, distribuída e dinâmica dos sistemas multiagentes apresenta um grande desafio no que tange a verificação das interações entre os agentes. ...
doi:10.5753/rbie.2011.19.01.74
fatcat:hopzrnaxerfqzclf56hca43bwq
Teoria da Computação: uma Introdução à Complexidade e à Lógica Computacional
[chapter]
2016
Jornadas de Atualização em Informática 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
O objetivo da teoria da computação é explorar e entender a natureza da computação, de modo a oferecer metodologias eficientes e corretas. ...
Este curso apresenta uma introdução à duas subáreas fundamentais da teoria da computação: complexidade e lógica computacional. ...
Estas áreas incluem: especificação e verificação de sistemas computacionais, projeto de sistemas de bancos de dados, projeto lógico de circuitos integrados, complexidade descritiva, web semântica, inteligência ...
doi:10.5753/sbc.6.3
fatcat:2ds5kebkvrdu3lblmi7ielkzxy
Ontologias para organização da informação em processos de transformação digital
2019
Em Questão
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ontologias são úteis, também, no processo de construção da nuvem de serviços de uma empresa, ao representarem conceitos básicos, terminologia e semântica de uma arquitetura orientada a serviços. ...
semântica. ...
A parte semântica é alcançada com o uso de ontologias. O método de modelagem desenvolvido deve ser interpretável tanto pelo homem quanto pela máquina. ...
doi:10.19132/1808-5245251.295-320
fatcat:zakwzx6brralrotskc53gfobam
A aplicação da Linguagem de Modelagem Unificada (UML) para o suporte ao projeto de sistemas computacionais dentro de um modelo de referência
2001
Gestão & Produção
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
e portabilidade de tais sistemas, principalmente quando inseridos num ambiente integrado de engenharia concorrente. ...
de sistemas de informações orientados a objetos. ...
e semântica. ...
doi:10.1590/s0104-530x2001000100003
fatcat:2sbyyx6d3zdsth5kkqb4jg4cqu
O objeto, o método e a metodologia na pesquisa da circulação e midiatização (inferências a partir da obra Ethnographie de l'exposition)
2020
Revista FAMECOS
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Essa escolha tem como referência nossa percepção sobre a riqueza do objeto, do método e da metodologia explícitos e implícitos nesse estudo para se pensar a linhagem de pesquisa-midiatização e processos ...
Finalmente, apontamos questões sobre a relação entre a abordagem semioantropológica de Verón e os conceitos de campos sociais e de habitus em Bourdieu (apontando o horizonte dessa investigação em curso ...
O objeto, o método e a metodologia na pesquisa da circulação e midiatização
11/17
como objeto central as estruturas ou sistemas de produção. ...
doi:10.15448/1980-3729.2020.1.36636
fatcat:ytsviaw5lbdzhp4apk2r7mbhmu
Proposta de uma ontologia como modelo de referência no domínio da Memória Organizacional Histórica
2013
Perspectivas em Ciência da Informação
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
O presente estudo estabelece bases para a proposição de uma ontologia que sirva como modelo de referência no domínio da Memória Organizacional Histórica, a fim de promover precisão nas respostas dos sistemas ...
e inter-relacionados nesta proposta, a tipologia documental, a coleções, a assuntos cobertos pelo acervo, público-alvo e canal de disseminação das informações. ...
O processo de avaliação é dividido nas atividades de verificação de coerência e de validação, submetendo a ontologia a critérios técnicos. ...
doi:10.1590/s1413-99362013000400004
fatcat:nqwextk6zvahtjvsbte2mryov4
O estudo da aquisição de inferências pragmáticas como elemento na escolha entre modelos teóricos em disputa
2017
Letras de Hoje
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Mais recentemente, esse consenso tem sido abalado por uma nova onda de trabalhos, que, de diversos modos, passaram a defender a ideia de que pressuposição é fenômeno de natureza fundamentalmente conversacional ...
Segundo esse consenso, pressuposição é fenômeno de natureza convencional, sujeito, apenas em sua projeção, a injunções de ordem conversacional. ...
Introdução Como toda ciência, a Linguística se constitui a partir de modelos teóricos elaborados para explicar e descrever fenômenos. ...
doi:10.15448/1984-7726.2017.3.29369
fatcat:t2oixplnpzcnhlytcjta2qcezi
Anais do XIV Workshop-Escola de SistemasAgentes, seus Ambientes e apliCações de Agentes, seus Ambientes e apliCações
[article]
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments This study was financed in part by the Coordenação de Aperfeiçoameto de Pessoal de Nível Superior (CAPES/Brasil) and Agência Nacional deÁguas (ANA/Brasil) -Edital N • 16/2017. ...
A ferramenta seleciona foi NetLogo 8 . Para encerrar a primeira etapa de desenvolvimento, o processo de verificação da simulação será realizado utilizando o método de teste unitário. ...
A maioria das aplicações ABM na literatura atual se apoiaram em sistemas hipotéticos para teste de métodos e análise de políticas. ...
doi:10.5281/zenodo.4037412
fatcat:mc3eafwnhbd5ppxoh4bn54zs3e
MODELO DE REFERÊNCIA PARA O GERENCIAMENTO DO PROCESSO DE PROJETO INTEGRADO DE EDIFICAÇÕES
2006
Gestão & Tecnologia de Projetos
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
PERT quer dizer técnica de avaliação e revisão de programa, um dos métodos formais desenvolvidos para criar cronogramas para projetos e programas. ...
da empresa, bem como para a tomada de decisão no que se refere à melhoria contínua do processo, facilitando a implantação e integração de métodos, técnicas e sistemas de apoio ao desenvolvimento da edificação ...
o gerenciamento deste processo e para introdução de uma gestão de projeto mais interativas e moderna, gratificando as empresas dispostas a assumir os esforços de implementação necessários. ...
doi:10.4237/gtp.v1i1.7
fatcat:huul76vuhvc3xksnbagwu4wfbm
Uma Ferramenta de Suporte ao Ensino de Modelagem de Sistemas Distribuídos Críticos: Uma Experiência Prática
2018
Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
e métodos formais
(participação em seminários). ...
A , a semântica da codificação interpreta processos como classes e ações como métodos. ...
doi:10.5753/cbie.sbie.2018.218
fatcat:lhjlgrwd5bewpaqgc4uc2fa27a
M. Pesquisa e ação participatória com foco em letramento informacional e trabalho colaborativo para desenvolvimento de cidadania
[chapter]
2018
Comunicação da informação, gestão da informação e gestão do conhecimento
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
O Instituto Brasileiro de Informação em Ciência e Tecnologia tem por finalidade promover a competência e o desenvolvimento de recursos e infraestrutura de Informação Científica e Tecnológica para a produção ...
, a socialização e a integração do conhecimento científico-tecnológico ...
por sistemas estruturados ou meios formais de comunicação. ...
doi:10.18225/9788570131485.cap08
fatcat:2pfd5qv4azeubgobtkiemgrnri
Edição Completa
2013
Revista do GEL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
(1), o Al tem a função semântica de Objetivo e o A2, de Origem9. ...
, em modelos formais de representação. ...
Os capítulos marginais (I "A história de um esquecimento" e V "Da lingua geral ao português") completam o todo como portos desse Rio Babel. 0 ponto de partida é a desconstrução de dois mitos fundadores ...
doaj:86af8033cee5400ab0b6bdc773201da7
fatcat:mryvuwdjnnfzterf753y36fse4
« Previous
Showing results 1 — 15 out of 110 results