Reports de recerca
Enviaments recents
-
On the lightweight use of goal-oriented models for software package selection
(2004)
Report de recerca
Accés obertSoftware 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)
Report de recerca
Accés obertEs 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)
Report de recerca
Accés obertEs 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)
Report de recerca
Accés obertEl 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)
Report de recerca
Accés obertThis 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)
Report de recerca
Accés obert -
Especificació algebraica de tipus abstractes de dades: estudi de casos
(1991-02)
Report de recerca
Accés obertCom 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)
Report de recerca
Accés obertThis 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)
Report de recerca
Accés obertThe 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)
Report de recerca
Accés obertThe 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)
Report de recerca
Accés obertThe 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)
Report de recerca
Accés obertObject-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 ...
RSS 1.0