Automated reasoning on UML conceptual schemas with derived information and queries

• Carles Farré ^[1] ; Anna Queralt ^[2] ; Guillem Rull ^[1] ; Ernest Teniente ^[1] ; Toni Urpí ^[1]
  1. [1] Universitat Politècnica de Catalunya

     Universitat Politècnica de Catalunya

     Barcelona, España

     
  2. [2] Barcelona Supercomputing Center - Centro Nacional de Supercomputación, Barcelona España
• Localización: Information and software technology, ISSN 0950-5849, Vol. 55, Nº 9, 2013, págs. 1529-1550
• Idioma: inglés
• DOI: 10.1016/j.infsof.2013.02.010
• Enlaces
  • Texto completo