Search the dblp DataBase

Publications of Author

1. José Meseguer, Christiano Braga
   Modular Rewriting Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:364-378 [Conf]
   
2. Christiano Braga, José Meseguer
   Modular Rewriting Semantics in Practice. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:393-416 [Journal]
   
3. Christiano Braga, Alexandre Sztajnberg
   Towards a Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:149-168 [Journal]
   
4. Christiano Braga, Alberto Verdejo
   Modular Structural Operational Semantics with Strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:3-17 [Journal]
   
5. Fabricio Chalub, Christiano Braga
   A Modular Rewriting Semantics for CML. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:7, pp:789-807 [Journal]
   
6. Christiano Braga, Arndt von Staa, Julio Cesar Sampaio do Prado Leite
   Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. [Citation Graph (0, 0)][DBLP]
   Journal of Software Maintenance, 1998, v:10, n:4, pp:279-303 [Journal]
   
7. Fabricio Chalub, Christiano Braga
   Maude MSOS Tool. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:133-146 [Journal]
   
8. 
   A Constructive Semantics for Basic Aspect Constructs. [Citation Graph (, )][DBLP]
   
   
9. 
   Model-Driven Security in Practice: An Industrial Experience. [Citation Graph (, )][DBLP]
   
   
10. 
    From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. [Citation Graph (, )][DBLP]
    
    
11. 
    Some Tools. [Citation Graph (, )][DBLP]