Real Abstraction
Mostrando 1-12 de 23 artigos, teses e dissertações.
-
1. A um passo do anti-pássaro: a poesia de Orides Fontela
Resumo Orides Fontela, um dos nomes importantes da poesia brasileira na segunda metade do século XX, deixou uma obra composta de poucos títulos, mas sempre admirada pela crítica. Desde a sua estreia no final dos anos 1960, a produção oridiana revela, a par da tendência para a abstração e da busca pela transcendência, uma compreensão aguda da materi
Estud. Lit. Bras. Contemp.. Publicado em: 25/02/2019
-
2. Forma mercadoria, forma pensamento e direito na obra de Alfred Sohn-Rethel
Esta pesquisa é dedicada à obra do filósofo, historiador e economista alemão Alfred Sohn-Rethel e às contribuições que sua teoria tem a oferecer para a análise do direito. A análise da forma mercadoria efetuada por Marx é o ponto de partida para a crítica da teoria do conhecimento feita pelo autor, que revela como é possível os humanos terem um
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/02/2012
-
3. Uma abordagem em arquitetura conduzida por modelos aplicada a software embarcado de tempo real espacial / An approach to model-driven architecture applied to space embedded real time software
Real time embedded software are applied on space missions, however its development lacks more robust techniques to accomplish requirements more wide and complex, to improve its easiness for execution of tests and integration, beyond increasing time-to-market. Aligned with Model-Driven Architecture the current work proposes an approach to describe real time e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/11/2010
-
4. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
5. Compositional abstraction of CSP Z processes
Data abstraction is a powerful technique to overcome state explosion in model checking. For CSP Z (a formal integration of the well-known specification languages CSP and Z), current approaches can mechanically abstract infinite domains (types) as long as they are not used in communications. This work presents a compositional and systematic approach to data a
Journal of the Brazilian Computer Society. Publicado em: 2008
-
6. SUMMARY-BASED POINTER ANALYSIS FRAMEWORK FOR MODULAR BUG FINDING
Modern society is irreversibly dependent on computers and, consequently, on software. However, as the complexity of programs increase, so does the number of defects within them. To alleviate the problem, automated techniques are constantly used to improve software quality. Static analysis is one such approach in which violations of correctness properties are
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2008
-
7. 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
-
8. A aprendizagem de polinômios através da resolução de problemas por meio de um ensino contextualizado
The objective of this study was to verify how learning of polynomials took place using problem solving in a contextualized learning situation. Thus, the present research was developed in the context of polynomials, based on the construction of cardboard boxes, using students previous knowledge. Based on a bibliographic review of studies on the theme, we defi
Publicado em: 2008
-
9. Students algebraic thought and language manifestations: indicators for teaching organization. / Manifestações do pensamento e da linguagem algébrica de estudantes: indicadores para a organização do ensino.
This work deals with the students difficulties about algebraic knowledge, which could be related to the specificities of algebra, to educational methodology and didactical matters, and also to language and thought psychological processes. Therefore, the subject of study is the studentsthoughts and their algebraic language. We understand that thought and lang
Publicado em: 2008
-
10. Maps for tourism and interactivity: theoretical and practical proposal / Mapas para o turismo e a interatividade: proposta teórica e prática
The maps are going into peoples day-to-day on an increasingly basis. The media (telenews, magazines, real estate advertisements, the Internet, newspapers, artistic and advertising maps, etc.), when using them as a communication means, most of times pays no attention to some basic rules in the user-producer relation. In the heart of these cartographic materia
Publicado em: 2008
-
11. GeraÃÃo mecanizada de abstraÃÃes seguras para especificaÃÃes CSP
Com a crescente demanda por diminuiÃÃo de custos no desenvolvimento de software, hà a necessidade de que os programas possam ser construÃdos de acordo com uma especificaÃÃo concordante com os requisitos do cliente. Nesse sentido, a especificaÃÃo formal pode ser utilizada para representar os requisitos do sistema.Uma vez que a especificaÃÃo formal f
Publicado em: 2008
-
12. Um sistema de visão para navegação robusta de uma plataforma robótica semi-autônoma
Large efforts have been maden by the scientific community on tasks involving locomotion of mobile robots. To execute this kind of task, we must develop to the robot the ability of navigation through the environment in a safe way, that is, without collisions with the objects. In order to perform this, it is necessary to implement strategies that makes
Publicado em: 2007