Now showing items 1-2 of 2

    • Diagram Predicate Framework meets Model Versioning and Deep Metamodelling 

      Rossini, Alessandro (The University of Bergen, 2011-12-07)
      Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
      Doctoral thesis
    • Inferring Required Permissions for Statically Composed Programs 

      Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne (Springer, 2013)
      Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...
      Chapter