Navegação por Autor "Foss, Luciana"
Resultados 1-3 de 3
-
From UML to Simulink CAAM : formal specification and transformation analysis
Foss, Luciana; Cavalheiro, Simone André da Costa; Brisolara, Lisane Brisolara de; Bisi, Nicolas; Pazzini, Vinícius Steffens; Wagner, Flavio Rech (2013) [Artigo de periódico]UML and Simulink are attractive languages for embedded systems design and modeling. An automatic mapping from UML models to Simulink would be an interesting resource in a seamless design flow, allowing designers to use UML ... -
Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
Foss, Luciana (2003) [Dissertação]O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. ... -
Transactional graph transformation systems
Foss, Luciana (2008) [Tese]Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos ...