Francisco Assis M. do Nascimento - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Exploiting the model-driven engineering approach to improve design space exploration of embedded systemsMarcio F. da S. Oliveira, Ronaldo R. Ferreira, Francisco Assis M. do Nascimento, Franz J. Rammig, FlÃ¡vio Rech Wagner. sbcci 2009: [doi]

Using MDE for the formal verification of embedded systems modeled by UML sequence diagramsFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, FlÃ¡vio Rech Wagner. sbcci 2009: [doi]

GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administrationFrancisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. MorÃ©, SalomÃ£o A. Leizer. icegov 2009: 127-133 [doi]

Formal Verification for Embedded Systems Design Based on MDEFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. iess 2009: 159-170 [doi]

MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representationFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, FlÃ¡vio Rech Wagner. MOMPES 2009: 53-60 [doi]

2007

Model driven engineering for MPSOC design space explorationMarcio F. da S. Oliveira, Eduardo Wenzel Brião, Francisco Assis M. do Nascimento, Flávio Rech Wagner. sbcci 2007: 81-86 [doi]

ModES: Embedded Systems Design Methodology and Tools Based on MDEFrancisco Assis M. do Nascimento, Marcio F. da S. Oliveira, FlÃ¡vio Rech Wagner. MOMPES 2007: 67-76 [doi]

2006

MDA-based approach for embedded software generation from a UML/MOF repositoryFrancisco Assis Moreira Nascimento, Marcio F. da S. Oliveira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Flávio Rech Wagner. sbcci 2006: 143-148 [doi]