Presentación
  Comités
  Conferencias Invitadas
  Envío de artículos
  Artículos aceptados
  Fechas importantes
  Tutoriales
  Talleres
  Lugar de Celebración
  Secretaría
  Programa
      Buscar
      Todas las sesiones
      Horario
  Solicitud de Contribuciones
  Ediciones Anteriores
  English Version
  PROLE 2006
  Noticias y Novedades
 
 
10/5/06    17:00 - 18:30
Sesión 6-a: Arquitecturas Software I
ThE2
Room: Rusiñol
Chair: Juan Manuel Murillo Rodríguez
A Conceptual Framework for Automated Service Trading
P. Fernandez, M. Resinas, R. Corchuelo


A Semantic Formalization of UML-RT Models with CSP+T Processes Applicable to Real-Time Systems Verification
M.I. Capel, L.E. Mendoza, K. Benghazi, J.A. Holgado


Asignación Sistemática de Responsabilidades en una Arquitectura de Tres Capas
X. Franch, J. Pradel, J. Raya