Reports de recerca
Recent Submissions
-
On the lightweight use of goal-oriented models for software package selection
(2004)
Research report
Open AccessSoftware 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
(1993-10)
Research report
Open AccessEs 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í
(1993-03)
Research report
Open AccessEs 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
(1994-01)
Research report
Open AccessEl 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
(1992)
Research report
Open AccessThis 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
(1999-04)
Research report
Open Access -
Especificació algebraica de tipus abstractes de dades: estudi de casos
(1991-02)
Research report
Open AccessCom 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
(1988)
Research report
Open AccessThis 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, ... -
Building and using quality models for complex software domains
(2003)
Research report
Open AccessThe use of quality models in software package procurement provides a framework for the description of the domain which the package belongs to. Package descriptions and user quality requirements may be translated into the ... -
iStar 2.0 language guide
(2016)
Research report
Open AccessThe i* modeling language was introduced to fill the gap in the spectrum of conceptual modeling languages, focusing on the intentional (why?), social (who?), and strategic (how? how else?) dimensions. i* has been applied ... -
Towards the definition of a taxonomy for the COTS product's market
(2004-01-22)
Research report
Open AccessThe core of this research is aimed at improving the building taxonomies issues in the context of the GESSI proposal, through the start of a new line of research for analyzing in depth those aspects concerned with ... -
Bridging the gap between design and implementation of components libraries
(2000-12)
Research report
Open AccessObject-oriented design is usually driven by three main reusability principles: step-by-step design, design for reuse and design with reuse. However, these principles are just partially applied to the subsequent ...