Adriano Gomes

According to our database, Adriano Gomes authored at least 5 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

Effective Agile Contracts Framework for Software Innovation Projects.

Adriano Gomes

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

2020

Pah Pum: A project management tool based on TAKT PM.

Deyvson Silva, Adriano Gomes, Rafael Macieira, Emanoel C. G. F. Silva, Sérgio Soares

Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

2012

Constructive model-based analysis for safety assessment.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe

Int. J. Softw. Tools Technol. Transf., 2012

2010

Evolving a Safe System Design Iteratively.

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe

Proceedings of the Computer Safety, 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010