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 obertEl 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 obertAny 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 obertIntegrity 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 obertModel-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 obertExecutable 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 obertPresentació 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 obertMDD 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'editorialThe 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