Reports de recerca: Enviaments recents

Ara es mostren els items 1-12 de 32

    • iStar 2.0 language guide 

      Dalpiaz, Fabiano; Franch Gutiérrez, Javier; Horkoff, Jennifer (2016)
      Report de recerca
      Accés obert
      The 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 

      Ayala Martínez, Claudia Patricia (2004-01-22)
      Report de recerca
      Accés obert
      The 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 

      Marco Gómez, Jordi; Franch Gutiérrez, Javier (2000-12)
      Report de recerca
      Accés obert
      Object-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 ...

    • A Two-tiered methodology to extend the UML metamodel 

      Ribó, Josep M.; Franch Gutiérrez, Javier (2002-07-01)
      Report de recerca
      Accés obert
      The usage of UML in specific contexts (like real-time systems or process modelling) is specially appealing since it provides a standard modelling notation widely used by the software engineering community. However, suchusage ...

    • Some reflections on applying workflow technology to software process 

      Ocampo Goujón, Camilo; Botella López, Pere (1998-01)
      Report de recerca
      Accés obert
      Process Technologies (e.g., Workflow and Software Process) support co-operative work, where humans and Information Systems participate within an organisation. In the last two decades Workflow Management Systems ...

    • Prototipado de programas usando especificaciones funcionales 

      Franch Gutiérrez, Javier; Botella López, Pere (1996-10)
      Report de recerca
      Accés obert
      This report presents an approach to component programming in a prototyping software process model. We focus in the study of the usefulness of specifications, both functional and non functional, to obtain prototypes. ...

    • NoFun: a notation to state non-functional specifications at the product level 

      Franch Gutiérrez, Javier (1997-03)
      Report de recerca
      Accés obert
      This paper presents NoFun, a comprehensive and formally-defined notation to deal with non-functional specifications in software systems at the product level in the component programming framework. This notation is ...

    • 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)
      Report de recerca
      Accés obert
      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.

    • Especificació d'una biblioteca de tipus 

      Franch Gutiérrez, Javier (1993-01-01)
      Report de recerca
      Accés obert
      We present the specification of the data types defined in the standard library of the programming language Merlí, which are the basis for the implementation of any user-defined type. The notation is the Merlí itself, and ...

    • Dealing with non-functional properties in an imperative programming language 

      Franch Gutiérrez, Javier (1995-10)
      Report de recerca
      Accés obert
      An extension of a modular imperative programming language is presented. This extension is aimed to support the automatic selection of implementations depending on their behaviour with respect to time and space efficiency, ...

    • A Case study on prototyping with specifications and multiple implementations 

      Franch Gutiérrez, Javier (1994-10)
      Report de recerca
      Accés obert
      This paper presents through an example a software process model addressed to support the existence of multiple implementations when programming with abstract data types. We combine an equational style for specifying types ...

    • SALMon: A SOA system for monitoring service level agreements 

      Oriol Hilari, Marc; Franch Gutiérrez, Javier; Marco Gómez, Jordi (2010)
      Report de recerca
      Accés obert
      In this paper we present SALMon, a tool assessing the satisfaction of service level agreement (SLA) clauses by service-oriented systems. SALMon itself is organized as a service-oriented system that offers two kind of ...