Search the dblp DataBase

Publications of Author

1. Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo Rodriguez
   An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. [Citation Graph (0, 0)][DBLP]
   RAM-SE, 2006, pp:59-70 [Conf]
   
2. Mike Mannion, Javier Camara
   Theorem Proving for Product Line Model Verification. [Citation Graph (0, 0)][DBLP]
   PFE, 2003, pp:211-224 [Conf]
   
3. Javier Cámara, Carlos Canal, Javier Cubo, Antonio Vallecillo
   Formalizing WSBPEL Business Processes Using Process Algebra. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:159-173 [Journal]
   
4. Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
   Context-Based Adaptation of Component Behavioural Interfaces. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2007, pp:305-323 [Conf]
   
5. Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
   Enabling Adaptivity in User Interfaces. [Citation Graph (0, 0)][DBLP]
   ECSA, 2007, pp:106-114 [Conf]
   
6. Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
   Dynamic Contextual Adaptation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:81-95 [Journal]
   
7. Javier Cámara, Carlos Canal, Javier Cubo, Juan Manuel Murillo
   An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:189, n:, pp:21-34 [Journal]
   
8. 
   Clint: A Composition Language Interpreter (Tool Paper). [Citation Graph (, )][DBLP]
   
   
9. 
   ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. [Citation Graph (, )][DBLP]
   
   
10. 
    Behavioural self-adaptation of services in ubiquitous computing environments. [Citation Graph (, )][DBLP]
    
    
11. 
    Facilitating Controlled Tests of Website Design Changes: A Systematic Approach. [Citation Graph (, )][DBLP]
    
    
12. 
    Autonomic and SELF-adaptive Systems (WASELF, 2ª edición). [Citation Graph (, )][DBLP]
    
    
13. 
    Interactive Specification and Verification of Behavioural Adaptation Contracts. [Citation Graph (, )][DBLP]
    
    
14. 
    Run-time Composition and Adaptation of Mismatching Behavioural Transactions. [Citation Graph (, )][DBLP]
    
    
15. 
    Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. [Citation Graph (, )][DBLP]