Now showing items 1-20 of 25

  • 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)
    Conference report
    Open Access
    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)
    External research report
    Open Access
    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)
    Conference report
    Open Access
    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)
    Conference lecture
    Restricted access - publisher's policy
    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
    Open Access
    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)
    External research report
    Open Access
    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)
    Conference report
    Open Access
    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
    Open Access
    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)
    Book
    Restricted access to the UPC academic community
    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)
    Book
    Restricted access to the UPC academic community
    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)
    External research report
    Open Access
    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)
    External research report
    Open Access
    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)
    External research report
    Open Access
    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)
    Conference lecture
    Restricted access - publisher's policy
    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 ...
  • Non-functional requirements in model-driven development of service-oriented architectures 

    Ameller, David; Burgués Illa, Xavier; Costal Costa, Dolors; Farré Tost, Carles; Franch Gutiérrez, Javier (2018-12-15)
    Article
    Restricted access - publisher's policy
    Any software development process needs to consider non-functional requirements (NFR) in order to deliver a system that complies with its stakeholders' expectations. In a previous mapping study about model-driven development ...
  • 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)
    External research report
    Open Access
    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)
    External research report
    Open Access
    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)
    External research report
    Open Access
    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)
    Conference report
    Open Access
    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)
    Conference report
    Open Access
    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 ...