Marisol Sánchez

According to our database, Marisol Sánchez authored at least 7 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment.

Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez

Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003

2002

Propuesta de un Profile de Aspectos en UML.

José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

2001

Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas.

Marisol Sánchez, José Luis Herrero

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

2000

Eficiencia o adaptabilidad: Factores de calidad.

José Luis Herrero, Marisol Sánchez, Fernando Sánchez, Miguel Toro

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Guaranteeing Coherent Software Systems when Composing Coordinated Components.

Marisol Sánchez, José Luis Herrero, Juan Manuel Murillo, Juan Hernández Núñez

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude.

Marisol Sánchez, Juan Manuel Murillo, Amparo Navasa Martínez, Miguel A. Pérez, Antonio Polo Márquez

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

1998

Multiattribute indexing with m-Q-trees.

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

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998