Jornadas de Programación y Lenguajes   
JISBD JBIDI PROLE MCYT
III Jornadas de Programación y Lenguajes
12-14 Noviembre 2003
Alicante
  
 
Presentación
Comités
Artículos aceptados
Fechas
Programa
Alojamiento
Inscripción
Lugar de celebración
Transporte
Patrocinadores
Ediciones anteriores
Artículos aceptados

Se han aceptados 15 artículos.

TítuloAutores
ADDS: Una Aproximación Documental al Desarrollo de SoftwareJosé L. Sierra, Alfredo Fernández-Valmayor,Baltasar Fernández-Manjón, Antonio Navarro
ARMISTICE: Una experiencia desarrollando software de gestión con ErlangLaura 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 AlgorithmsRafael Martínez y Ricardo Peña
Comparing Abstract Semantics for Model CheckingM. M. Gallardo, P. Merino, E. Pimentel
Coordinaci¨®n basada en tuplas compartidas y en canales de comunicaciónSilvia 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 ModelsFrancesc Babot, Miquel Bertran, Jordi Riera, Ricard Puig, August Climent
OnDemandOBJ: an optimized OBJ interpreterMaría Alpuente, Santiago Escobar, and Salvador Lucas
Polynomials for proving termination of context-sensitive rewritingSalvador 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 LanguageJosep Silva, J.Guadalupe Ramos, German Vidal
Symbolic Model Checking for Timed Concurrent Constraint ProgramsM. Alpuente, M. Falaschi and A. Villanueva
Towards the Uniform Manipulation of Visual and Texual Languages in AToM3Juan de Lara, Esther Guerra
Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simuladorManuel Díaz, Daniel Garrido, Enrique Soler
Urgency in TPBC (2)Olga M.Alonso y David de Frutos Escrig
                                                                                                                                                                                                       
Fechas
importantes
Julio
15
Septiembre
5 26
Octubre
7
Noviembre
3 12-14
Accesos desde 18/03/2003:

Última actualización: 19/02/2010    Información de contacto: jjmoreno@fi.upm.es    Mantenimiento web: Sergio Luján Mora