Kênia Santos de Oliveira

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.
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.
Proceedings of the ICEIS 2017, 2017

A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.
Proceedings of the ICEIS 2017, 2017

2013
Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

An Empirical Evaluation of Refactoring Crosscutting Concerns into Aspects Using Software Metrics.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

Modeling Aspects in Requirements using SysML Extensions.
Proceedings of the ICEIS 2013, 2013

2012
A Systematic Review on Aspects in Software Architecture Design.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012


  Loading...