System Level Modeling And Synthesis
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. An approach for embedded software generation based in declarative alloy models / Uma abordagem para geração de software embarcado baseada em modelos declarativos alloy
Este trabalho propõe uma nova abordagem para o desenvolvimento de sistemas embarcados, através da combinação da abstração e propriedades de verificação de modelos da linguagem declarativa Alloy com a ampla aceitação de Java na indústria. A abordagem surge no contexto de que a automação de software no domínio embarcado tornou-se extremamente nec
Publicado em: 2010
-
2. Uma contribuição ao método de síntese modal experimetal / A contribution for the experimental modal synthesis method
The determination of the dynamic parameters of great or complex structures can be made using modal synthesis methods subdividing the complete structure in substructures. The employment of this method may be done by using analytical or experimental procedures. Generally speaking, poor eigenvalues and eigenvectors may be identified using experimental modal syn
Publicado em: 2006
-
3. Uma abordagem para a modelagem de sistemas digitais
Digital system design has reached a high degree of complexity that prevents its realization without CAD tools. The starting point of such tools consists on a conceptual view of the intended system (given by one or more conceptual models), which is captured for computational handling by one or more specification languages. Several of such languages were devel
Publicado em: 2003