| Título | Autores |
| ADDS: Una Aproximación Documental al Desarrollo de Software | José L. Sierra, Alfredo Fernández-Valmayor,Baltasar Fernández-Manjón, Antonio Navarro |
| ARMISTICE: Una experiencia desarrollando software de gestión con Erlang | Laura Castro, Víctor M. Gulías, David Cabrero, Carlos Abalde, Carlos Varela |
| Building an Interface Between Eden and Maple: Towards an Easy Parallelization of Computer Algebra Algorithms | Rafael Martínez y Ricardo Peña |
| Comparing Abstract Semantics for Model Checking | M. M. Gallardo, P. Merino, E. Pimentel |
| Coordinaci¨®n basada en tuplas compartidas y en canales de comunicación | Silvia Amaro, Ernesto Pimentel y Ana M. Roldán |
| From Executable Specifications to Java | Ángel Herranz, Noelia Maya, Juan José Moreno-Navarro |
| Mechanized Equivalence Proofs of Pipelined Processor Software Models | Francesc Babot, Miquel Bertran, Jordi Riera, Ricard Puig, August Climent |
| OnDemandOBJ: an optimized OBJ interpreter | María Alpuente, Santiago Escobar, and Salvador Lucas |
| Polynomials for proving termination of context-sensitive rewriting | Salvador Lucas |
| Refactorizaciones de especialización en cuanto a genericidad. Definición para una familia de lenguajes y soporte basado en frameworks. | Raúl Marticorena Sánchez, Carlos López Nozal, Yania Crespo González-Carvajal |
| ROSE: Router Specification in a Declarative Multi-Paradigm Language | Josep Silva, J.Guadalupe Ramos, German Vidal |
| Symbolic Model Checking for Timed Concurrent Constraint Programs | M. Alpuente, M. Falaschi and A. Villanueva |
| Towards the Uniform Manipulation of Visual and Texual Languages in AToM3 | Juan de Lara, Esther Guerra |
| Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simulador | Manuel Díaz, Daniel Garrido, Enrique Soler |
| Urgency in TPBC (2) | Olga M.Alonso y David de Frutos Escrig |
