Travelled to:1 × Germany
1 × New Zealand
1 × Spain
1 × The Netherlands
1 × USA
Collaborated with:A.Vallecillo F.Durán J.I.Jaen C.Romero J.M.Luna S.Ventura J.E.Rivera J.Cabot N.Moreno O.Pastor E.Insfrán V.Pelechano J.Merseguer
Talks about:viewpoint (3) formal (3) model (3) softwar (2) specif (2) method (2) comput (2) engin (2) maud (2) odp (2)
Person: José Raúl Romero
DBLP: Romero:Jos=eacute=_Ra=uacute=l
Contributed to:
2010
2009
2008
200720052004
1997Wrote 7 papers:
- EDM-2010-RomeroRLV #mining
- Mining Rare Association Rules from e-Learning Data (CR, JRR, JML, SV), pp. 171–180.
- EDOC-2009-RomeroJV #multi #specification
- Realizing Correspondences in Multi-viewpoint Specifications (JRR, JIJ, AV), pp. 163–172.
- ICSE-2008-CabotDMVR #distributed #experience #modelling #programming #re-engineering
- From programming to modeling: our experience with a distributed software engineering course (JC, FD, NM, AV, JRR), pp. 749–758.
- 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.
- EDOC-2005-RomeroV #modelling #uml
- Modeling the ODP Computational Viewpoint with UML 2.0 (JRR, AV), pp. 169–180.
- EDOC-2004-RomeroV #formal method #maude #specification
- Formalizing ODP Computational Viewpoint Specifications in Maude (JRR, AV), pp. 212–223.
- CAiSE-1997-PastorIPRM #formal method #named #object-oriented
- OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods (OP, EI, VP, JRR, JM), pp. 145–158.