Login / Signup
Amina Boudjedir
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Black Box
Rewriting Systems
Tabu Search
Top Venues
ICAASE
J. Object Technol.
</>
Publications
</>
Amina Boudjedir
,
Toufik Benouhiba
,
Djamel Meslati
Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic.
ICAASE
(2014)
Toufik Benouhiba
,
Amina Boudjedir
On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach.
J. Object Technol.
13 (6) (2014)