Listar Capítulos (Lenguajes y Sistemas Informáticos) por autor 

Listar Capítulos (Lenguajes y Sistemas Informáticos) por autor "Martínez Gasca, Rafael"                

Mostrando ítems 1-6 de 6

    • Capítulo de Libro
      Icon

      Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems 

      Gómez López, María Teresa; Martínez Gasca, Rafael; Parody Núñez, María Luisa; Borrego Núñez, Diana (Springer, 2013)
      A business process consists of a set of activities that are performed in coordination in an organizational and technical ...
    • Capítulo de Libro
      Icon

      Constraint-Driven Fault Diagnosis 

      Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael (Springer, 2019)
      Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
    • Capítulo de Libro
      Icon

      Data-Oriented Declarative Language for Optimizing Business Processes 

      Parody Núñez, María Luisa; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2014)
      There is a signifi cant number of declarative languages to describe business processes. They tend to be used when business ...
    • Capítulo de Libro
      Icon

      Model-Based Software Debugging 

      Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2019)
      The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ...
    • Capítulo de Libro
      Icon

      Semiqualitative Temporal Patterns in Time-Series Databases 

      Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Toro Bonilla, Miguel; Galán Morillo, Francisco José; Cañete Valdeón, José Miguel (Edición Digital @tres, 2000)
      A way to obtain behaviour patterns of semiqualitative models of dynamic systems automatically is proposed in this paper. ...
    • Capítulo de Libro
      Icon

      Using constraint programming framework for Semiqualitative Reasoning 

      Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio; Toro Bonilla, Miguel; Torres Valderrama, Jesús; Cordero Valle, Juan Manuel (Edición Digital @tres, 2000)
      A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is ...