DSpace DSpace UPC
  Pàgina principal | Llistar continguts | Cerca avançada | Com participar-hi Català   Castellano   English  

Llistant per Autor Queralt Calafat, Anna

Saltar a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introdueix les primeres lletres:   
Ordenar per: En ordre: Resultats/Pàgina Autors/Registre:
Mostrant resultats 1 a 7 de 7
TítolAutor(s)Altres contribucionsTipus
AuRUS: Automated Reasoning on UML/OCL SchemasQueralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, AntoniUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informacióConference lecture
EU-Rent as an artifact-centric process model: technical reportEstañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, ErnestUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informacióExternal research report
OCL-Lite: a decidable (yet expressive) fragment of OCLQueralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, ErnestUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informacióConference report
Towards DaaS 2.0: enriching data modelsMarti Fraiz, Jonathan; Gasull, Daniel; Queralt Calafat, Anna; Cortés Rosselló, AntonioUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors; Universitat Politècnica de Catalunya. CAP - Grup de Computació d´Altes PrestacionsConference report
Using UML to specify artifact-centric business process modelsEstañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, ErnestUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informacióConference report
Validation of UML conceptual schemas with OCL constraints and operationsQueralt Calafat, AnnaTeniente López, Ernest; Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàticsinfo:eu-repo/semantics/doctoralThesis; info:eu-repo/semantics/publishedVersion
Verification and validation of UML conceptual schemas with OCL constraintsQueralt Calafat, Anna; Teniente López, ErnestUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i processament d´informacióArticle
Mostrant resultats 1 a 7 de 7

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius