Exploració per autor "Cabot, Jordi"

Ara es mostren els items 1-9 de 9

    • Comprobación eficiente de restricciones de integridad en OCL 

      Cabot, Jordi; Teniente López, Ernest (2007)
      Text en actes de congrés
      Accés obert
      El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el ...

    • Determining the structural events that may violate an integrity constraint 

      Cabot, Jordi; Teniente López, Ernest (2004-07)
      Report de recerca
      Accés obert
      Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this ...

    • Generating alternative representations for OCL integrity constraints 

      Cabot, Jordi; Teniente López, Ernest (2005-04)
      Report de recerca
      Accés obert
      Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL language. However, due to the high expressiveness of the ...

    • Handling non-functional requirements in Model-Driven Development: an ongoing industrial survey 

      Ameller, David; Franch Gutiérrez, Javier; Gómez Seoane, Cristina; Araújo, João; Berntsson Svenssonz, Richard; Biffl, Stefan; Cabot, Jordi; Cortellesa, Vittorio; Daneva, Maya; Mendez Fernández, Daniel; Moreira, Ana; Muccini, Henry; Vallecillo, Antonio; Wimmer, Manuel; Amaral, Vasco; Brunelière, Hugo; Brugueño, Loli; Goulao, Miguel; Schätz, Bernhard; Teufl, Sabine (2015)
      Text en actes de congrés
      Accés obert
      Model-Driven Development (MDD) is no longer a novel development paradigm. It has become mature from a research perspective and recent studies show its adoption in industry. Still, some issues remain a challenge. Among them, ...

    • Lightweight and static verification of UML executable models 

      Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
      Article
      Accés obert
      Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote ...

    • PRESENTACIÓ: “Estudi d’Anàlisi dels Cicles de Via (ACV) del consum d’aigua de les llars de Terrassa a la UPC” 

      Vázquez García, Ramón; Tusell, Eva; Parés, Roser; Cabot, Jordi; Escribano Rodríguez de Robles, Beatriz (2023-10-23)
      Audiovisual
      Accés obert
      Presentació a càrrec de Ramon Vázquez, Gerent de Taigua, Eva Tusell, cap de l'Àrea de control de qualitat de Taigua, Roser Parés cop del Servei de medi ambient de Taigua i Jordi Cabot, cap de l'Àrea de planificació i ...

    • Verifying action semantics specifications in UML behavioral models (Extended version) 

      Planas, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2009-03)
      Report de recerca
      Accés obert
      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) ...

    • Water distribution network model calibration and continuous maintenance: Terrassa, a real application 

      Pérez Magrané, Ramon; Cugueró Escofet, Josep; Romera Formiguera, Juli; Eeckhout Alsinet, Joan van; Cabot, Jordi; Franch, Òscar (Academic Star Publishing Company, 2021-12-11)
      Article
      Accés restringit per política de l'editorial
      The WDN model calibration has been and it still is a research area of interest [1]. This process has been well studied and the different steps required were already established. The availability of more and more data ...

    • Water distribution network model calibration and continuous maintenance: Terrassa, a real application 

      Pérez Magrané, Ramon; Cugueró Escofet, Josep; Romera Formiguera, Juli; Eeckhout Alsinet, Joan van; Cabot, Jordi; Franch, Òscar (OmniaScience, 2021-03)
      Text en actes de congrés
      Accés obert