Now showing items 1-20 of 29

    • 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 ...
    • Data-driven elicitation of quality requirements in agile companies 

      Oriol Hilari, Marc; Seppänen, Pertti; Behutiye, Woubshet; Farré Tost, Carles; Kozik, Rafal; Martinez Fernandez, Silverio; Rodríguez, Pilar; Franch Gutiérrez, Javier; Aaramaa, Sanja; Abhervé, Antonin; Choras, Michal; Partanen, Jari (Springer, 2019)
      Conference report
      Open Access
      Quality Requirements (QRs) are a key artifact to ensure the quality and success of a software system. Despite its importance, QRs have not reached the same degree of attention as its functional counterparts, especially in ...
    • 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. ...
    • Development and enhancement of inclusion services at higher education level 

      Josa i Culleré, Irene; Farré Tost, Carles; Gálvez Carrillo, Maria Immaculada; Ferrer Balas, Dídac; Vilalta Porta, Montserrat; Montero Mercadé, Lídia (International Association of Technology, Education and Development (IATED), 2019)
      Conference report
      Open Access
      Everyone is unique in their own way and it is necessary to embrace this diversity and make positive use of it. At all levels of education, differences between students can provide a good learning opportunity since every ...
    • 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.
    • GraphQL schema generation for data-intensive web APIs 

      Farré Tost, Carles; Varga, Jovan; Almar Graupera, Robert (Springer, 2019)
      Conference report
      Open Access
      Sharing data as a (non-)commercial asset on the web is typically performed using an Application Programming Interface (API). Although Linked Data technologies such as RDF and SPARQL enable publishing and accessing data ...
    • Influence of developer factors on code quality: a data study 

      Salamea Bravo, María José; Farré Tost, Carles (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Conference lecture
      Open Access
      Automatic source-code inspection tools help to assess, monitor and improve code quality. Since these tools only examine the software project’s codebase, they overlook other possible factors that may impact code quality ...
    • 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
      Open Access
      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 ...