Amina Boudjedir

According to our database, Amina Boudjedir authored at least 2 papers in 2014.

Collaborative distances:

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

2014

On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach.

Toufik Benouhiba, Amina Boudjedir

J. Object Technol., 2014

Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic.

Amina Boudjedir, Toufik Benouhiba, Djamel Meslati

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014