[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - A Refinement Based Framework for Computing Loop BehaviorMili, Ali; Mili, Ali; Mili, Ali; Mili, Ali · 2007

A relational division operator: the conjugate kernelJules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili · 1993

Heuristics for constructing while loopsFatma Mili; Ali Mili · 1992

On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993

Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000

Recoverability preservation: a measure of last resortAli Mili; Frederick Sheldon; Fatma Mili; Jules Desharnais · 2005

Relational heuristics for the design of deterministic programsAli Mili; Jules Desharnais; Fatma Mili · 1987

On the use of executable assertions in structured programsAli Mili; Sihem Guemara; Ali Jaoua; Paul Torrés · 1987