Exploració per autor "Queralt Calafat, Anna"Més informacióMés informació

Ara es mostren els items 31-35 de 35

    • Validating UML schemas with OCL constraints and operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2008-07)
      Report de recerca
      Accés obert
      A conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it ...

    • Validation of UML conceptual schemas with OCL constraints and operations 

      Queralt Calafat, Anna (Universitat Politècnica de Catalunya, 2009-03-02)
      Tesi
      Accés obert
      Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...

    • Validation of UML conceptual schemas with operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2007-04)
      Report de recerca
      Accés obert
      The purpose of validating a conceptual schema is to guarantee that it properly reflects what the user needs from an application. This task is not fully formalizable, so it is desirable to provide the designer with a set ...

    • Verification and validation of UML conceptual schemas with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2012)
      Article
      Accés restringit per política de l'editorial
      To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen ...

    • Workflow environments for advanced cyberinfrastructure platforms 

      Badia Sala, Rosa Maria; Ejarque Artigas, Jorge; Lordan Gomis, Francesc; Lezzi, Daniele; Conejero Bañón, Javier; Álvarez Cid-Fuentes, Javier; Becerra Fontal, Yolanda; Queralt Calafat, Anna (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Text en actes de congrés
      Accés obert
      Progress in science is deeply bound to the effective use of high-performance computing infrastructures and to the efficient extraction of knowledge from vast amounts of data. Such data comes from different sources that ...