Fernando Orejas Valdés

• Artículos de revistas (10)
• Colaboraciones en obras colectivas (3)
• Libros (2)
• Tesis (1)
• Tesis dirigidas (8)

• Artículos de revistas

  • Seleccionado

    Extensión del metamodelo de UML para una arquitectura de componentes

    Sonia Pérez Lovelle, Fernando Orejas Valdés

    Ingeniería Industrial, ISSN-e 1815-5936, Vol. 27, Nº. 2-3, 2006 (Ejemplar dedicado a: Ingeniería Industrial)

    • Resumen
    • Texto completo
    
  • Seleccionado

    Automatización de la arquitectura de componentes genéricos usando UML.

    Sonia Pérez Lovelle, Fernando Orejas Valdés, Noel Fuentes Ramírez, Exiquio C. Leyva Pérez

    Ingeniería Industrial, ISSN-e 1815-5936, Vol. 27, Nº. 1, 2006 (Ejemplar dedicado a: Ingeniería Industrial)

    • Resumen
    • Texto completo
    
  • Seleccionado

    Perfil para representar una arquitectura de componentes en UML.

    Sonia Pérez Lovelle, Fernando Orejas Valdés

    Ingeniería Industrial, ISSN-e 1815-5936, Vol. 27, Nº. 1, 2006 (Ejemplar dedicado a: Ingeniería Industrial)

    • Resumen
    • Texto completo
    
  • Seleccionado

    Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors

    Hartmut Ehrig, Fernando Orejas Valdés, Hans-Jörg Kreowski

    Revista matemática de la Universidad Complutense de Madrid, ISSN 0214-3577, Vol. 10, Nº 2, 1997, págs. 365-390

    • Texto completo
    
  • Seleccionado

    Aristóteles y la Retórica

    Fernando Orejas Valdés

    Revista de filosofía, ISSN-e 1988-284X, ISSN 0034-8244, Nº 8, 1992, págs. 419-428

    • Texto completo
    
  • Seleccionado

    Hacia un entorno de programación basado en tipos de datos: la notación Merlín

    Pere Botella i López , Xavier Pueyo Sandez , Fernando Orejas Valdés

    Revista de informática y automática, ISSN 0210-8712, Año 15, Nº. 53, 1982 (Ejemplar dedicado a: 5º Congreso de Informática y Automática. Madrid, 4-7 de mayo de 1982), págs. 36-42

    • Resumen
    
  • Seleccionado

    Verificación de programas con tipos de datos estructurados

    Fernando Orejas Valdés

    Revista de informática y automática, ISSN 0210-8712, Año 13, Nº. 45, 1980, págs. 14-21

    • Resumen
    
  • Seleccionado

    Una especificación formal de tipos estructurados de datos. (Parte segunda)

    Fernando Orejas Valdés

    Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 34, 1979, págs. 1-14

    • Texto completo
    
  • Seleccionado

    Una especificación formal de tipos estructurados de datos. (Parte primera)

    Fernando Orejas Valdés

    Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 33, 1978, págs. 12-31

    • Texto completo
    
  • Seleccionado

    Clases de fórmulas aritméticas en la 1-reducibilidad

    José F. Prida , Fernando Orejas Valdés

    Boletín del Centro de Cálculo de la Universidad Complutense, ISSN 0210-9743, Nº. 28, 1976, págs. 1-44

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Tight and loose semantics for transformation systems

    Fernando Orejas Valdés, Hartmut Ehrig, Elvira Pino

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.), Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 241-262

    
  • Seleccionado

    Tight and loose semantics for transformation systems

    Hartmut Ehrig, Fernando Orejas Valdés, E. Pino

    Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 238-255

    
  • Seleccionado

    El metódo de prioridad en teoría de grados

    Fernando Orejas Valdés

    Coloquio sobre lógica simbólica: Madrid, febrero 1975, 1976, ISBN 84-600-0531-3, págs. 137-158

    

• Libros

  • Seleccionado

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

    Fernando Orejas Valdés (ed. lit.), Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.)

    Universidad de Castilla-La Mancha, 2001

    
  • Seleccionado

    104 problemas resueltos de teoría de la computabilidad

    José F. Prida , Fernando Orejas Valdés

    [Madrid, Universidad Complutense, Servicio de Publicaciones, 1975]. ISBN 84-600-6652-5

    

• Tesis

  • Seleccionado

    Una teoría de tipos estructurados de datos

    Fernando Orejas Valdés

    Tesis doctoral dirigida por José F. Prida (dir. tes.) . Universidad Complutense de Madrid (1980).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Some contributions to the semantics of normal logic programs

    Ana Edelmira Pasarella Sánchez

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.), Elvira Pino (dir. tes.) . Universitat Politècnica de Catalunya (UPC) (2008).

    • Resumen
    
  • Seleccionado

    A type-theoretic approach to proof support for algebraic design frameworks

    Nicos Mylonakis Pascual

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2001).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    An algebraic study of modularity in logic programming

    Elvira Pino

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1999).

    
  • Seleccionado

    Implementación de especificaciones algebraicas

    Ana Sánchez

    Tesis doctoral dirigida por María Luisa Navarro Gómez (dir. tes.) , Fernando Orejas Valdés (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1993).

    • Resumen
    
  • Seleccionado

    Especificación algebraica de tipos abstractos de datos no deterministas

    Federico Valenciano Llovera

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universidad del País Vasco - Euskal Herriko Unibertsitatea (1988).

    • Resumen
    
  • Seleccionado

    Semántica de comportamiento en lenguajes de especificación

    M. Pilar Nivela Alos

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1987).

    • Resumen
    
  • Seleccionado

    Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa

    Pere Botella i López

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1982).

    • Resumen
    
  • Seleccionado

    Programacio paral.lela usant esquemes. Vers un metode sistematic de construccions de programes concurrents

    Albert Llamosí

    Tesis doctoral dirigida por Fernando Orejas Valdés (dir. tes.). Universitat Politècnica de Catalunya (UPC) (1982).

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.