Maha Boughdadi

Incorporating a Formal Design Technique into an Industrial Environment: An Experience Report

Robert Busser, Maha Boughdadi, 1998 .

An industrial application of an integrated UML and SDL modeling technique

Robert Busser, Maha Boughdadi, 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).