• 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 ...