Biblio

Found 9 results
Filters: Author is Jesús Martínez  [Clear All Filters]
2007
Martínez J, Merino P, Salmeron A.  2007.  Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems. (CISIS 2007),Vienna, Austria. :185–190.
Martínez J, Salmeron A.  2007.  MDA for reliable and high performance communication protocols. Mar{ía del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. :215–230.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2007.  PiXL: appliyng XML standards to support the integration of analysis tools for protocols. Science of Computer Programming. 65:57–69.
Martínez J, Merino P, Pérez FCarlos, de la Cámara P, Álvarez JMaría.  2007.  An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
2006
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of reliability methods for critical software. Journal of Integrated Design and Process Science. 10:55–67.
Gallardo M-del-M, Martínez J, Merino P, Pimentel E.  2006.  On the Evolution of Reliability Methods for Critical Software. A. Ertas, et.al.(Eds.). Integrated design & process technology: proceedings of the ninth World Conference on Integrated Design and Process Technology. IDPT 2006. San Diego, California, June 25-30, 2006. 1:53–65.
Gallardo M-del-M, Martínez J, Merino P, Nuñez P, Pimentel E.  2006.  PIXL: applying XML standards to support the integration of analysis tools for protocols. Joseph Barjis; Ulrich Ulte-Nitsche and Juan C.Augusto (Eds.). Modelling, Simulation, Verification and Validation of Enterprise Information Systems: proceedings of the 4th International Workshop on (...) MSVVEIS 2006, Paphos, Cyprus, May. :57–66.