Executable
Mostrando 13-24 de 46 artigos, teses e dissertações.
-
13. Hardware in the loop simulation applied to semi-autonomous underwater vehicles. / Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos.
Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system desig
Publicado em: 2008
-
14. Uma Proposta de MÃtricas para Avaliar Modelos i*
The Goal-Oriented Requirement Engineering has shown a promising way to describe software systems. It provides a natural mechanism to structure complex requirement documents through goals providing a mechanism to justify the existence of the requirements and facilitate the management of conflicting requirements. In this context, different approaches that use
Publicado em: 2008
-
15. A tutela jurisdicional do direito prestacional à educação: ensino fundamental regular em ação civil pública no Brasil
Nowadays there is much talk of the (in)efficiency of the judicial process in ensuring the consummation of fundamental rights incumbent on the State, such as the right to education, defined in the republics constitution as a public subjective right at the level of basic education. Actual practice, as a result of the action of the Department for the Defence of
Publicado em: 2008
-
16. Simulation software development for multibody systems / Desenvolvimento de uma ferramenta computacional para simulação de sistemas mecânicos multicorpos
The mathematical simulation is a very important tool to reduce production costs in new projects of agricultural machines. This work consists of a simulation software development for multibody systems (MBS), called FSSM (tool for simulation of mechanical systems), with appropriate functionalities for manufacturers of agricultural machines, using the AutoCAD g
Publicado em: 2008
-
17. Using executable assertions for runtime fault detection in a model-based software development approach.
The impressive technological evolution observed in the last years has as its main engine the computer. Among many possible applications for this notable machine, the Embedded Computer Systems (ECS) are of great relevance. The number of critical ECS, i.e., whose failure results in catastrophic consequences in terms of human or material lost, also grows dramat
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/12/2007
-
18. Método de refinamento machina
The Abstract State Machine (ASM) has been used as language for formal specification to various systems due to the high level of abstraction and the mathematical rigor. It facilitates to understand the modeled system and to formally verify properties. Using an ASM language, is possible to make a high level specification, called Ground Model, to be transformed
Publicado em: 2007
-
19. DECLARATIVE ENVIRONMENT FOR SYSTEMS IMPLEMENTING GEM / AMBIENTE DECLARATIVO PARA SISTEMAS QUE IMPLEMENTEM O GEM
The several procedural environment proposals for terrestrial Digital TV Systems led to the middleware framework recommendation known as Globally Executable MHP (GEM). This standard aims at the harmonization of such environments allowing the global execution of procedural applications but neglecting the declarative ones. In this context, this work describes t
Publicado em: 2007
-
20. An infrastructure for coordination of supply chain activities based on web services choreography / Uma infra-estrutura para coordenação de atividades em cadeias produtivas baseada em coreografia de serviços web
A supply chain is the set of activities involved in the creation, transformation and distribution of a product, from raw material to the consumer. Supply chain s participants can work in an integrated way to optimize their performance and increase their commercial competitiveness. From the technological point of view, the distributed, autonomous and heteroge
Publicado em: 2007
-
21. A platform development framework and a debugging mechanism based on computacional reflection / Um framework de desenvolvimento de plataformas e um mecanismo de depuração baseado em reflexão computacional
Digital systems are becoming more and more complex through the years, putting general purpose processors together with specialized hardware and buses into the same silicon die, due to power, area and performance constraints. In order to deal with this complexity and a short time-to-market, designers are adopting high level hardware descriptions, based on lan
Publicado em: 2007
-
22. Educação a distância na informação em saúde: o ensino do EPI INFO / Distance Learning in Health Information: Teaching Epi Info
This investigation verified the applicability of distance learning aiming to equip an audience of scholars - professors and professionals of the health area, to use the data bases and statistics program EPI INFO. The objectives of the investigation were to plan programmatic content and implement an online Course concerning construction and handling of the da
Publicado em: 2007
-
23. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
24. 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