Exploració per autor "Sancho Samsó, María Ribera"Més informacióMés informació

Ara es mostren els items 21-40 de 57

    • Enginyeria del software especificació : especificació de sistemes orientats a objectes amb la notació UML 

      Costal Costa, Dolors; Sancho Samsó, María Ribera; Teniente López, Ernest (Edicions UPC, 2000)
      Llibre
      Accés restringit a la comunitat UPC
      Aquesta publicació inclou les transparències i els exercicis que s'utilitzen a l'assignatura Enginyeria del Software: Especificació, que s'imparteix a la Facultat d'Informàtica de la UPC. Aquesta documentació pot servir ...

    • Ensuring the semantic correctness of a BAUML artifact-centric BPM 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (2017-09-06)
      Article
      Accés obert
      Context: Using models to represent business processes provides several advantages, such as facilitating the communication between the stakeholders or being able to check the correctness of the processes before their ...

    • Especificación de restricciones de integridad en el sistema ROSES 

      Pacheco Silva, María Amelia; Sancho Samsó, María Ribera (1997-04)
      Report de recerca
      Accés obert
      This work studies the integrity constraints specification in the conceptual modeling language of the ROSES system. ROSES is basically a declarative and rule-based system but it incorporates the object-oriented concepts ...

    • Especificación de sistemas software en UML 

      Costal Costa, Dolors; Sancho Samsó, María Ribera; Teniente López, Ernest (Edicions UPC, 2003)
      Llibre
      Accés restringit a la comunitat UPC
      La presente documentación puede servir como guía para todas aquellas personas que quieran formarse en el ámbito de la ingeniería del software. Más concretamente, su objetivo principal es explicar cómo debe realizarse la ...

    • EU-Rent as an artifact-centric process model: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2012-09-20)
      Report de recerca
      Accés obert
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. This approach is usually stated in terms of the BALSA framework which defi nes the four dimensions ...

    • Evaluación del Trabajo de Fin de Grado 

      Sánchez Carracedo, Fermín; Climent Vilaró, Joan; Corbalán González, Julita; Fonseca Casas, Pau; García Almiñana, Jordi; Herrero Zaragoza, José Ramón; Llinàs Audet, Francisco Javier; Rodríguez Hontoria, Horacio; Sancho Samsó, María Ribera (Universitat Jaume I. Escola Superior de Tecnologia i Ciències Experimentals, 2013-07-10)
      Text en actes de congrés
      Accés obert
      Los Proyectos de Fin de Carrera (PFC) se han evaluado tradicionalmente a partir de una memoria y de una presentación pública. Esta evaluación, en general, la realiza un tribunal formado por varios profesores, que juzga ...

    • Evaluation and assessment of professional skills in the Final Year Project 

      Sánchez Carracedo, Fermín; Climent Vilaró, Joan; Corbalán González, Julita; Fonseca Casas, Pau; García Almiñana, Jordi; Herrero Zaragoza, José Ramón; Llinàs Audet, Francisco Javier; Rodríguez Hontoria, Horacio; Sancho Samsó, María Ribera; Alier Forment, Marc; Cabré Garcia, José M.; López Álvarez, David (Institute of Electrical and Electronics Engineers (IEEE), 2014)
      Text en actes de congrés
      Accés obert
      In this paper, we present a methodology for Final Year Project (FYP) monitoring and assessment that considers the inclusion of the professional skills required in the particular engineering degree. This proper monitoring ...

    • Explaining the behaviour of a deductive conceptual model 

      Sancho Samsó, María Ribera (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
      Text en actes de congrés
      Accés obert
      In this paper we present our approach for studying the temporal behaviour of a deductive conceptual model. It is based on the use of the semantic prototyping technique. We have implemented a tool able to simulate the ...

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

    • La ciencia de los servicios y el mundo académico 

      Botella López, Pere; Sancho Samsó, María Ribera (Asociación de Técnicos de Informática, 2010-06-01)
      Article
      Accés obert
      La Ciencia de los Servicios (Service Science o SSME), aún siendo un concepto relativamente reciente, ha entrado con fuerza e ímpetu en el mundo académico. Este articulo se inicia con las recomen­daciones que se han hecho ...

    • El Lenguatge ROSES. Part I 

      Barceló Garcia, Miquel; Costa Vallés, Pablo; Costal Costa, Dolors; Olivé Ramon, Antoni; Quer, Carme; Roselló Martos, Anna; Sancho Samsó, María Ribera (1996-10)
      Report de recerca
      Accés obert
      This report provides an intuitive understanding and a formal description of the main concepts of the ROSES language. ROSES is a conceptual modelling language for information systems. It allows the definition of the ...

    • Lightning talks of EduHPC 2022 

      Qasem, Apan; Anzt, Hartwig; Ayguadé Parra, Eduard; Cahil, Katharine; Canal Corretger, Ramon; Chan, Jany; Fosler-Lussier, Eric; Llosa Espuny, José Francisco; Martorell Bofill, Xavier; Sancho Samsó, María Ribera (Institute of Electrical and Electronics Engineers (IEEE), 2022)
      Text en actes de congrés
      Accés obert
      The lightning talks at EduHPC provide an opportunity to share early results and insights on parallel and distributed computing (PDC) education and training efforts. The four lightning talks at EduHPC 2022 cover a range of ...

    • Lindaview: an OBDA-based tool for self-sufficiency assessment 

      Ortiz Santiago, Víctor Alejandro; Estañol Lamarca, Montserrat; Marinescu, Maria Cristina; Sancho Samsó, María Ribera; Teniente López, Ernest (Barcelona Supercomputing Center, 2021-05)
      Text en actes de congrés
      Accés obert
      Poverty and social exclusion are a reality in every society. They are complex problems that require updated information and access to scattered data sources to make a proper assessment of a person’s situation. To help ...

    • Measuring motivation from the Virtual Learning Environment in secondary education 

      Aluja Banet, Tomàs; Sancho Samsó, María Ribera; Vukic, Ivan (Elsevier, 2019-09-01)
      Article
      Accés restringit per política de l'editorial
      The increase of student’s disengagement is a problem in many developed countries’ educational systems. This paper presents our approach on how the usage of VLEs (Virtual Learning Environments) can be traced and used to ...

    • Modeling context-aware events and responses in an IoT environment 

      Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2023)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The Internet of Things (IoT) involves the use of devices that exchange information about the state of things in the real world. In IoT, monitoring is regarded to be the most fully researched use case. However, research on ...

    • Monitoring, IoT devices, and semantics 

      Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Institute of Electrical and Electronics Engineers (IEEE), 2023)
      Comunicació de congrés
      Accés obert
      Efforts to improve Internet of Things (IoT) device interoperability for monitoring are still required. This demo paper proposes monitoring infrastructure safety and security with the use of semantics. We make use of an ...

    • On checking executable conceptual schema validity by testing 

      Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (Springer, 2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Ensuring the semantic quality of a conceptual schema is a fundamental goal in conceptual modeling. Conceptual schema testing is an emerging approach that helps to achieve this goal. In this paper, we focus on “what to test” ...

    • On computing the importance of associations in large conceptual schemas 

      Villegas Niño, Antonio; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (2012)
      Article
      Accés restringit per política de l'editorial
      The visualization and the understanding of large conceptual schemas require the use of specific methods. These methods generate clustered, summarized or focused schemas that are easier to visualize and to understand. All ...

    • La Organización y gestión de una titulación del EEES 

      Sánchez Carracedo, Fermín; Sancho Samsó, María Ribera; Herrero Zaragoza, José Ramón (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2011-07-05)
      Comunicació de congrés
      Accés obert
      La organización de los nuevos grados y másteres del EEES debe garantizar que el estudiante adquiere las competencias técnicas y transversales definidas por la titulación. Para ello, deben existir mecanismos muy precisos ...

    • QUARQ: QUick approximate and relaxed querying 

      Ortiz Santiago, Víctor Alejandro; Marinescu, Maria Cristina; Sancho Samsó, María Ribera (Barcelona Supercomputing Center, 2022-05)
      Text en actes de congrés
      Accés obert
      Executing queries over Linked Open Data (LOD) is a complex task. The total number of sources triggered by a single query cannot be known in advance, nor the reasoning complexity applied to each source. In order to avoid ...