DSpace Repository

Browsing Trabajos presentados a eventos by Subject "Software Architectures"

Browsing Trabajos presentados a eventos by Subject "Software Architectures"

Sort by: Order: Results:

  • Dynamic Validation of Software Architectural Connectors 
    Asteasuain, Fernando; Graiño, Claudio; Dubinsky, Manuel (Sociedad Argentina de Informática e Investigación Operativa (SADIO), 2016)
    In this work we present an approach to dynamically validate the usage of software connectors in the context of software architectures. By employing aspect oriented techniques the system’s execution is monitored in order ...
  • Exploring Architectural Model Checking with Declarative Specifications 
    Asteasuain, Fernando; Tarulla, Francisco (Red de Universidades con Carreras en Informática, 2017)
    In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing ...

Search DSpace


Browse

My Account