Seguir
Christiano Braga
Christiano Braga
Associate Professor of Computer Science, Universidade Federal Fluminense
Dirección de correo verificada de ic.uff.br - Página principal
Título
Citado por
Citado por
Año
Modular rewriting semantics of programming languages
J Meseguer, C Braga
International Conference on Algebraic Methodology and Software Technology …, 2004
682004
Rewriting logic as a semantic framework for modular structural operational semantics
C Braga
PhD thesis, Departamento de Informática, Pontificia Universidade Católica de …, 2001
582001
Model-driven security in practice: An industrial experience
M Clavel, V da Silva, C Braga, M Egea
European Conference on Model Driven Architecture-Foundations and …, 2008
552008
Maude MSOS tool
F Chalub, C Braga
Electronic Notes in Theoretical Computer Science 176 (4), 133-146, 2007
482007
Modeling norms in multi-agent systems with NormML
K da Silva Figueiredo, VT da Silva, C de Oliveira Braga
International Workshop on Coordination, Organizations, Institutions, and …, 2010
382010
Modular rewriting semantics in practice
C Braga, J Meseguer
Electronic Notes in Theoretical Computer Science 117, 393-416, 2005
372005
Maude action tool: Using reflection to map action semantics to rewriting logic
C Braga, E Haeusler, J Meseguer, P Mosses
Algebraic Methodology and Software Technology, 407-421, 2000
352000
Mapping modular SOS to rewriting logic
C Braga, EH Hæusler, J Meseguer, PD Mosses
Proceedings of 12th LOPSTR 2664, 262-277, 2003
34*2003
A rewriting semantics for a software architecture description language
A Rademaker, C Braga, A Sztajnberg
Electronic Notes in Theoretical Computer Science 130, 345-377, 2005
312005
An implementation of Modular SOS in Maude
F Chalub, C Braga
Master’s thesis, Universidade Federal Fluminense, 2005
272005
Towards a Rewriting Semantics for a Software Architecture Description Language
C Braga, A Sztajnberg
Electronic Notes in Theoretical Computer Science 95, 149-168, 2004
262004
Using domain specific languages to instantiate object-oriented frameworks
M Fontoura, C Braga, L Moura, C Lucena
IEE Proceedings-Software 147 (4), 109-116, 2000
242000
A Modular Rewriting Semantics for CML.
F Chalub, C Braga
J. Univers. Comput. Sci. 10 (7), 789-807, 2004
232004
AutoRefactoring: A platform to build refactoring agents
BF dos Santos Neto, M Ribeiro, VT Da Silva, C Braga, CJP De Lucena, ...
Expert Systems with Applications 42 (3), 1652-1664, 2015
202015
AutoRefactoring: A platform to build refactoring agents
BF dos Santos Neto, M Ribeiro, VT da Silva, C Braga, CJP de Lucena, ...
Expert Systems with Applications 42 (3), 1652-1664, 2015
202015
A formal semantics for a quality of service contract language
C Braga, F Chalub, A Sztajnberg
Electronic Notes in Theoretical Computer Science 203 (7), 103-120, 2009
202009
Modular structural operational semantics with strategies
C Braga, A Verdejo
Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007
192007
A transformation contract to generate aspects from access control policies
C Braga
Software & Systems Modeling 10 (3), 395-409, 2011
182011
On the specification, verification and implementation of model transformations with transformation contracts
C Braga, R Menezes, T Comicio, C Santos, E Landim
Formal Methods, Foundations and Applications, 108-123, 2011
142011
Documentu: a flexible architecture for documentation production based on a reverse‐engineering strategy
C de Oliveira Braga, A Von Staa, JC Sampaio do Prado Leite
Journal of Software Maintenance: Research and Practice 10 (4), 279-303, 1998
131998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20