Reports de recerca

Recent Submissions

  • On the lightweight use of goal-oriented models for software package selection 

    Franch Gutiérrez, Javier (2004)
    Research report
    Open Access
    Software package selection can be seen as a process of matching the products available in the marketplace with the requirements stated by an organization. This process may involve hundreds of requirements and products and ...

  • Anàlisi d'un algorisme de multiplicació d'enters 

    Marco Gómez, Jordi; Balcázar Navarro, José Luis (1993-10)
    Research report
    Open Access
    Es proposa un algorisme de multiplicació d'enters basat en l'esquema "divideix i venç", però diferent del de Karatsuba i Ofman. Es fa l'anàlisi de la seva complexitat. Es troba que, encara que sembli millor que els ja ...

  • Report de definició del llenguatge Merlí 

    Franch Gutiérrez, Javier; Burgués Illa, Xavier; Botella López, Pere (1993-03)
    Research report
    Open Access
    Es presenta en aquest report el llenguatge multiparadigma Merlí. El llenguatge Merlí està dissenyat per suportar un mètode de disseny de programes conegut com a prototipatge, en el qual un programa és el resultat d'una ...

  • El sistema Axis i el seu ús a l'entorn Excalibur 

    Moreno Llop, Carles; Montolio Catalán, Nuria; Franch Gutiérrez, Javier (1994-01)
    Research report
    Open Access
    El llenguatge de programació multiparadigma Merlí combina els estils equacional i imperatiu en una única notació. L'entorn d'execució Excalibur està dissenyat per suportar l'execució de programes Merlí i, per això, ha de ...

  • Supporting prototyping with a multiparadigm language 

    Franch Gutiérrez, Javier (1992)
    Research report
    Open Access
    This paper presents Merlí, a modular, data-type oriented programming language designed to support a prototyping software process model with the help of a programming environment, Excalibur. The language is a multiparadigm ...

  • Implementation of the BLOOM data model on ObjectStore 

    Abelló Gamazo, Alberto; Saltor Soler, Félix Enrique (1999-04)
    Research report
    Open Access

  • Especificació algebraica de tipus abstractes de dades: estudi de casos 

    Franch Gutiérrez, Javier (1991-02)
    Research report
    Open Access
    Com a complement als conceptes teòrics introduïts en el report LSI-91-1 "Especificacions algebraiques", es presenta una col·lecció de problemes resolts amb el propòsit primordial de conèixer les excepcions habituals al ...

  • Restriccions d'integritat en bases de dades deductives 

    Costal Costa, Dolors (1988)
    Research report
    Open Access
    This work describes the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases called "Consistency Method", and presents examples in order to study the aplicability, ...