Kênia Santos de Oliveira

According to our database, Kênia Santos de Oliveira authored at least 7 papers between 2012 and 2017.

Collaborative distances:

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

2017

Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.

Kênia Santos de Oliveira, Stéphane Julia

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound.

Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia

Proceedings of the ICEIS 2017, 2017

A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.

Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira

Proceedings of the ICEIS 2017, 2017

2013

Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views.

Kênia Santos de Oliveira, Joyce M. S. França, Michel S. Soares

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics.

Joyce M. S. França, Caio Augusto R. Dos Santos, Kênia Santos de Oliveira, Michel dos Santos Soares

Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Modeling Aspects in Requirements using SysML Extensions.

Kênia Santos de Oliveira, Michel dos Santos Soares

Proceedings of the ICEIS 2013, 2013

2012

A Systematic Review on Aspects in Software Architecture Design.

Kênia Santos de Oliveira, Michel dos Santos Soares

Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012