Ara es mostren els items 5-15 de 15

  • Computing the relevant instances that may violate an OCL constraint 

    Cabot Sagrera, Jordi; Teniente López, Ernest (2005-03)
    Report de recerca
    Accés obert
    Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to achieve efficiency is to consider ...
  • CUCKOO: una plataforma web para la verificación de modelos UML 

    Caballé Llobet, Santi; Cabot Sagrera, Jordi; Clarisó Viladrosa, Robert; Conesa Caralt, Jordi; Planas Hortal, Elena; Riera Terrén, Daniel (2009-06-15T08:51:23Z)
    Text en actes de congrés
    Accés obert
    En este artículo presentamos CUCKOO (QUality cheCKing of Object Oriented designs) una plataforma web para la verificación de diagramas de clases UML. Esta plataforma está orientada a facilitar el aprendizaje de las fases ...
  • Dealing with non-functional requirements in model-driven development 

    Ameller, David; Franch Gutiérrez, Javier; Cabot Sagrera, Jordi (IEEE Computer Society Publications, 2010)
    Text en actes de congrés
    Accés obert
    The impact of non-functional requirements (NFRs)over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to integrate this type of requirements into the ...
  • Dealing with non-functional requirements in model-driven development 

    Ameller, David; Franch Gutiérrez, Javier; Cabot Sagrera, Jordi (2010-04-22)
    Report de recerca
    Accés obert
    The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to integrate this type of requirements into the ...
  • How do software architects consider non-functional requirements: an exploratory study 

    Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier (2012)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and ...
  • Incremental evaluation of OCL constraints 

    Cabot Sagrera, Jordi; Teniente López, Ernest (2005-04)
    Report de recerca
    Accés obert
    Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the ...
  • Non-functional requirements in architectural decision-making 

    Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier (2013-04-01)
    Article
    Accés restringit per política de l'editorial
    A survey of software architects addressed how they face non-functional requirements from an engineering perspective and how these requirements influence decision making.
  • Non-functional requirements in software architecture practice 

    Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier (2012-03-16)
    Report de recerca
    Accés obert
    Dealing with non-functional requirements (NFRs) has posed a challenge onto software engineers for many years. Over the years, many methods and techniques have been proposed to improve their elicitation, documentation, and ...
  • Roles as entity types: a conceptual modelling pattern 

    Cabot Sagrera, Jordi; Raventós Pagès, Ruth (2003-12)
    Report de recerca
    Accés obert
    Roles are meant to capture dynamic and temporal aspects of real-world objects. The role concept has been used with many semantic meanings: dynamic class, aspect, perspective, interface or mode. This paper identifies common ...
  • Transformation techniques for OCL constraints 

    Cabot Sagrera, Jordi; Teniente López, Ernest (2006-09)
    Report de recerca
    Accés obert
    Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer ...
  • Verifying action semantics specifications in UML behavioral models 

    Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) ...