Ara es mostren els items 1-18 de 18

    • A Simple yet useful approach to implementing UML Profiles in CASE tools (extended Version) 

      Cabot Sagrera, Jordi; Gómez Seoane, Cristina (2003-04)
      Report de recerca
      Accés obert
      UML Profiles allow designers to customize the UML to their particular domain or purpose. This is a key feature to adapt the models of the information systems to the continuously evolving organizations that they represent. ...
    • Alf-verifier: an Eclipse plugin for verifying Alf/UML executable models 

      Planas Hortal, Elena; Sànchez Mendoza, David; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer, 2012)
      Text en actes de congrés
      Accés obert
      In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in ...
    • Automatic generation of basic behavior schemas from UML class diagrams 

      Albert, Manoli; Cabot Sagrera, Jordi; Gómez Seoane, Cristina; Pelechano, Vicente (2010-01-01)
      Article
      Accés restringit per política de l'editorial
      The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema consisting of a set of system operations that ...
    • Bridging the gap among academics and practitioners in non-functional requirements management: some reflections and proposals for the future 

      Franch Gutiérrez, Javier; Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi (Monsenstein und Vannerdat, 2012)
      Capítol de llibre
      Accés obert
      The software engineering community has paid a lot of attention to the study of non-functional requirements (NFRs). Along time, framing NFRs into an articulated framework has become an elusive target. As a consequence, ...
    • 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 (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 ...
    • 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: a survey 

      Ameller, David; Franch Gutiérrez, Javier; Gómez Seoane, Cristina; Martínez Fernández, Silverio Juan; Araújo, João; Biffl, Stefan; Cabot Sagrera, Jordi; Cortellessa, Vittorio; Méndez Fernández, Daniel; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Bühm, Wolfgang; Brunelière, Hugo; Burgueño, Loli; Goulao, Miguel; Teufl, Sabine; Berardinelli, Luca (2021-04-01)
      Article
      Accés obert
      Context: Managing Non-Functional Requirements (NFRs) in software projects is challenging, and projects that adopt Model-Driven Development (MDD) are no exception. Although several methods and techniques have been proposed ...
    • 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 (IEEE, 2012)
      Text en actes de congrés
      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 ...
    • 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 ...
    • Incremental integrity constraint checking in UML conceptual schemas 

      Cabot Sagrera, Jordi; Teniente López, Ernest (2005)
      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 structural ...
    • La relación de materialización en UML 

      Cabot Sagrera, Jordi (2003)
      Text en actes de congrés
      Accés obert
      La relación de materialización es un tipo de relación genérico de la modelización conceptual. Permite relacionar una clase que representa una categoría con la clase o clases que representan los objetos concretos de esa ...
    • Non-functional requirements in architectural decision-making 

      Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier (2013-03)
      Article
      Accés restringit per política de l'editorial
      Software architects often must work with incomplete or ill-specified non-functional requirements (NFRs) and use them to make decisions. Through this process, existing NFRs are refined or modified and new ones emerge. ...
    • 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) ...