Linguagens Para Especificacao De Recursos
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Validation of exceptional flow in UML 2.0 acitivity diagram / Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
Para a construção de sistemas robustos, devem ser utilizadas técnicas de tolerância a falhas que podem ser implementadas através de mecanismos de tratamento de exceções. Esses mecanismos possibilitam o tratamento de possíveis exceções, ou até mesmo a continuação da execução das funcionalidades do sistema mesmo na presença de uma exceção. O
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/06/2011
-
2. Geração automática de testes a partir de descrições de linguagens
Alguns programas podem ter sua entrada formalizada através de gramáticas livres de contexto. Esta formalização facilita a utilização de ferramentas na sistematização e na elevação da qualidade do seu processo de teste. Dentro desta categoria de programas os compiladores foram os primeiros a utilizar este tipo de ferramenta para a automação de seu
Publicado em: 2010
-
3. Transactional graph transformation systems / Sistemas de transformação de grafos transacionais
Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem
Publicado em: 2009
-
4. K-Aspects : uma abordagem baseada em aspectos para implementação de sistemas de conhecimentos / K-Aspects: an approach for building knowledge systems using aspects
Esse trabalho define K-Aspects (Knowledge Aspects), uma abordagem para a implementação de Sistemas de Conhecimento (SC) em linguagens orientadas a objetos usando o paradigma orientado a aspectos (OA) e anotações de metadados. Essa abordagem define uma forte correspondência entre o Modelo de Conhecimento (MC) e sua implementação no paradigma da orienta
Publicado em: 2009
-
5. Simoo : plataforma orientada a objetos para simulacao discreta multi-paradigma / Simoo: object oriented environment for multi-paradigm event discrete simulation
Analisando-se a literatura de simulação discreta pode-se observar que os autores, em geral, constroem seus modelos de simulação baseados em abordagens tradicionais e aceitas tais como orientação a eventos, orientação a mensagens, orientação a filas, etc. Mais recentemente encontram-se ambientes que afirmam utilizar o chamado paradigma de simulaçã
Publicado em: 2009
-
6. VXDL: A LANGUAGE FOR INTERCONNECTION AND RESOURCES SPECIFICATION IN VIRTUAL GRIDS / VXDL: UMA LINGUAGEM PARA DESCRIÇÃO DE INTERCONEXÕES E RECURSOS EM GRADES VIRTUAIS
Grid computing has been defined as an infrastructure integrator of distributed resources. Although it is already used on a large scale in many areas, this type of computational infrastructure is still an area of active research, with many open questions. Today, new research works investigate the application of resources virtualization techniques to perform t
Publicado em: 2008
-
7. Linguagem de consulta temporal : definição e implementação
Até hoje, não existem implementações de SGBDs Temporais disponíveis no mercado de software. A tradução de linguagens de consulta temporais para o padrão SQL é uma alternativa para implementação de sistemas temporais com base em SGBDs comerciais, os quais não possuem linguagem e estrutura de dados temporais. OASIS (Open and Active Specification of
Publicado em: 2007
-
8. Modelagem e construção de mecanismos de coordenação em ambientes computacionais / Modeling and construction of coordination mechanism in computational environment
Este trabalho aborda o problema da coordenação de atividades interdependentes em processos computacionais. As interdependências entre atividades podem ser temporais, de recursos, de bloqueio e de mútua exclusão, entre outras. Exemplos de processos computacionais com atividades interdependentes são ambientes multimídias, ferramentas de suporte ao traba
Publicado em: 2007
-
9. Extensão de uma linguagem de consulta para documentos xml com características de tempo e de versão / Extended XML documents query language with time and version features
O uso da XML (Extensible Markup Language) em aplicações envolvendo bancos de dados vem se consolidando nos últimos dois anos. Os principais sistemas de gerenciamento de banco de dados já incorporam essa tecnologia em suas mais recentes versões. Dentre diversas aplicações destaca-se a publicação de dados relacionais em visões XML. Diferentemente da
Publicado em: 2007
-
10. Ambiente visual para programação distribuída em java
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�
Publicado em: 2007
-
11. Xchart : um modelo de especificação e implementação de gerenciadores de dialogos
O gerenciador de diálogo é um dos componentes mais complexos de uma interface e continua, em grande parte, sendo codificado manualmente em linguagens de programação convencionais. Isto contribui para elevar os custos de desenvolvimento e inibir alterações, que são indispensáveis ao desenvolvimento de interfaces. Essa dissertação propõe a linguagem
Publicado em: 1997
-
12. Uma bancada para processamento concorrente dedicada a computação de imagem
Sistemas de Computadores dedicados a Computação de Imagem tem sido o alvo de diversos trabalhos de pesquisa e desenvolvimento em universidades e indústrias por todo o mundo. A maior parte dos trabalhos disponíveis na literatura visa a implementação de algoritmos específicos em circuitos dedicados em VLSI. Neste trabalho evitou-se o desenvolvimento de
Publicado em: 1995