Listar Tesis de Doctorado y Maestría por tema "System level modeling and synthesis"
Mostrando ítems 1-1 de 1
-
An approach for embedded software generation based in declarative alloy models
(2008) [Tesis de maestría]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 ...