Enviaments recents

  • Lightweight and static verification of UML executable models 

    Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
    Article
    Accés restringit per política de l'editorial
    Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ...
  • Mercury: using the QuPreSS reference model to evaluate predictive services 

    Martínez Fernández, Silverio Juan; Franch Gutiérrez, Javier; Bisbal, Jesus (2017-02-01)
    Article
    Accés restringit per política de l'editorial
    Nowadays, lots of service providers offer predictive services that show in advance a condition or occurrence about the future. As a consequence, it becomes necessary for service customers to select the predictive service ...
  • BSC best practices in professional training and teaching for the HPC ecosystem 

    Sancho Samsó, María Ribera (Elsevier, 2016-05-16)
    Article
    Accés restringit per política de l'editorial
    This paper outlines the key components of the European HPC ecosystems, analyses the major challenges as well as corresponding specific technical focus areas which needs to be addressed in European strategic research agenda ...
  • Kopernik : modeling business processes for digital customers 

    Estañol Lamarca, Montserrat; Castro, Manuel; Díaz-Montenegro, Sylvia; Teniente López, Ernest (2016-07-31)
    Report de recerca
    Accés obert
    This paper presents the Kopernik methodology for modeling business processes for digital customers. These processes require a high degree of flexibility in the execution of their tasks or actions. We achieve this by using ...
  • QB2OLAP : enabling OLAP on statistical linked open data 

    Varga, Jovan; Etcheverry, Lorena; Vaisman, Alejandro; Romero Moral, Óscar; Bach Pedersen, Torben; Thomsen, Christian (2016)
    Text en actes de congrés
    Accés obert
    Publication and sharing of multidimensional (MD) data on the Semantic Web (SW) opens new opportunities for the use of On-Line Analytical Processing (OLAP). The RDF Data Cube (QB) vocabulary, the current standard for ...
  • Towards the definition of a taxonomy for the COTS product's market 

    Ayala Martínez, Claudia Patricia (2004-01-22)
    Report de recerca
    Accés obert
    The core of this research is aimed at improving the building taxonomies issues in the context of the GESSI proposal, through the start of a new line of research for analyzing in depth those aspects concerned with ...
  • COSTUME: a method for building quality models for composite COTS-based software systems 

    Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier; Grau Colom, Gemma; Quer Bosor, Maria Carme (2004-02)
    Report de recerca
    Accés obert
    The use of quality models during the selection of Commercial, Off-The-Shelf (COTS) products provides a framework for the description of the domains which the COTS products belong to. Descriptions of COTS products and ...
  • DesCOTS: A software system for selecting COTS components 

    Grau Colom, Gemma; Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier; Quer Bosor, Maria Carme (2004-03)
    Report de recerca
    Accés obert
    Selection of commercial-off-the-shelf software components (COTS Components) has a growing importance in software engineering. Unfortunately, selection projects have a high risk of ending up into abandonment or yielding ...
  • A framework for the definition of metrics for actor-dependency models 

    Franch Gutiérrez, Javier; Grau Colom, Gemma; Quer Bosor, Maria Carme (2004-02)
    Report de recerca
    Accés obert
    Actor-dependency models are a formalism aimed at providing intentional descriptions of processes as a network of dependency relationships among actors. This kind of models is currently widely used in the early phase ...
  • On the semantics of operation contracts in conceptual modeling 

    Queralt Calafat, Anna; Teniente López, Ernest (2004-04)
    Report de recerca
    Accés obert
    This paper describes two different ways of understanding operation contracts in the context of conceptual modeling. These two points of view are based in the total and partial correctness approaches from axiomatic programming, ...

Mostra'n més