E-prints UPC: Llistar


Català Castellano English

	Pàgina d'inici
	Estadístiques d'ús

Llistar
	Comunitats
	Títol
	Autor
	Data
	Matèria
	Àrees temàtiques de la UPC

Serveis
	Alertes
	El meu E-prints UPC usuaris autoritzats
	Editar perfil
	Entrada usuaris no UPC



	Sobre DSpace

	Bibliotècnica: la biblioteca digital de la UPC

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:

Mostrant resultats 1 a 4 de 4

Data	Títol	Autor(s)
2010	AuRUS: Automated Reasoning on UML/OCL Schemas	Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
20-set-2012	EU-Rent as an artifact-centric process model: technical report	Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
2012	OCL-Lite: a decidable (yet expressive) fragment of OCL	Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
2012	Verification and validation of UML conceptual schemas with OCL constraints	Queralt Calafat, Anna; Teniente López, Ernest

Mostrant resultats 1 a 4 de 4