| 2003 |
|---|
| 6 | EE | Marisol Sánchez,
Pedro J. Clemente,
Juan Manuel Murillo,
Juan Hernández Núñez:
CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 2002 |
|---|
| 5 | | José Luis Herrero,
Marisol Sánchez,
Fernando Sánchez,
Miguel Toro:
Propuesta de un Profile de Aspectos en UML.
JISBD 2002: 103-114 |
| 2001 |
|---|
| 4 | | Marisol Sánchez,
José Luis Herrero:
Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas.
JISBD 2001: 189-204 |
| 2000 |
|---|
| 3 | EE | Marisol Sánchez,
José Luis Herrero,
Juan Manuel Murillo,
Juan Hernández Núñez:
Guaranteeing Coherent Software Systems when Composing Coordinated Components.
COORDINATION 2000: 341-346 |
| 2 | | José Luis Herrero,
Marisol Sánchez,
Fernando Sánchez,
Miguel Toro:
Eficiencia o adaptabilidad: Factores de calidad.
JISBD 2000: 177-190 |
| 1999 |
|---|
| 1 | | 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: 269-280 |
