Filters








110 Hits in 7.5 sec

Especificação, Verificação e Testes de Protocolos

W.L. Souza, S. Stiubiener
1988 Journal of Communication and Information Systems  
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

Raquel De Miranda Barbosa, Antônio Carlos da Rocha CostA, Patrícia Cabral de Azevedo R. Tedesco, Alexandre Cabral Mota
2011 Revista de Informática Teórica e Aplicada  
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]

Joenio Marques da Costa
2019 arXiv   pre-print
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

Marlos Tacio Silva, Ig Ibert Bittencourt, Evandro Costa
2011 Revista Brasileira de Informática na Educação  
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]

Celina de Figueiredo, Luis Lamb
2016 Jornadas de Atualização em Informática 2016  
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

Fabrício Martins Mendonça, Fernando Hadad Zaidan
2019 Em Questão  
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

Carlos Alberto Costa
2001 Gestão & Produção  
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)

Jairo Getúlio Ferreira
2020 Revista FAMECOS  
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

Janete Saldanha Bach Estevão, Faimara do Rocio Strauhs
2013 Perspectivas em Ciência da Informação  
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

Marcos Goldnadel
2017 Letras de Hoje  
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]

Several Authors
2020 Zenodo  
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

Fabiane V. ROMANO
2006 Gestão & Tecnologia de Projetos  
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

Edwin Monteiro, Luis Rivero, Raimundo Barreto
2018 Anais do XXIX Simpósio Brasileiro de Informática na Educação (SBIE 2018)   unpublished
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]

Rosemeire Tavares, Sely Costa, Mark Hepworth
2018 Comunicação da informação, gestão da informação e gestão do conhecimento  
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

Revista GEL
2013 Revista do GEL  
(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