Christiano de Oliveira Braga

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• SANTOS NETO, B. ; RIBEIRO, M. ; SILVA, V. T. ; BRAGA, C. ; COSTA, E. ; LUCENA, Carlos José P. de . AutoRefactoring: A platform to build refactoring agents. Expert Systems with Applications , v. 42, p. 1652-1664, 2015.

• SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . A Rewriting Logic Semantics for NCL. Science of Computer Programming (Print) , v. 107-108, p. 64-92, 2015.

• Braga, Christiano ; SANTOS, CÁSSIO ; DA SILVA, VIVIANE TORRES . Consistency of model transformation contracts. Science of Computer Programming (Print) , v. 92, p. 86-104, 2014.

• BRAGA, C. ; MENEZES, R. ; COMICIO, T. ; SANTOS, C. ; Landim, E. . Transformation contracts in practice. IET Software (Print) , v. 6, p. 16, 2012.

• Braga, Christiano . A transformation contract to generate aspects from access control policies. Software and Systems Modeling (Print) , v. 10, p. 395-409, 2011.

• BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. Innovations in Systems and Software Engineering (Print) , v. 6, p. 115-123, 2010.

• BRAGA, C. ; Chalub, Fabricio ; SZTAJNBERG, Alexandre . A Formal Semantics for a Quality of Service Contract Language. Electronic Notes in Theoretical Computer Science , v. 203, p. 103-120, 2009.

• BRAGA, C. ; VERDEJO, A . Modular Structural Operational Semantics with Strategies?. Electronic Notes in Theoretical Computer Science , v. 175, p. 3-17, 2007.

• CHALUB, F ; BRAGA, C. . Maude MSOS Tool. Electronic Notes in Theoretical Computer Science , v. 176, p. 133-146, 2007.

• BRAGA, C. ; MESEGUER, J . Modular Rewriting Semantics in Practice. Electronic Notes in Theoretical Computer Science , v. 117, p. 393-416, 2005.

• RADEMAKER, A ; BRAGA, C ; SZTAJNBERG, A . A Rewriting Semantics for a Software Architecture Description Language. Electronic Notes in Theoretical Computer Science , v. 130, p. 345-377, 2005.

• BRAGA, C ; SZTAJNBERG, A . Towards a Rewriting Semantics for a Software Architecture Description Language. Electronic Notes in Theoretical Computer Science , v. 95, p. 149-168, 2004.

• BRAGA, C. ; CHALUB, F . A Modular Rewriting Semantics for CML. Journal of Universal Computer Science (Online) , v. 10, p. 789-807, 2004.

• Fontoura, M. ; BRAGA, C. ; MOURA, L. ; Lucena, C. . Using domain specific languages to instantiate object-oriented frameworks. IEE Proceedings. Software , Inglaterra, v. 147, n.4, p. 109, 2000.

• BRAGA, C. ; STAA, A. V. ; LEITE, Julio C. S. P. . Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy. Journal of Software Maintenance and Evolution: Research and Practice , Estados Unidos, v. 10, n.4, p. 279-303, 1998.

• BRAGA, C. (Org.) . Science of Computer Programming, vol. 146, special issue with extended selected papers from FACS 2015. 146. ed. , 2017. v. 1. 104p .

• BRAGA, C. (Org.) ; MARTÍ OLIET, N. (Org.) . Science of Computer Programming Volume, vol. 121, Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014). 1. ed. Elsevier B. V., 2016. v. 1. 110p .

• BRAGA, C. (Org.) ; OLVECZKY, P. (Org.) . Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. 1. ed. LNCS 9539: Springer International Publishing, 2016.

• BRAGA, C. (Org.) ; MARTÍ OLIET, N. (Org.) . Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings. 1. ed. LNCS 8941: Springer International Publishing, 2014.

• BRAGA, C. (Org.) . Truth and Meaning - Essays dedicated to Edward Hermann Haeusler on the occasion of his 50th birthday. 1. ed. , 2012.

• BRAGA, C. (Org.) ; FIADEIRO, J. L. (Org.) . Science of Computer Programming Volume 93, Part A, Pages 1-86 (1 November 2014) Special Issue with Selected Papers from the Brazilian Symposium on Programming Languages (SBLP 2011). 1. ed. Elsevier, 2011.

• BRAGA, C. (Org.) . Proceedings of I Logic and Semantic Frameworks with Applications (LSFA 2006) Journal of Algorithms Volume 62, Issues 3?4, Pages 93-168 (July?October 2007). 1. ed. Elsevier, 2007.

• BRAGA, C. (Org.) ; LINS, R. D. (Org.) . Proceedings VIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2004). 1. ed. , 2004. v. 1.

• CLAVEL, M. G. ; DURAN, F. ; EKER, S. ; LINCOLN, P. ; MARTÍ OLIET, N. ; MESEGUER, J. ; TALCOTT, C. ; BRAGA, C. ; FARZAN, A. ; HENDRIX, J. ; OLVECZKY, P. ; PALOMINO, M. ; VERDEJO, A. . Some Tools. In: Manuel Clave;Francisco Durán;Steven Eker;Patrick Lincoln;Narciso Martí-Oliet;José Meseguer;Carolyn Talcott. (Org.). All About Maude - A High-Performance Logical Framework. : Lecture Notes in Computer Science. Springer, 2007, v. 4350, p. 667-693.

• BRAGA, C. . Towards a Simple Formal Semantic Framework for Compiler Construction. In: The 34th ACM/SIGAPP Symposium on Applied Computing, 2019, Limassol. The 34th ACM/SIGAPP Symposium on Applied Computing (SAC '19), April 8--12, 2019, Limassol, Cyprus, 2019. p. 1562-1569.

• METELO, A. ; BRAGA, C. ; BRANDAO, D. . Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata. In: The 18th International Conference on Computational Science and Its Applications, 2018, Melbourne. Proceedings of The 18th International Conference on Computational Science and Its Applications, 2018. p. 80-95.

• BRAGA, C. ; MARTÍ OLIET, N. ; ZAHN, J. . Automata on predecessor-closed words and multi-agent systems. In: IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017, Santa Maria, RS. Anais IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017. p. 33-40.

• PIRES, M. ; BRAGA, C. . Verification of B specifications through narrowing in rewriting logic. In: IV Workshop?Escola de Informática Teórica, 2017, Santa Maria, RS. Anais IV Workshop?Escola de Informática Teórica (WEIT 2017), 2017. p. 41-48.

• FARIAS, H. ; BRAGA, C. ; BLAUTH, P. . Massive Open Online Courses and Monoids. In: Simpósio Brasileiro de Métodos Formais (SBMF 2016), 2016, Natal. Formal Methods: Foundations and Applications, LNCS, ISBN: 9783642376344. Berlin: Springer, 2016. v. 10090. p. 179-195.

• BRAGA, C. ; HAEUSLER, Edward Hermann . Notes on Topoi and Refinement. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), ISBN 978-85-7669-357-4, 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016). Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 21-32.

• BRAGA, C. ; DERHARBE, D. ; MOREIRA, Anamaria Martins ; MARTÍ OLIET, N. . A Rewriting Logic Semantics for the Generalized Substitution Language. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016), ISBN 978-85-7669-357-4. Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 93-104.

• LIMA, G. F. ; BRAGA, C ; HAEUSLER, Edward Hermann . The Smix synchronous multimedia language: Operational semantics and coroutine implementation, ISBN 978-85-7669-357-4. In: School of Theoretical Computer Science and Formal Methods (ETMF 2016), 2016, Natal. Proceedings of School of Theoretical Computer Science and Formal Methods (ETMF 2016). Porto Alegre: Sociedade Brasileira de Computação, 2016. p. 145-154.

• SILVA, V. T. ; BRAGA, C. ; ZAHN, J. . Indirect Normative Conflict: Conflict that Depends on the Application Domain. In: 17th International Conference on Enterprise Information Systems, 2015, Barcelona. Proceedings of 17th International Conference on Enterprise Information Systems (Also to be presented at Normative Multi-Agent Systems, Dagstuhl Seminar, March 22-27, 2015), 2015. v. 1. p. 452-461.

• SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. ; ROISIN, C. ; LAYAIDA, N. . Spatio-temporal validation of multimedia documents. In: The 15th ACM SIGWEB International Symposium on Document Engineering, 2015, Lausanne. DocEng '15 Proceedings of the 2015 ACM Symposium on Document Engineering. New York, NY, USA: ACM, 2015. p. 133-142.

• BRAGA, C. ; VIEIRA, B. L. . Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case. In: 15o. Simpósio Brasileiro de Métodos Formais, 2015, Belo Horizonte. Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, MG, Brazil, September 21-25, 2015. Proceedings, ISBN: 9783642376344. Switzerland: Springer International Publishing, 2015. v. 9526. p. 74-89.

• SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . An Executable Semantics for a Multimedia Authoring Language. In: Brazilian Symposium on Formal Methods, 2013, Brasília. Proc. of 16th Brazilian Symposium on Formal Methods, LNCS 8195,, 2013. p. 67-82.

• SANTOS, J. ; Braga, Christiano ; MUCHALUAT-SAADE, D. . Automated reasoning of NCL documents with a model-driven approach. In: Brazilian Symposium on Multimedia and the Web, 2013, Salvador. Proc. of 19th Brazilian Symposium on Multimedia and the Web, 2013. p. 193-200.

• BRAGA, C. ; SANTOS, C. . Meaningful Models. In: Brazilian Symposium on Formal Methods, 2013, Brasília. Proc. of 16th Brazilian Symposium on Formal Methods. (Invited paper), LNCS 8195,, 2013. p. 1-16.

• SANTOS, J. ; BRAGA, C. ; MUCHALUAT-SAADE, D. . A Model-driven Approach for the Analysis of Multimedia Documents. In: Software Language Engineering Doctoral Symposium, 2012, Dresden. Proceedings of the Doctoral Symposium of the Software Language Engineering, CEUR-WS, ISSN 1613-0073, 2012. v. 935. p. 37-44.

• FIGUEIREDO, K. ; SILVA, V. T. ; BRAGA, C. . Modeling Norms in Multi-agent Systems with NormML. In: Coordination, Organization, Institutions and Norms in Multi-Agent Systems COIN@AAMAS 2010, 2011, Toronto. Proceedings of Coordination, Organization, Institutions and Norms in Multi-Agent Systems COIN@AAMAS 2010, LNCS, 2011. v. 6541. p. 39-57.

• BRAGA, C. ; MENEZES, R. ; SANTOS, C. ; TRACK, A. ; IVERSEN, T. ; SILVA, R. . Towards Model-driven Development of Seismic Applications with Transformation Contracts. In: Brazilian workshop on model-driven software development, 2011, São Paulo. Proceedings of the 2nd. Brazilian workshop on model-driven software development (WB-DSDM'11), 2011. p. 34-42.

• BRAGA, C. ; MENEZES, R. ; COMICIO, T. ; SANTOS, C. ; ALMEIDA, E. . On the specification, verification and implementation of model transformations with transformation contracts. In: Brazilian Symposium on Formal Methods, 2011, São Paulo. Proceedings of the 14th Brazilian Symposium on Formal Methods,Lecture Notes in Computer Science, Springer., 2011. v. 7021. p. 108-123.

• BRAGA, C. . Model-driven Development from a Programming Language Perspective. In: 1st. Brazilian Workshop on Model Driven Development, 2010, Salvador. Proceedings of the 1st. Brazilian Workshop on Model Driven Development, 2010. p. 69-76.

• BRAGA, C. . From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. In: MODELS 2008 Workshops - 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, 2009, Tolouse. Lecture Notes in Computer Science. Berlin Heidelberg: Springer-Verlag, 2009. v. 5421. p. 243-256.

• BRAGA, C. ; HAEUSLER, Edward Hermann . Programming Games and their Equilibria in Maude. In: RULE 09 - The Tenth International Workshop on Rule-Based Programming, 2009, Brasilia. Proceedings of RULE 09 - The Tenth International Workshop on Rule-Based Programming, 2009. p. 46-56.

• BRAGA, C. . A Constructive Semantics for Basic Aspect Constructs. In: Symposium in honor of Prof. Peter Mosses, 2009, Udine. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of his 60th Birthday. Lecture Notes in Computer Science, 2009. v. 5700. p. 106-120.

• SILVA, V. T. ; BRAGA, C. . Modeling and Validating Norms. In: Normative Multi-Agent Systems, 2009., 2009, Dagstuhl. Dagstuhl Seminar Proceedings, 2009. v. 09121.

• BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. In: International Workshop on Unified Modeling Language and Formal Methods, 2009, Rio de Janeiro. Proc. of UML&FM'09, 2009.

• CLAVEL, M. G. ; SILVA, V. T. ; BRAGA, C. ; EGEA, M. . Model-Driven Security in Practice: An Industrial Experience. In: Model Driven Architecture ? Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, Berlim. Lecture Notes in Computer Science, 2008. v. 5095. p. 326-337.

• Chalub, Fabricio ; BRAGA, C. ; SZTAJNBERG, Alexandre . A Formal Semantics for a Quality of Service Contract Language. In: Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008, Braga. Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007), 2007.

• CHALUB, F ; BRAGA, C. . Maude MSOS Tool. In: International Workshop on Rewriting Logic and its Applications, 2006, Vienna. Proc. of International Workshop on Rewriting Logic and its Applications, 2006.

• BRAGA, C. ; VERDEJO, A . Modular SOS with Strategies. In: Structural Operational Semantics 2006, 2006, Bonn. Proc. of Structural Operational Semantics 2006, 2006. p. 25-40.

• BRAGA, C. ; MESEGUER, J. . Modular Rewriting Semantics in Practice. In: International Workshop on Rewriting Logic and its Applications, 2005, Barcelona. Proc. of International Workshop on Rewriting Logic and its Applications, 2004.

• MESEGUER, J. ; BRAGA, C. . Modular Rewriting Semantics of Programming Languages. In: 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004, 2004, Stirling. Lecture Notes in Computer Science, 2004. v. 3116. p. 364-378.

• CHALUB, F ; BRAGA, C. . A Modular Rewriting Semantics for CML. In: VIII Simpósio Brasileiro de Linguagens de Programação, 2004, Niterói. Anais do VIII Simpósio Brasileiro de Linguagens de Programação, 2004. p. 31-45.

• RADEMAKER, Alexandre ; BRAGA, C. ; SZTAJNBERG, Alexandre . A Rewriting Semantics for a Software Architecture Description Language. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. Anais do Simpósio Brasileiro de Métodos Formais, 2004. p. 249-265.

• BRAGA, C. ; SZTAJNBERG, Alexandre . Towards a Rewriting Semantics for a Software Architecture Description Language. In: Workshop de Métodos Formais, 2003, Campina Grande. Anais do VI Workshop de Métodos Formais, 2003. p. 105-120.

• BRAGA, C. ; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Mapping Modular SOS to Rewriting Logic. In: International Workshop on Logic-based Program Synthesis and Transformation, 2002, Madri. Lecture Notes in Computer Science, 2002. v. 2664. p. 262-277.

• BRAGA, C. ; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Maude Action Tool: Using reflection to map action semantics to rewriting logic. In: AMAST 2000 - 8th International Conference on Algebraic Methodology and Software Technology, 2000, Iowa. Lecture Notes in Computer Science. Berlin: Springer, 2000. v. 1816. p. 407-421.

• BRAGA, C. ; STAA, A. V. ; LEITE, Julio C. S. P. ; MOREIRA, M. . Dynadoc: A dynamic hypertext documentation generation tool for software systems. In: V International Workshop Series on Incorporating Hypertext Functionality Into Software Systems, 1998, Kyoto. Proceedings of the Fifth International Workshop on Engineering Hypertext Functionality into Future Information Systems, 1998.

• BRAGA, C. ; FONTOURA, M. F. M. C. ; HAEUSLER, Edward Hermann ; LUCENA, Carlos José P. de . Formalizing OO frameworks and framework instantiation. In: I Workshop Brasileiro de Métodos Formais, 1998, Porto Alegre. Anais do I Workshop Brasileiro de Métodos Formais. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1998. p. 100-105.

• BRAGA, C. ; STAA, A. V. ; MOREIRA, M. . Geração automática de documentação a partir de código fonte. In: XI Simpósio brasileiro de engenharia de software, 1997, Fortaleza. Anais do XI Simpósio brasileiro de engenharia de software. Fortaleza: Universidade Federal do Ceará, 1997. p. 469-473.

• SARKIS, LAURA COSTA ; DA SILVA, VIVIANE TORRES ; Braga, Christiano . Detecting indirect conflicts between access control policies. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press, 2016. p. 1570-1572.

• BRAGA, C. . Behavioral Transformation Contracts. In: 15th Brazilian Symposium on Formal Methods, 2012, Natal. Proceedings of 15th Brazilian Symposium on Formal Methods, 2012.

• BRAGA, C. ; VIEIRA, B. L. . Certifying Massive Open Online Courses. In: Encontro Brasileiro de Lógica, 2017, Pirenópolis. XVIII EBL: Book of Abstracts, 2017. p. 61-61.

• METELO, A. ; BRAGA, C. . Cyber-Physical System Classification and Design Methods. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 34.

• BRAGA, C. ; BRANDAO, D. ; SILVA, F. L. E. ; CARVALHO, C. . Estudo sobre propriedades de um sistema ciber-físico para controle de qualidade de água em ambientes industriais. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 35.

• SILVA, V. F. T. ; BRAGA, C. . Formal reasoning on KT45n. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 23.

• PIRES, M. ; BRAGA, C. . Verification of B Machines through Narrowing. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 27.

• BRAGA, C. ; MARTÍ OLIET, N. ; ZAHN, J. . Ordered Monoid Automata and Normative Multi-Agent Systems. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. I Workshop Escola de Inverno em Teoria da Computação, 2017. p. 46.

• BRAGA, C. ; HAEUSLER, Edward Hermann ; MESEGUER, J. ; MOSSES, P. D. . Maude Action Tool: Using reflection to map action semantics to rewriting logic (Abstract). In: AS 2000 - Third international workshop on action semantics, 2000, Recife. Proceedings of the Third international workshop on action semantics. Aarhus: BRICS - Basic Research in Computer Science, 2000. v. NS. p. 133-133.

• BRAGA, C. . Logics of change in action. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. ; CALEGARI, D. . Maude in a Nutshell with Pecan Pie. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Massive Open Online Courses and Monoids. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Notes on Topoi and Refinement. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . A Rewriting Logic Semantics for the Generalized Substitution Language. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• SILVA, V. T. ; BRAGA, C. ; ZAHN, J. . Indirect Normative Conflicts. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. ; VIEIRA, B. L. . Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Palestra convidada pelos coordenadores do PC do 16o. Simpósio Brasileiro de Métodos Formais (SBMF'13) a ser realizada na 4a. Conferência Brasileira de Software (CBSoft'13). 2013. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Behavioral Transformation Contracts. 2012. (Apresentação de Trabalho/Simpósio).

• BRAGA, C. . Transformation contracts. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . On the Specication, Verication and Implementation of Model Transformations with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso).

• BRAGA, C. ; SANTOS, C. . Towards Model-driven Development of Seismic Applications with Transformation Contracts. 2011. (Apresentação de Trabalho/Congresso).

• BRAGA, C. . Language-oriented Software Engineering. 2010. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Model-driven development from a Programming Language Perspective. 2010. (Apresentação de Trabalho/Simpósio).

• BRAGA, C. . A Constructive Semantics for Basic Aspect Constructs. 2009. (Apresentação de Trabalho/Simpósio).

• BRAGA, C. ; HAEUSLER, Edward Hermann . Lightweight Analysis of Access Control Models with Description Logic. 2009. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. ; HAEUSLER, Edward Hermann . Análise Formal de Sistemas: uma abordagem baseada em linguagens. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. ; CHALUB, F ; SZTAJNBERG, Alexandre . A Formal Semantics for a QoS Contract Language. 2006. (Apresentação de Trabalho/Conferência ou palestra).

• BRAGA, C. . Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação).

• BRAGA, C. . Language-oriented Software Development and Rewriting Logic. 2005. (Apresentação de Trabalho/Comunicação).

• BRAGA, C. . Tool support for MSOS and CBabel using Maude. 2005. (Apresentação de Trabalho/Comunicação).

• BRAGA, C. . Desenvolvimento orientado a linguagens e lógica de reescrita. 2005. (Apresentação de Trabalho/Comunicação).

• BRAGA, C. ; SZTAJNBERG, Alexandre . Towards a Rewriting Semantics to a Software Architecture Description Language. 2003. (Apresentação de Trabalho/Simpósio).

• BRAGA, C. ; MESEGUER, J. . Modular rewriting semantics of programming languages. 2003. (Apresentação de Trabalho/Outra).

• BRAGA, C. ; SZTAJNBERG, Alexandre . FormArch: A Formal Architecture Development Environment using Eclipse. 2003. (Apresentação de Trabalho/Comunicação).

• BRAGA, C. . Mapeando MSOS em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra).

• BRAGA, C. . Um Mapeamento de Semântica Estrutural Modular em Lógica de Reescrita. 2002. (Apresentação de Trabalho/Outra).

• BRAGA, C. . Lógica de reescrita como um framework semântico para semântica operacional estrutural modular. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 2001 (Tese de Doutorado).

• BRAGA, C. . Uma ferramenta para geração de documentação de sistemas de software. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro, 1996 (Dissertação de Mestrado).

Outras produções

Projetos de pesquisa

• 2018 - 2019

  Um compilador de lean para LLVM, Descrição: Neste projeto arquitetaremos e implementaremos um compilador da representação intermediária da linguagem funcional Lean, disponível no provador de teoremas [Lean](https://leanprover.github.io) desenvolvido na Microsoft Research, para a linguagem intermediária do `backend` [LLVM](http://llvm.org).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Leonardo Moura - Integrante.

• 2017 - 2019

  BPLC: a library of basic programming language constructs, Descrição: BPLC is a library of basic programming language constructs (such as declarations, expressions and commands) implemented in the Maude language. It is being used both as a pedagogical tool to teach Compiler construction and in the BMaude research project to create a formal tool for B specifications.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador.

• 2017 - 2019

  BMaude: a formal tool for Abstract Machine Notation specifications, Descrição: BMaude is a formal tool for Abstract Machine Notation specifications that relies on its formal semantics. It is efficiently implemented on the Maude system on top of the Basic Programming Languages Constructs library.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador.

• 2014 - 2017

  Teoria das Categorias e Teoria da Prova: Uma interação via Computação, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014., Descrição: CNPq 442127/2014-6. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. Seus objetivos globais são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos. Os objetivos gerais são bastante amplos e ambiciosos. Vamos então passar aos objetivos específicos. Destacam-se: (i) A elaboração de sistemas dedutivos mais estruturados, que facilitam a geração de explicação de teoremas. (ii) Estender a pesquisa já iniciada e relatada em \citet{LewHaeusler1, LewHaeusler2} no que diz respeito a obtenção de esquemas heurísticos para obtenção de provas curtas (tamanho polinomial em relação a apresentação da teoria) para lógicas já conhecidas da comunidade de representação do conhecimento (iii) Definição de novas lógicas mais adequadas a certos domínios específicos, como a representação de conhecimento legal, onde trabalhos anteriores em devem ser considerados (iv) Aplicar a álgebra de operações de composição e refinamento de ontologias, e seus respectivos algoritmos, como descrito por Kelsen, de forma efetiva a contribuir para a construção e validação composicional de ontologias; (v) Estudar a existência de Categorias com noções internas de finitude não padrão, de forma a incorpora-las em modelos computacionais para estudo teórico de hipercomputação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Edward Hermann Haeusler - Coordenador / Mario Benevides - Integrante / Alexandre Rademaker - Integrante / Isabel Cafezeiro - Integrante / Vaston Costa - Integrante / Geiza Hamazaki - Integrante / Luiz Carlos Pereira - Integrante / Bruno Lopes Vieira - Integrante / Gilles Dowek - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Valeria de Paiva - Integrante / Jean Batiste Joinet - Integrante.

• 2014 - 2017

  Logic and Information, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014., Descrição: This project aims to propose an improvement on a long-term already existing collaboration between INRIA, the brazilians and the argentin named team. We already have a CAPES-COFECUB cooperation (n. 690/10, namely ``Teorias lógicas contemporâneas e a filosofia da linguagem: questões epistemológicas e semânticas'') that leaded to many students interchange and technical visits of Professors, including the organisation of some workshops (the last one was the II Workshop on Logic and Semantics, at UERJ, Ilha Grande-RJ, Brazil - http://www.tecmf.inf.puc-rio.br/LogicSemanticsII). Prof. Gilles Dowek is also a Co-Advisor with Prof. Edward Hermann Haeusler of a brazilian Ph.D. Candidate in this project (and a former one also in this project, these two candidates finalised recently a sandwich doctorate - similar to stage doctorale - at INRIA). Prof. Gilles Dowek also collaborates with other members of this team and is supervising a post-doc project of another member. Since 2011 members of the team presents seminars in the Deducteam group, also coordinated by Prof. Gilles Dowek (more information in http://www.cri.ensmp.fr/people/hermant/deducteam/seminars.html), and since 2009 for the former group of Prof. Gilles Dowek at Laboratoire d'Informatique de l'École polytechnique (LIX). Among our collaboration we propose the development of some subprojects as specific goals. We propose the continuation of an ongoing joint work to propose a resolution based system for automatic theorem proving in some modal logics. The project also presents a subproject for reasoning about model-driven engineering discipline models defining a metamodel (the description of the syntax of a modeling language). Another subproject proposes two tasks regarding information extraction using logical background. The first one regards how to extract, process and interoperate data and the last one uses counterfactuals to reason about the future. It is important to notice that the results of the subprojects are interchangeable. More specifically we proposes a joint research with Deducteam about proof-compression, and developments in about verifying properties and extracting data about programs properties.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Edward Hermann Haeusler - Coordenador / Mario Benevides - Integrante / Vaston Costa - Integrante / Geiza Hamazaki - Integrante / Luiz Carlos Pereira - Integrante / Bruno Lopes Vieira - Integrante / Gilles Dowek - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Jean Batiste Joinet - Integrante / Ricardo Oscar Rodrigues - Integrante / Cláudia Nalon - Integrante / Wagner Sanz - Integrante / Hugo Daniel dos Santos Macedo - Integrante / Fernanda Lobo Fernandes - Integrante / Madalina Croitoru - Integrante / Santiago Figueira - Integrante / José Castanho - Integrante / Alejandro Petrovich - Integrante.

• 2014 - 2017

  Verificação de modelos de software com Lógica Dinâmica e Redes de Petri, Descrição: CNPq 441952/2014-3. Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri Estocásticas de forma a efetuar a verificação formal de propriedades em software. O objetivo é converter automaticamente especificações UML em Redes de Petri Estocásticas para efetuar inferências e certificar propriedades.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Mario Benevides - Integrante / Alexandre Rademaker - Integrante / Geiza Hamazaki - Integrante / Luiz Carlos Pereira - Integrante / Bruno Lopes Vieira - Coordenador / Gilles Dowek - Integrante / Valeria de Paiva - Integrante / Jean Batiste Joinet - Integrante.

• 2013 - 2017

  A2MTV Autoria e Análise Multimídia para TV Digital Interativa, Projeto certificado pelo(a) coordenador(a) Debora Christina Muchaluat Saade em 18/11/2013., Descrição: O governo brasileiro determinou em 2007 o padrão para o sistema brasileiro de televisão digital (SBTVD), tendo como um dos principais objetivos a inclusão digital. Como a TV atinge uma grande parte da população brasileira, a implementação de serviços de governo através de serviços digitais interativos é uma ferramenta importante de inclusão digital. O suporte ao desenvolvimento de aplicações interativas no SBTVD é dado pelo middleware chamado GINGA, que utiliza as linguagens NCL (Nested Context Language), Lua e Java. O Projeto A2MTV tem como foco principal o suporte a autoria e análise de aplicações multimídia NCL para TV digital, propondo soluções para facilitar a autoria de programas e para garantir a corretude das aplicações transmitidas pelas emissoras. Os principais objetivos do projeto A2MTV são: especificação de novas facilidades para criação de documentos NCL; desenvolvimento de um ambiente gráfico de apoio à autoria de programas interativos para TV digital com suporte a templates de programas e reúso de especificações genéricas; desenvolvimento de técnicas para analisar a consistência das aplicações multimídia, garantindo a corretude dos programas desenvolvidos antes de serem transmitidos por emissoras de TV. Como principais resultados esperados, destacam-se: nova versão da linguagem XTemplate e do processador de templates para documentos NCL; proposta da linguagem JNS para autoria multimídia e conversor de documentos JNS para documentos NCL; tradutor de documentos NCL para documentos HTML5, permitindo a execução de documentos NCL em browser web; ambiente de edição gráfica para facilitar autoria de conteúdo declarativo para TV digital interativa com suporte a templates; API para autoria e análise de documentos NCL; ferramenta web para análise de documentos NCL; orientações de alunos de pós-graduação e de graduação; publicações de artigos completos em periódicos, simpósios internacionais e nacionais. (PROJETO UNIVERSAL CNPq). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Debora Muchaluat-Saade - Coordenador.

• 2012 - 2015

  Facilitando a Autoria de Aplicações de Governo Eletrônico para o Sistema Brasileiro de TV Digital, Descrição: O governo brasileiro determinou em 2007 o padrão para o sistema brasileiro de televisão digital (SBTVD), tendo como um dos principais objetivos a inclusão digital. Como a TV atinge uma grande parte da população brasileira, a implementação de serviços de governo através de serviços digitais interativos é uma ferramenta importante de inclusão digital. O suporte ao desenvolvimento de aplicações interativas no SBTVD é dado pelo middleware chamado GINGA, que utiliza as linguagens NCL (Nested Context Language), Lua e Java. O Projeto Canal Rio Poupa Tempo tem como foco principal o suporte a autoria de aplicações interativas para o SBTVD, com foco na oferta de serviços de governo eletrônico oferecidos pelo Governo do Estado do Rio de Janeiro. Sendo assim, um dos objetivos principais deste projeto de pesquisa é o desenvolvimento de soluções para facilitar a autoria de programas, e permitir um menor custo de geração de conteúdo interativo e manutenção de código em aplicações de governo eletrônico. Os principais objetivos do projeto Canal Rio Poupa Tempo são: desenvolvimento de um ambiente gráfico para facilitar a autoria de programas NCL; desenvolvimento de uma ferramenta de análise de consistência de aplicações NCL; desenvolvimento de um framework para facilitar a implementação de jogos para o SBTVD e desenvolvimento da aplicação interativa Canal Rio Poupa Tempo, oferecendo o programa do Governo do Estado do Rio de Janeiro, chamado Rio Poupa Tempo, através do SBTVD. O escopo deste projeto está inserido na área/tema Informação, Planejamento e Gestão do edital Prioridade Rio e se caracteriza por desenvolver soluções interativas voltadas para serviços de governo em TV Digital contribuindo com a formação de recursos humanos especializados em desenvolvimento de aplicações para TV digital e disponibilizando ferramentas estratégicas para o desenvolvimento de aplicações de governo para o Estado do Rio de Janeiro.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Claudia M. Lima Werner - Integrante / Debora Muchaluat-Saade - Coordenador / Esteban Clua - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

• 2011 - 2013

  Núcleo Emergente de Pesquisa em Sistemas Inteligentes: Modelagem de Sistemas Inteligentes, Descrição: Este projeto têm por objetivo primário criar um núcleo de pesquisa em sistemas inteligentes entendidos como sendo aqueles projetados e implementados com componentes situados em um ambiente, com tarefas bem atribuídas, com recursos limitados e do qual se espera o melhor desempenho possível dentro das restrições do sistema. O grupo aplicará sua expertise em sistemas de comando e controle estudando como estes sistemas, e em particular, o controle de acesso neste tipo de sistema, podem ser modelados, verificados e implementados utilizando técnicas de desenvolvimento dirigido à modelos aplicadas a interpretação de que sistemas inteligentes são sistemas multi-agente, isto é, compostos por entidades autônomas munidas de crenças, desejos e intenções. Edital FAPERJ 25/2010, Apoio a Núcleos Emergentes de Pesquisa no Estado do Rio de Janeiro ? 2010 ? PRONEM. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Viviane Torres da Silva - Integrante / Ricardo Choren Noya - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

• 2010 - 2012

  SCIADS: Sistema computacional inteligente de assistência domiciliar à saúde, Descrição: Este projeto enfoca a aplicação ao do paradigma de computação ubíqua em sistemas de assistência domiciliar remota à saúde, onde dispositivos computacionais, sensores e atuadores, operam de forma cooperativa, permitindo o tele-monitoramento em tempo-real de pacientes em suas habitações. O potencial benefício clínico da monitoração remota foi comprovado em estudos que demonstraram sua capacidade de reduzir enormemente (quase a zero) a taxa de re-internações para pacientes com determinadas doenças, e.g., insuciência cardíaca. Numa etapa anterior dessa pesquisa, identicamos diversas questões, nas áreas de Ciência da Computação e Ciências Médicas, fundamentais para a viabilização da assistência domiciliar a pacientes baseada em computação ubíqua. Pretendemos criar um ambiente tipo Smart Home, para testes preliminares dos sistemas, e também realizar experimentos pilotos com pacientes reais em suas residências, essenciais para avaliar os aspectos clínicos da proposta. A tecnologia a ser desenvolvida tem o potencial de aumentar a qualidade de vida do paciente e do atendimento médico geral da população. Adicionalmente, com sua utilização, o custo de provisionamento dos serviços de saúde por entidades governamentais poderá ser reduzido. O conhecimento adquirido poderá ser empregado no desenvolvimento de produtos de ponta, numa área de grande demanda, na qual somos extremamente carentes. Finalmente, pretendemos consolidar uma rede de conhecimento numa área multidisciplinar, com grandes desaos de pesquisa, estabelecendo uma base sólida para futuras colaborações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Orlando Loques - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

• 2009 - 2011

  Engenharia de software orientada a linguagens, Descrição: Engenharia de software orientada a linguagens (ESL) objetiva dar suporte ao desenvolvimento de software orientado a domínios utilizando linguagens padronizadas. No desenvolvimento orientado a domínios estes são definidos por linguagens. O processo de desenvolvimento se caracteriza então pela composição de transformações que, em última análise, refinam descrições em linguagens de domínio, num alto-nível de abstração, a código executável. No contexto de engenharia de software orientada a objetos, quando utilizamos padrões do Object Management Group (OMG), dentro do processo de desenvolvimento descrito no parágrafo anterior, obtêm-se a chamada Model-driven Architecture (MDA). A inicitaiva MDA propõe o uso de metamodelos, descritos na Unified Modeling Language (UML), para definir linguagens de domínio e transformações utilizando a linguagem Query View Transformation (QVT). Tanto UML e QVT são padrões da OMG. Transformações podem ser utilizadas para refinar descrições utilizando linguagens de domínio de alto-nível de abstração. Mais ainda, quando linguagens que possuem uma semântica precisa são utilizadas, podemos também: (i) raciocinar sobre estas descrições e (ii) especificar transformações, garantindo que suas implementações estejam em conformidade com as especificações dadas. Isto pode ser feito tanto dentro do contexto de MDA, utilizando a Object Constraint Language (OCL), quanto em outras abordagens que utilizam outras linguagens de especificação, transformação e validação. O grande trunfo de MDA é a padronização: com ela ferramentas podem interoperar. No entanto, os padrões associados a MDA pecam pela falta ou fraco suporte no que tange a análise e transformação. Este projeto têm como objeto final criar suporte ferramental a ESL. Isto significa produzir ferramentas que permitam, principalmente no contexto de MDA: (i) auxiliar no processo de análise de descrições específicas de domínio e (ii) auxiliar na definição de transformações entre domínios construíd. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Christiano de Oliveira Braga - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2009 - Atual

  INCT em Ciência da WEB, Descrição: Este projeto propõe a criação do Instituto Brasileiro de Pesquisa em Ciência da Web, que integrará 10 instituições brasileiras congregando esforços para melhor compreender e planejar a Web. O Instituto possui como missões: 1. Fazer avançar a pesquisa científica em linhas associadas à Ciência da Web, nas quais os pesquisadores do Instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; 2. Educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; 3. Transferir conhecimento para todos os setores da sociedade através de programas educacionais abrangentes; e 4. Transferir conhecimento para a indústria e o setor de serviços através de programas específicos, incluindo residências no Instituto. O programa de pesquisa do Instituto está organizado em 5 camadas: Pessoas e Sociedade , Tecnologias de Software para Aplicações na Web , Gerenciamento de Dados da Web , Infraestrutura da Web e Fundamentos da Ciência da Web . O Instituto congregará cerca de 100 pesquisadores doutores, com alto perfil de produção, liderados por 6 pesquisadores sênior. A equipe de pesquisa conta com: 7 pesquisadores com nível máximo de bolsa de produtividade do CNPq (1A), 3 detentores Ordem Nacional do Mérito Científico na classe Grã-Cruz, 6 detentores Ordem Nacional do Mérito Científico na classe Comendador, 4 membros da Academia Brasileira de Ciências, e um total de 55 bolsistas de produtividade de pesquisa do CNPq. O Instituto certamente congrega o grupo de pesquisadores mais representativo em Ciência da Computação no Brasil, com relevância nacional e internacional. As duas instituições que lideram a proposta, o Departamento de Informática da PUC-Rio e o Programa de Engenharia de Sistemas e Computação (PESC) da UFRJ , receberam a avaliação máxima (Nível 7) na última avaliação d CAPES. Conta com 106 colaboradores.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Carlos José P. de Lucena - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

• 2006 - 2009

  PROMESAS-Programa de métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid, Descrição: Utilização de métodos formais, em particular, sobre lógica de reescrita, para modelagem e análise de sistemas concorrentes e distribuídos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Narciso Martí Oliet - Coordenador., Financiador(es): Comunidad de Madrid - Auxílio financeiro.

• 2006 - 2008

  DESAFIOS-Desarrollo de software de alta calidad, fiable, distribuido y seguro, Descrição: Desenvolver modelos formais e técnicas de análise para o desenvolvimento de software distribuído com ênfase em propriedades relativas a segurança de software.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Narciso Martí Oliet - Coordenador., Financiador(es): Ministerio de Ciencia y Tecnología - Auxílio financeiro.

• 2006 - 2008

  Red Maude, Descrição: Reunir pesquisadores espanhois que utilizam o sistema Maude e divulgar a linguagem Maude assim como o formalismo lógica de reescrita.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Narciso Martí Oliet - Coordenador., Financiador(es): Ministerio de Educacion Y Ciencia - Auxílio financeiro.

• 2006 - 2006

  MIDAS-Metalenguajes para el diseo y análisis integrado de Sistemas Móviles y Distribuidos, Descrição: O projeto MIDAS contribuiu para o desenvolvimento de modelos formais de programação para a computação distribuída e móvel, e também no desenvolvimento de técnicas de prova de propriedades de segurança e comportamento associados a estes modelos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Christiano de Oliveira Braga - Integrante / Narciso Martí Oliet - Coordenador., Financiador(es): Ministerio de Ciencia y Tecnología - Auxílio financeiro.

• 2005 - 2008

  Anubis-Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação, Descrição: Segurança em sistemas de informação é um problema não-trivial, que se apresenta em diferentes níveis de abstração, tanto no nível de negócio quanto no nível de sistema. Por segurança da informação no nível de negócio, referimo-nos aos processos e ás pessoas envolvidas em uma empresa; por segurança da informação no nível de sistema, referimo-nos ao software e hardware sob vigilância. Inúmeros são os casos de ataques registrados, por exemplo, pelo CERT/CC, que é o centro para registro de problemas de segurança na Internet da Carnegie Mellon University. Técnicas de análise formal de software são mecanismos rigorosos, embasados matematicamente, que permitem aumentar a confiança de que um artefato de software realmente faz o que se espera que ele faça. O uso destas técnicas, por exemplo, identificou diversos problemas em protocolos de comunicação. Estas técnicas incluem simulação (ou teste), verificação de modelos (model checking) e prova de teoremas. Com base em argumentos epistemológicos e fazendo um paralelo com a teoria da ciência no que diz respeito á confirmação de teoria científicas, conclui-se, primeiramente via argumentos Carnapianos, em favor de uma abordagem linguística para o desenvolvimento de Sistemas de Informação, e, tomando o princípio da falseabilidade de Popper, que o uso de Análise Formal em uma abordagem baseada em linguagem para o desenvolvimento de sistemas de informação oferece uma via segura para o desenvolvimento de sistemas de informação. Quando o aspecto de segurança da informação é incluído neste panorama, esta via segura se torna mais atraente ainda. Por outro lado, a abstração de Agentes, devido a suas características de autonomia, proatividade e indepedência, é bastante interessante de ser assimilada pela arquitetura de um SI que tem seguranaça como característica funcional, para não dizer essencial.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Christiano de Oliveira Braga - Integrante / Edward Hermann Haeusler - Coordenador / Geiza Hmazaki - Integrante / Fernando Naufel - Integrante / Carlos Bazílio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2004 - 2008

  Caravela - Contratos para Aplicaçõesem Redes de Alta Velocidade, Descrição: O foco principal do projeto concentra-se no sub-tema --- Gerenciamento de Redes Avançadas, dentro do qual estamos propondo uma nova abordagem, baseada em contratos de alto nível, que permite automatizar diversas atividades de gerenciamento a partir de especificações de QoS associadas à arquitetura da aplicação. A proposta também se relaciona ao sub-tema ---Protocolos de Rede e Transporte em Redes Avançadas, que engloba diversos mecanismos necessários ao suporte das aplicações. Como aplicação alvo, enfocaremos sistemas de teleconferência e televisão corporativa, enquadrados no sub-tema --- Aplicações Multimídia de Tempo Real em Redes Avançadas. Deve-se ressaltar que os mecanismos de especificação e gerenciamento de QoS propostos podem ser imediatamente empregados em aplicações enquadradas no sub-tema --- Aplicações Distribuídas de Larga Escala.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Christiano de Oliveira Braga - Integrante / Alexandre Sztajnberg - Integrante / Orlando Loques - Coordenador / Michael Stanton - Integrante / Julius Leite - Integrante / Maurício Magalhães - Integrante / Antônio Jorge Gomes Abelém - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Bolsa.

• 2003 - 2005

  VAS- Verificação de Arquiteturas de Software, Descrição: Este projeto objetiva unir o desenvolvimento baseado em ADL, utilizando a liguagem CBabel assim como o middleware R-RIO, à técnicas de validação formal como verificação de modelos (model checking) e uso de provadores de teoremas. Utilizaremos o formalismo lógica de reescrita por ser um formalismo com características interessantes como um framework lógico e semântico, devido a sua visão unificada de computação e prova. Propomos então definir um método rigoroso para desenvolvimento de aplicações complexas amparado pelos conceitos de CBabel e formalizado em lógica de reescrita. Será implementada uma ferramenta que suporte este método utilizando o sistema Maude, uma implementação de alta-performance de lógica de reescrita.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Alexandre Sztajnberg - Coordenador / Alexandre Rademaker - Integrante / Matheus Mansur - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3

• 2002 - 2006

  DLF-Desenvolvimento de Sistemas Orientado a Linguagens Formais, Descrição: O nível de abstração das linguagens de programação existentes hoje em dia permite um foco cada vez maior sobre "o que" se deseja realizar ao invés de "como". Exemplos típicos são especificações executáveis em linguagens funcionais, lógicas ou algébricas. Uma das tecnologias existentes para suportar este foco é a tecnologia transformacional. Essa tecnologia permite o desenvolvimento num processo de refinamento onde o produto de cada fase é correto por construção, pois no processo de refinamento as transformações são provadas corretas. Dentro deste contexto propomos o projeto de pesquisa Desenvolvimento de Sistemas Orientado a Linguagens Formais (DLF) que visa desenvolver e aplicar métodos e tecnologias e desenvolvimento de sistemas de software orientados por linguagens formais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Fabrício Chalub - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro., Número de produções C, T & A: 10

Projetos de desenvolvimento

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e model checking . Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e model checking . Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e model checking . Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Coordenador / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

• 2020 - Atual

  Transformação Digital, Descrição: Este projeto visa desenvolver e aplicar técnicas para apoio à transformação digital da Tata Consultancy Services e seus clientes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Ralph Soares - Integrante.

• 2012 - 2013

  ADDCIM-TBM, Descrição: Desenvolver técnicas para melhoria da análise das faixas de funcionamento de turbomáquinas.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Ana Cristina Bicharra - Coordenador.

• 2011 - 2012

  Modelagem e validação de aplicações de pagamento eletrônico, Descrição: Este projeto de pesquisa visa atender a uma necessidade da APPI relativa a verificação e validação de sua solução para pagamento eletrônico. Propõe-se a utilização de uma técnica baseada de desenvolvimento dirigido a modelos (DDM) para a modelagem e validação da solução APPI de pagamento eletrônico.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Cassio Santos - Integrante / Luiz Carlos Guedes - Integrante.

• 2010 - 2011

  Modelagem e validação de aplicações sísmicas, Descrição: A empresa Schlumberger atua no seguimento de análise de dados geofísicos. O ambiente PETREL/OCEAN, de propriedade da Schlumberger, é um software extensível que possibilita a implementação de diferentes aplicações, através do mecanismo de componentes de software ("plugins"), para manipulação destes dados. O mecanismo de plugins do sistema consiste essencialmente na disponibilização de tipos de dados que podem ser customizados por uma aplicação. Um exemplo de subconjuntos destes tipos de dados são aqueles para manipulação de informações sismológicas. Uma questão importante no desenvolvimento de aplicações PETREL/OCEAN é com relação a manutenção da consistência das propriedades dos tipos de dados do ambiente PETREL/OCEAN por um plugin. Esta é a pergunta que este projeto visa a responder. Para tanto, utilizaremos a técnica de desenvolvimento dirigido por modelos e o conceito de contratos de transformação para especificação de plugins PETREL/OCEAN no domínio de dados sismológicos. São dois os objetivos deste projeto: por um lado, visa a definição de uma linguagem de modelagem para um subconjunto do domínio de informações sismológicas, tal como representado na ferramenta PE-TREL/OCEAN, assim como a validação de modelos descritos nesta linguagem utilizando técnicas como avaliação de invariantes OCL, verificação de consistência com lógica de des-crição e ?model checking?. Por outro lado, trata-se de um projeto piloto para verificar a usabi-lidade de técnicas de desenvolvimento dirigido a modelos no contexto da Schlumberger, e em particular, pela aplicação da técnica de contratos de transformação ao domínio de infor-mações sismológicas, tal como representado na ferramenta PETREL/OCEAN.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Roberto Menezes - Integrante / Cassio Santos - Integrante.

• 2010 - 2011

  Modelagem e validação de projetos de engenharia, Descrição: Este projeto têm por objetivo aplicar a técnica de desenvolvimento dirigido a modelos baseada em contratos de transformação ao padrão ISO 15926 para interoperabilidade de dados na automação de projetos de engenharia.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Coordenador / Geiza Hamazaki - Integrante.

• 2007 - 2007

  SAMe Software's Test Reporting Configuration and Management Improvement, Descrição: O objetivo deste projeto de P&D foi remodelar rigrosamente, utilizando UML e OCL, o sistema de relatórios de teste da empresa INDRA S.A., realizando análises e re-implementando o sistema a partir da nova modelagem.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Christiano de Oliveira Braga - Integrante / Christiano Braga - Integrante / Manuel Garcia Clavel - Coordenador.

Prêmios