Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Amina Boudjedir
Observed institution:
Badji Mokhtar-Annaba University
OpenAlex ID:
A5045130314
On using pre and postconditions to tackle the aspect scheduling problem by rewriting systems: a design-level approach.
2014
·
Toufik Benouhiba
, Amina Boudjedir
·
The Journal of Object Technology
PDF
Specifying and Verifying Aspect-Oriented Systems in Rewriting Logic.
2014
·
Amina Boudjedir
, Toufik Benouhiba
, et al.
Show more works
View as search
Works count:
3
Citation count:
H-index:
I10-index:
Year
Topic
Type