Specification And Description Language
Mostrando 1-12 de 34 artigos, teses e dissertações.
-
1. Uso da linguagem de especificação SDL como alternativa ao diagrama de estados proposto pela linguagem UML.
Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.
Campinas: Embrapa Informática Agropecuária. Publicado em: 2011
-
2. LALP: a language for parallelism of loops exploitation in reconfigurable computing / LALP: uma linguagem para exploração do paralelismo de loops em computação reconfigurável
Reconfigurable computing is becoming increasingly important in embedded and high-performance computing systems. It allows performance levels close to the ones obtained with Application-Specific Integrated circuits (ASIC), while still keeping design and implementation flexibility. However, to efficiently program devices, one needs the expertise of hardware de
Publicado em: 2010
-
3. Especificação de um sistema de suporte a implementação de linguagens / Specification of a support system to language implementation
Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se e
Publicado em: 2010
-
4. Um paradigma orientado a análise de performance de redes de pacotes / A paradigm oriented to performance analysis of packet switched networks
A crescente complexidade das redes de comunicação de dados tem como conseqüência direta tornar cada vez mais complexas as tarefas de projetar seu dimensionamento e evolução. Um passo preliminar vitalmente importante no projeto de uma rede é a coleta de dados relacionados ao uso esperado da rede. Os padrões de tráfego estimados são usados nos cálcu
Publicado em: 2010
-
5. 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
-
6. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste
- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representa
Publicado em: 2008
-
7. BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML
With hardware and software technologies advance, its also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of h
Publicado em: 2007
-
8. Uma linguagem de especificação formal orientada por aspectos
The Abstract State Machines methodology offers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern capability. AspectM is an aspect oriented formal specification language that unifies the well known benefits of formal specification, such as rigorous requiremen
Publicado em: 2007
-
9. Estimativa de consumo de energia de cÃdigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simulaÃÃo estocÃstica
Embedded Systems are present in most daily activities with many different purposes. Generally, embedded systems have several design constraints, such as memory size, power source, CPU speed, and so on. Over the last years, power consumption has been receiving particular attention from scientific community since several embedded devices rely on battery as pow
Publicado em: 2007
-
10. A proposal of integration of the nets UMTS and IEEE 802,11 with support mobility / Uma proposta de integraÃÃo das redes UMTS e IEEE 802.11 com suporte a mobilidade
As redes locais sem fio (Wireless Local Area Networks - WLANs) IEEE 802.11 atingem taxas de transmissÃo de dados relativamente altas quando comparadas `a outras redes sem fio, por exemplo, Bluetooth. Essas altas taxas de transmissÃao tÃm interessado as operadoras de redes celulares, as quais comeÃam a ver as redes IEEE 802.11 como um complemento as suas
Publicado em: 2007
-
11. Geração de especificações executáveis para o projeto de módulos para sistemas em "Chips"
The increasing demand for electronic components is driving the integrated circuit market to an unexpected growth. In the about two to four years it will be possible to find circuits composed of a billion transistors. This capacity of integration is the responsible for the emergence of a new concept, System-on-a-chip (SoC), in which a complete computational s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/10/2006
-
12. Especificação e implementação de uma linguagem para transformação de modelos MOF em repositórios dMOF
This work presents the specification and the implementation of a language of Transformations in definite Models specification MOF (Meta Object Facility) of OMG (Object Management Group). The specification uses a boarding based on rules ECA (Event-Condition-Action) and was made on the basis of a set of scenes of use previously defined. The Parser Responsible
Publicado em: 2006