Kamel Toubache

Learn More
EEcient and eeective studying of scientiic papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software research and development. However, we experienced numerous problems related to the many subactivities of studying scientiic papers. It turns out that many of them are analogous to(More)
E@cient and effective studying of scientific papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software research and development. However, we experienced numerous problems related to the many subactiuities of studying scientific papers. It turns out that many of them are analogous(More)
i Résumé L'algèbre relationnelle abstraite est utilisée pour donner une définition sémantique d'un langage de programmation impératif simple. A cet effet, divers domaines sont spécifiés par des axiomes relationnels. Certaines spécifications définissent des relations sur les types de base du langage (Booléens et entiers non négatifs); leur présentation(More)
  • 1