Concepedia

Christiano Braga

CB

9

Publications

155

Citations

9

H-Index

2004

Active since

Affiliations

Universidade Federal Fluminense(Current)

Universidade do Estado do Rio de Janeiro

Universidad Complutense de Madrid

Christiano Braga is an author at Universidade Federal Fluminense specializing in software engineering, engineering, and software design.

Top concepts

EngineeringSoftware DesignSoftware EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationSemanticsSystem SoftwareComputer Science

Publications per year

2004–2014

9

Publications

9

Maude MSOS Tool

Fabricio Chalub, Christiano Braga · Electronic Notes in Theoretical Computer Science · 2007 · 37 citations · Full text

Engineering, Scripting Language, Software Engineering +20

Modular Rewriting Semantics in Practice

Christiano Braga, José Meseguer · Electronic Notes in Theoretical Computer Science · 2005 · 31 citations · Full text

Engineering, Software Engineering, Language Case Studies +21

A Modular Rewriting Semantics for CML

Fabricio Chalub, Christiano Braga · Zenodo (CERN European Organization for Nuclear Research) · 2004 · 17 citations · Full text

AutoRefactoring: A platform to build refactoring agents

Baldoíno Fonseca dos Santos Neto, Márcio Ribeiro, Viviane Torres da Silva et al. · Expert Systems with Applications · 2014 · 15 citations

Software Maintenance, Automated Software Engineering, Engineering +9

Towards a Rewriting Semantics for a Software Architecture Description Language

Christiano Braga, Alexandre Sztajnberg · Electronic Notes in Theoretical Computer Science · 2004 · 13 citations · Full text

Software Maintenance, Engineering, Verification +27

Rows per page

1–5 of 9