Browsing by Author "FOX, JORGE"

Now showing items 1-3 of 3

    • Exploring approaches to dynamic adaptation 

      CLARKE, SIOBHAN; FOX, JORGE (ACM, 2009)
      In this work, we compare current approaches to dynamic adaptation (DA) and identify the need for further research on mechanisms for DA, which should allow for higher compositionality and flexibility. Moreover, after ...

    • Introducing security aspects with model transformation 

      FOX, JORGE; Jurjens, Jan (IEEE Computer Society, 2005)
      Aspect Oriented Programming and subsequently Aspect Oriented Software Development have received great attention recently and constitutes an interesting field of research in computer science. The goal of this paper is ...

    • Tools for model-based security engineering 

      JUERJENS, JAN; FOX, JORGE (ACM, 2006)
      We present tool-support for checking UML models and C code against security requirements. A framework supports implementing verification routines, based on XMI output of the diagrams from UML CASE tools, and on control ...