Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Evaluating finite state machine based testing methods on RBAC systemsDamasceno, Carlos Diego NascimentoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2016-05-09Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Tese de Doutorado
|
![]() |
Learning finite state machine models of evolving systems: From evolution over time to variability in spaceDamasceno, Carlos Diego NascimentoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-07-03Acesso online |
3 |
Material Type: Relatório Técnico
|
![]() |
A systematic literature review on systems-of-systems knowledge representationGabriel Abdalla Carlos Diego Nascimento Damasceno; Elisa Yumi NakagawaSão Carlos ICMC-USP 2015Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo
|
![]() |
Learning by sampling learning behavioral family models from software product linesCarlos Diego Nascimento Damasceno Mohammad Reza Mousavi; Adenilso da Silva SimãoEmpirical Software Engineering Dordrecht : Springer v. 26, n. 1, p. 1-46, Jan. 2021Dordrecht 2021Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3018528 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Similarity testing for role-based access control systemsCarlos Diego N. Damasceno (Carlos Diego Nascimento Damasceno) Paulo Cesar Masiero; Adenilso da Silva SimãoJournal of Software Engineering Research and Development Heidelberg : Springer v. 6, n. 1, p. 1-37, Jan. 2018Heidelberg 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2883524 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Learning from difference an automated approach for learning family models from software product linesCarlos Diego Nascimento Damasceno Mohammad Reza Mousavi; Adenilso da Silva Simão; International Systems and Software Product Line Conference - SPLC (23. 2019 Paris)Proceedings New York : ACM, 2019 v. ANew York ACM 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2964411 )(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
Learning to reuse adaptive model learning for evolving systemsCarlos Diego Nascimento Damasceno Mohammad Reza Mousavi; Adenilso da Silva Simão; International Conference on Integrated Formal Methods - IFM (15. 2019 Bergen, Noruega)Lecture Notes in Computer Science - LNCS Cham : Springer v. 11918, p. 138-156, 2019Cham Springer 2019Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2981965 )(Acessar) |
8 |
Material Type: Artigo
|
![]() |
Mineração de dados do Enade de 2016 a 2018 uma análise sobre o município de Araçatuba/SPMayk Fernando Choji Carlos Diego Nascimento Damasceno; Ig Ibert Bittencourt Santana Pinto; Seiji IsotaniRENOTE - Revista Novas Tecnologias na Educação Porto Alegre : CINTED-UFRGS v. 19, n. 2, p. 183-192, 2021Porto Alegre 2021Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-3065631 )(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
Evaluating test characteristics and effectiveness of FSM-based testing methods on RBAC systemsCarlos Diego Nascimento Damasceno Paulo Cesar Masiero; Adenilso da Silva Simão; Brazilian Symposium on Software Engineering - SBES 2016 (30. 2016 Maringá, Brazil)Proceedings New York, NY : ACM, 2016New York, NY ACM 2016Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2783817 )(Acessar) |
10 |
Material Type: Artigo de Congresso
|
![]() |
Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPICarlos Diego Nascimento Damasceno Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; Escola Regional de Alto Desempenho de São Paulo - ERAD-SP (8. 2017 São Carlos, SP)Anais Porto Alegre : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2853254 )(Acessar) |