Marisol Sánchez

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez
CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment. Electron. Notes Theor. Comput. Sci. 82 (3) (2003)
José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro
Propuesta de un Profile de Aspectos en UML. JISBD (2002)
Marisol Sánchez, José Luis Herrero
Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas. JISBD (2001)
José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro
Eficiencia o adaptabilidad: Factores de calidad. JISBD (2000)
Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez
Guaranteeing Coherent Software Systems when Composing Coordinated Components. COORDINATION (2000)
Marisol Sánchez, Juan Manuel Murillo, Amparo Navasa Martínez, Miguel A. Pérez, Antonio Polo Márquez
Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude. JISBD (1999)
Antonio Polo Márquez, Juan Carlos Manzano, Miryam Salas Sánchez, Marisol Sánchez, Elena Jurado, Manuel Barrena García, Juan Hernández Núñez, Juan-Miguel Martínez
Multiattribute indexing with m-Q-trees. PDP (1998)