Travelled to:1 × Cyprus
1 × France
1 × Switzerland
1 × USA
Collaborated with:A.Vallecillo F.Durán E.Guerra J.d.Lara J.R.Romero
Talks about:model (4) behavior (3) languag (2) visual (2) semant (2) maud (2) support (1) specif (1) repres (1) formal (1)
Person: José Eduardo Rivera
DBLP: Rivera:Jos=eacute=_Eduardo
Contributed to:
2010
2008
2008
20072007Wrote 5 papers:
- WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation
- On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
- SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation
- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
- TOOLS-EUROPE-2008-RiveraV #difference #representation
- Representing and Operating with Model Differences (JER, AV), pp. 141–160.
- EDOC-2007-RiveraV #behaviour #modelling
- Adding Behavior to Models (JER, AV), pp. 169–180.
- TOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support
- Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.