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 5 de 5
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ó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ó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ó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óArticle
Mostrant resultats 1 a 5 de 5

 
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