Navegação Teses e Dissertações por Assunto "System level modeling and synthesis"
Resultados 1-1 de 1
-
An approach for embedded software generation based in declarative alloy models
(2008) [Dissertação]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 ...