E Lotos
Mostrando 1-9 de 9 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. 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
-
7. 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
-
8. 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
-
9. 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