Travelled to:1 × Brazil
1 × The Netherlands
1 × USA
Collaborated with:A.Sampaio A.Mota O.Barais J.Jézéquel
Talks about:trustworthi (1) framework (1) systemat (1) composit (1) snippet (1) develop (1) conform (1) system (1) compon (1) refin (1)
Person: Rodrigo Ramos
DBLP: Ramos:Rodrigo
Contributed to:
2009
2008
2007Wrote 3 papers:
- FM-2009-RamosSM #component #development
- Systematic Development of Trustworthy Component Systems (RR, AS, AM), pp. 140–156.
- SAC-2008-RamosSM #composition #consistency #framework #refinement
- Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
- MoDELS-2007-RamosBJ
- Matching Model-Snippets (RR, OB, JMJ), pp. 121–135.