Browsing by Contributor "Cabot Sagrera, Jordi"

Now showing items 1-3 of 3

  • AI on software engineering processes 

    Miralles Pena, Carles (Universitat Politècnica de Catalunya, 2018-01)
    Master thesis
    Open Access
    Covenantee:  Universitat de Barcelona / Universitat Rovira i Virgili
    Due to the large quantity of available information as well as the huge computational power achieved today, the application of Artificial Intelligence (AI) in computer programs has become, now more than ever, much popular. ...

  • Lightweight and static verification of UML executable models 

    Planas Hortal, Elena (Universitat Politècnica de Catalunya, 2013-03-21)
    Doctoral thesis
    Open Access
    Executable models play a key role in many development methods (such as MDD and MDA) by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable ...

  • Verifying consistency between structural and behavioral schemas in UML 

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