Mauro José Carlos e Silva

Mestre em Ciência da Computação pelo Centro de Informática - UFPE, Novembro de 2004

Bacharel em Ciência da Computação pela UNICAP, Julho de 2001

Posição Atual

Professor da Faculdade dos Guararapes desde Outubro de 2004

• Atuando como Professor e Coodenador de TCC
  

Engenheiro de Sistemas Sênior do C.E.S.A.R desde Maio de 2006

• Atuando como Technical Leader em projetos Motorola

Cursos

• TCC 1 e 2: 2008.1, 2008.2, 2009.1
• Lógica e Construção de Algoritmos: 2009.1, 2009.2, 2010.1
• Métodos Formais: 2008.1, 2008.2, 2009.2
• Teoria dos Grafos: 2008.2, 2009.2, 2010.1
• Engenharia de Software: 2008.1
• Linguagem de Programação III - OOP/C++: 2008.1

Áreas de Interesse

Análise, Projeto e Programação Orientada a Objetos

Engenharia de Software

Liguagem de Programação - C/C++

Desenvolvimento para Dispositivos Móveis

Métodos Formais - Redes de Petri

Publicações

A Review of Productivity Factors and Strategies on Software Development. ICSEA (International Conference on Software Engineering Advances), Nice, France. 2010

Estimating LOC for OMA primitives: an approach based on correlation and regression analysis. SBES'2008, UNICAMP, SP. 2008

 State MVC: Estendendo o Padrão MVC para Uso no Desenvolvimento de Aplicações para Dispositivos Móveis. SugarLoafPLoP´2007, Porto de Galinhas - PE. 2007

A Framework based on Petri Nets for Supporting Stepwise Modeling of Production Systems. Inderscience Journal Services Operations and Informatics, China, 2006.

A Framework based on Petri Nets for Supporting Stepwise Modelling of Production System. IEEE International Conference On Service Operations And Logistics And Informatics, 2005.

Modelling and Analysis of Inventory Policy: an approach based on Petri Nets. IEEE Transactions on Systems Man and Cybernetics, 2005.

On the Generalized Stochastic Petri Net Modeling of Message-Oriented Middleware Systems. 23rd IEEE International Performance Computing and Communications Conference, Phoenix, Arizona, 2004.

Performance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets. 22 Simpósio Brasileiro de Redes de Computadores, Gramado, RS, 2004.

MODELING OF MANUFACTURING SYSTEM FOR PERFORMANCE ANALYSIS: AN APPROACH BASED ON GSPN. European Simulation and Modelling Conference, 2003.

Data-Dependency Analysis: an Approach Based on Petri Nets. Advanced Simulation Technologies Conference, 2002.

Resource sharing Estimation by Petri Nets in PISH hardware/software co-design system. SMC 2000 IEEE Systems, Man, and cybernetics society, 2000.

Curriculum Vitae

Plataforma Lattes - CNPq

E-m@il

ProfessorMauroSilva .at. gmail.com