Now showing items 1-14 of 14

  • Análisis de desajustes con respecto a los requisitos en la selección de componentes OTS 

    Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier (2009)
    Conference report
    Restricted access - publisher's policy
    Debido a su complejidad, la mayoría de los sistemas de software modernos se construyen integrando componentes de diversa naturaleza para formar arquitecturas híbridas. La construcción de este tipo de sistemas se caracteriza ...
  • Applying i* metrics for the integration of goal-oriented modeling into MDD processes 

    Giachetti, Giovanni; Alencar, Fernanda; Franch Gutiérrez, Javier; Pastor, Oscar (2010-01-31)
    External research report
    Open Access
    Nowadays, there exist modeling techniques that provide good support for the requirements elicitation and analysis of complex scenarios, such as the i* modeling framework. However, the application of these requirements ...
  • Combining structural and symbolic methods for the verification of concurrent systems 

    Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 1998)
    Conference report
    Open Access
    The contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations ...
  • First steps towards conceptual schema testing 

    Tort Pugibet, Albert; Olivé Ramon, Antoni (2009-06-12)
    Conference lecture
    Open Access
    Like any software artifact, conceptual schemas of information systems can be tested. Testing conceptual schemas has some similarities with testing programs, but there are important differences. We present a list of six ...
  • Graphic GRAFCET diagram editor based on GeCé 

    Gómez Crespo, Samuel (Universitat Politècnica de Catalunya, 2011-09-21)
    Master thesis
    Open Access
    Editor gràfic de diagrames GRAFCET basat en la metodologia GeCé. Permet l'edició, verificació, i generació de codi C.
  • Implementación de un agente para la validación de dominios privados basado en el protocolo ACME 

    Terraga Gómez, Víctor (Universitat Politècnica de Catalunya, 2019-02)
    Bachelor thesis
    Restricted access - confidentiality agreement
    Covenantee:  Safelayer Secure Communications
    Este documento describe el protocolo ACME que una CA y un solicitante pueden usar para automatizar el proceso de verificación y emisión de certificados. El protocolo también proporciona facilidades para otras funciones de ...
  • Lightweight and static verification of UML executable models 

    Planas Hortal, Elena; Cabot, Jordi; Gómez Seoane, Cristina (2016-11)
    Article
    Open Access
    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 ...
  • Relative timing verification revisited 

    Solé Simó, Marc; Pastor Llorens, Enric (2008)
    External research report
    Open Access
    Timed verification is a difficult problem. One of the ways in which it can be simplified is by using iterative refinement techniques. Here we investigate the advantages and shortcomings of this approach when combined with ...
  • Termination competition (termCOMP 2015) 

    Giesl, Jürgen; Mesnard, Frédéric; Rubio Gimeno, Alberto; Thiemann, René; Waldmann, Johannes (Springer, 2015)
    Conference report
    Open Access
    The termination competition focuses on automated termination analysis for all kinds of programming paradigms, including categories for term rewriting, imperative programming, logic programming, and functional programming. ...
  • Verificació de sistemes concurrents basada en Constraint-Programming 

    Royuela Alcazar, Josep Maria (Universitat Politècnica de Catalunya, 2010-07-12)
    Master thesis (pre-Bologna period)
    Open Access
    L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming.
  • Verificación de diagramas de clases UML mediante Constraint Programming 

    Fuente Arcas, Patricia de la (Universitat Politècnica de Catalunya, 2007-07-06)
    Master thesis (pre-Bologna period)
    Open Access
  • Verification of concurrent systems with parametric delays using octahedra 

    Clarisó Viladrosa, Robert; Cortadella, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2005)
    Conference report
    Open Access
    A technique for the verification of concurrent parametric timed systems is presented. In the systems under study, each action has a bounded delay where the bounds are either constants or parameters. Given a safety property, ...
  • Verifying action semantics specifications in UML behavioral models 

    Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina (Springer Verlag, 2009)
    Conference report
    Restricted access - publisher's policy
    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) ...
  • Verifying consistency between structural and behavioral schemas in UML 

    Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2008-06-25)
    Master thesis
    Open Access