Lotos
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. 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
-
2. Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos / MUSE: an interactive multimedia applications specification environment with translator to e-LOTOS
É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso,
Publicado em: 2010
-
3. Estudo comparativo das linguagens Estelle e Lotos na especificação de protocolos
Desenvolve-se um trabalho na área de especificação formal de protocolos de comunicação de dados. E feita uma apresentação rigorosa dos conceitos e terminologia associados ao tema. E proposto um conjunto de critérios para comparação de linguagens formais para especificação de protocolos. Estes critérios são aplicados para a comparação entre du
Publicado em: 2010
-
4. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo / ACP and LOTOS: a comparative study based on BPEL concepts and control-flow patterns
Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de
Publicado em: 2008
-
5. Uma análise de protocolos de roteamento anônimo para redes sem fio Ad Hoc móveis
Redes sem fio ad hoc móveis são mais vulneráveis a ataques passivos, como monitoramento e análise de tráfego, do que redes estruturadas, principalmente, devido a características como ausência de infra-estrutura fixa e meio sem fio compartilhado. A fim de garantir a privacidade dos nós e tentar impedir a revelação de informações relevantes atravé
Publicado em: 2007
-
6. Behavioural specification of middleware systems
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. In this paper,
Journal of the Brazilian Computer Society. Publicado em: 2006-09
-
7. An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents
A flexibilidade de modelos de autoria de alto nível (tais como o de SMIL 2.0) para a edição de Documentos Multimídia Interativos complexos pode levar os autores, em certos casos, a especificar relações de sincronização que não podem ser satisfeitas durante a apresentação do documento, caracterizando a ocorrência de inconsistências temporais. Por
Journal of the Brazilian Computer Society. Publicado em: 2004-04
-
8. Classificação e seleção de componentes de software concorrentes
Reutilizar componentes de software pode trazer uma série de benefícios, tais como, a redução no custo e tempo de desenvolvimento dos sistemas, e o aumento na qualidade e confiabilidade do produto final. Entretanto, para que a reutilização se torne uma prática comum dentro do ambiente de desenvolvimento de software, uma série de questões e problemas
Publicado em: 1999
-
9. Ferramentas para linguagem de especificação LOTOS
Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador sintático e semântico e um simulador para LOTOS. Diferente de outras implementações descritas
Publicado em: 1992
-
10. Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real
O processo de projeto e realização de sistemas é uma tarefa não trivial principalmente quando consideramos o desenvolvimento de sistemas complexos. Uma proposta que tem sido recentemente discutida é a definição de uma metodologia baseada em técnicas de descrição formais, para suportar as diversas etapas do processo de projeto e realização de sist
Publicado em: 1991