Leonardo Montecchi - Biblioteca Virtual da FAPESP
Leonardo Montecchi é Professor Doutor no Instituto de Computação (IC) da Universidade Estadual de Campinas (UNICAMP). Possui doutorado em Ciência da Computação, Sistemas e Telecomunicações (2014) pela Università degli Studi di Firenze (Itália), mestrado em Ciência da Computação (2010) e graduação em Ciência da Computação (2007) pela Università degli Studi di Firenze (Itália). Tem interesse de pesquisas em vários aspectos da modelagem de sistemas complexos, incluindo modelos formais, análise de desempenho e engenharia dirigida por modelos. Atualmente, investiga técnicas de engenharia dirigida por modelo para apoiar o desenvolvimento e V&V de sistemas, com foco especial em sistemas e infraestruturas críticas. Outras áreas de pesquisa em que é involvido incluem técnicas para mitigar a grandeza dos modelos e técnicas inovadoras para modelagem de aspectos de segurança. Já participou em vários projetos de pesquisa internacionais, como o ARTEMIS-2008-1-100022 "CHESS", ARTEMIS-2012-1-333053 "CONCERTO", FP7-PEOPLE-2013-IRSES-612569 "DEVASSES" e FP7-ICT-2013-10-610535 "AMADEOS". Atualmente, está envolvido do projeto de mobilidade H2020-MSCA-RISE-2018-823788 "ADVANCE". (Fonte: Currículo Lattes)
A avaliação baseada em modelos desempenha um papel fundamental na avaliação de dependability e performability dos sistemas. A modelagem permite que o sistema seja analisado em diferentes n1veis de abstração e sob diferentes condições, mas sem exercitar o sistema real. As Redes de Petri Estocásticas e suas extensões são um formalismo matemático amplamente utilizado para avaliar propriedade…
Uma Metodologia para Apoiar o Reuso na Especificação de Modelos de Performabilidade, AP.R
8th Latin-American Symposium on Dependable Computing (LADC), AR.BR
As convenções de codificação fazem parte de qualquer processo estruturado de desenvolvimento de software. Elas podem ser estabelecidas por vários motivos, desde a melhoria da legibilidade do código até a prevenção da introdução de falhas de segurança. Como muitos outros artefatos no processo de desenvolvimento, as convenções de codificação vêm na forma de documentos textuais escritos em l…
Um metamodelo para apoiar a formalização de convenções de codificação, BP.MS
As convenções de codificação impõem restrições ao código-fonte e podem ser estabelecidas por várias razões, desde melhorar a legibilidade do código até evitar a introdução de defeitos. Como muitos outros artefatos em um processo de desenvolvimento de software, as convenções de codificação geralmente vêm na forma de documentos textuais escritos em linguagem natural, possivelmente com exemp…
Elder de Oliveira Rodrigues Júnior
Análise estatística de dados Ciência da Computação Ciências Exatas e da Terra Codificação de programa Desenvolvimento de software Engenharia de software Erro (falhas computacionais) Metodologia e Técnicas da Computação
JÚNIOR, Elder de Oliveira Rodrigues. A metamodel to support the formalization of coding conventions : Um metamodelo para apoiar a formalização de convenções de codificação. Dissertação (Mestrado) - Universidade Estadual de Campinas, Instituto de Computação. (18/11129-8)