Ara es mostren els items 1-20 de 24

  • A Data-driven approach to improve the process of data-intensive API creation and evolution 

    Abelló Gamazo, Alberto; Ayala Martínez, Claudia Patricia; Farré Tost, Carles; Gómez Seoane, Cristina; Oriol Hilari, Marc; Romero Moral, Óscar (CEUR-WS.org, 2017)
    Text en actes de congrés
    Accés obert
    The market of data-intensive Application Programming Interfaces (APIs) has recently experienced an exponential growth, but the creation and evolution of such APIs is still done ad-hoc, with little automated support and ...
  • A schema-only approach to validate XML schema mappings 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
    Report de recerca
    Accés obert
    Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping is however not a fully automatic process. The designer needs to figure out whether the mapping ...
  • A survey on software release planning models 

    Ameller, David; Farré Tost, Carles; Franch Gutiérrez, Javier; Rufian Torrell, Guillem (Springer, 2016)
    Text en actes de congrés
    Accés obert
    Software release planning (SRP) is the problem of selecting which features or requirements will be included in the next release or releases. It is a crucial step in software development, which happens to be extremely complex ...
  • AuRUS: Automated Reasoning on UML/OCL Schemas 

    Queralt Calafat, Anna; Rull Fort, Guillem; Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (Springer Verlag, 2010)
    Comunicació de congrés
    Accés restringit per política de l'editorial
    To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right ...
  • AuRUS: explaining the validation of UML/OCL conceptual schemas 

    Rull Fort, Guillem; Farré Tost, Carles; Queralt Calafat, Anna; Teniente López, Ernest; Urpí Tubella, Antoni (2015-05-01)
    Article
    Accés obert
    The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in ...
  • Computing explanations for unlively queries in databases 

    Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2007-06)
    Report de recerca
    Accés obert
    A query is lively in a database schema if it returns a non-empty answer for some database satisfying the schema. Debugging a database schema requires not only determining queries (as well as views or tables) that are not ...
  • Contención de consultas con valores nulos usando el método CQC 

    Rull, Guillem; Farré Tost, Carles; Urpí Tubella, Antoni (International Centre for Numerical Methods in Engineering (CIMNE), 2006)
    Text en actes de congrés
    Accés obert
    Este artículo presenta una extensión de nuestro método CQC destinada a comprobar la contención de dos consultas en el contexto de una BD relacional que puede contener valores nulos en los atributos de sus tuplas. Teniendo ...
  • Desenvolupament d’aplicacions web 

    Farré Tost, Carles (Institut d'Estudis Catalans (IEC), 2017-06)
    Article
    Accés obert
    Aquest article pretén aportar una visió panoràmica del desenvolupament de les aplicacions web i, en particular, donar a conèixer algunes de les tècniques, eines i metodologies que usen els professionals que s’hi dediquen. ...
  • Enginyeria del software : disseny 

    Gómez Seoane, Cristina; Farré Tost, Carles; Olivé Ramon, Antoni; Quer, Carme (Edicions UPC, 2001)
    Llibre
    Accés restringit a la comunitat UPC
    Conté: 1. Disseny de sistemes orientats a objectes amb notació UML / Cristina Gómez Seoane ... [et al.]. 2. Disseny orientat a objectes de sistemes distribuïts sobre CORBA / Carles Farré, Antoni Olivé, Carme Quer
  • Enginyeria del software : disseny. Vol. 2, Disseny orientat a objectes de sistemes distribuïts sobre CORBA 

    Farré Tost, Carles; Olivé Ramon, Antoni; Quer, Carme (Edicions UPC, 2003)
    Llibre
    Accés restringit a la comunitat UPC
    El llibre inclou les transparències que utilitzen els autors en la impartició de l'assignatura Enginyeria del Software: Disseny II a la FIB. L'objectiu central d'aquesta assignatura és aprendre a dissenyar, amb orientació ...
  • Formalization and correctness of the CQC method 

    Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2002-11)
    Report de recerca
    Accés obert
    In this report we formalize a new method that checks Query Containment for queries with negated IDB and EDB predicates as well as equality, inequality and order comparisons. The generality of our approach allows also ...
  • Generació i simplificació automàtica del model d'esdeveniments interns corresponent a un model conceptual deductiu 

    Farré Tost, Carles; Sancho Samsó, María Ribera (1994-12)
    Report de recerca
    Accés obert
    This report presents the implementation of a method able to generate and simplify the set of internal events rules corresponding to a deductive conceptual model. This implementation has been done using Quintus-Prolog Language.
  • Mètodes de validació d'esquemes de bases de dades deductives 

    Farré Tost, Carles (1996-09)
    Report de recerca
    Accés obert
    Schema validation is becoming one of the most important problems in database engineering. By validation we mean the process of checking whether a database schema correctly and adequately describes the users' ...
  • MVT: a schema mapping validation tool 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (ACM Press, NY, 2009)
    Comunicació de congrés
    Accés restringit per política de l'editorial
    Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has certain desirable properties. The answers to ...
  • Providing explanations for database schema validation 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 2008-04-14)
    Report de recerca
    Accés obert
    We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a ...
  • Query containment checking as a view updating problem 

    Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (1998-06)
    Report de recerca
    Accés obert
    In this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a ...
  • Query containment with negated IDB predicates (extended version) 

    Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni (2003-05)
    Report de recerca
    Accés obert
    We present a method that checks Query Containment for queries with negated IDB predicates. Existing methods either deal only with restricted cases of negation or do not check actually containment but uniform containment, ...
  • Replan: a release planning tool 

    Ameller, David; Farré Tost, Carles; Franch Gutiérrez, Javier; Cassarino, Antonino; Valerio, Danilo; Elvassore, Valentin (Institute of Electrical and Electronics Engineers (IEEE), 2017)
    Text en actes de congrés
    Accés obert
    Software release planning is the activity of deciding what is to be implemented, when and by who. It can be divided into two tasks: strategic planning (i.e., the what) and operational (i.e., the when and the who). Replan, ...
  • State of the practice on software release planning 

    Farré Tost, Carles; Franch Gutiérrez, Javier; Ionescu, Tudor (CEUR-WS.org, 2017)
    Text en actes de congrés
    Accés obert
    In the recent years, the academic literature has reported many different proposals addressing the problem of Software Release Planning (SRP). However, nearly none of these results has been transferred to commercial tools ...
  • Testing Termination of Query Satisfiability Checking on Expressive Database Schemas 

    Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni (2010-03-19)
    Report de recerca
    Accés obert
    A query is satisfiable if there is at least one consistent instance of the database in which it has a non-empty answer. Defining queries on a database schema and checking their satisfiability can help the database designer ...