Enviaments recents

  • 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 ...
  • 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. ...
  • 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 ...
  • 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 ...

Mostra'n més