Adriana Carla Damasceno

According to our database, Adriana Carla Damasceno authored at least 5 papers between 2015 and 2017.

Collaborative distances:

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

2017

Testing real-time systems from compositional symbolic specifications.

Adriana Carla Damasceno, Patrícia D. L. Machado, Wilkerson de L. Andrade

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

Descrevendo o uso dos computadores nas escolas públicas da Paraíba.

Adriana Carla Damasceno, Mayrlla Lopes, Rafael Andrade, Silvana Nóbrega, Israel Almeida

Revista Brasileira de Informática na Educ., 2017

2016

A multicriteria approach for selection of agile methodologies in software development projects.

Vanessa B. S. Silva, Fernando Schramm, Adriana Carla Damasceno

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Towards a test generation approach for compositional real-time systems.

Adriana Carla Damasceno

PhD thesis, 2015

Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions.

Adriana Carla Damasceno, Patrícia Duarte de Lima Machado, Wilkerson de Lucena Andrade, Wesley Nunes Marques Torres

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015