Articles matching “Taibi”
- Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah, On Differencing Object-Oriented Formal Specifications, pp. 183-198, PDF, HTML, DOI. Volume 9, no. 1 (January 2010)
- Toufik Taibi, Angel Herranz, Juan Jose Moreno-Navarro, Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker, pp. 137-161, PDF, HTML, DOI. Volume 8, no. 2 (March 2009)
- Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Alam, A Matching Approach for Object-Oriented Formal Specifications, pp. 139-153, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
- Toufik Taibi, David Chek Ling Ngo, Formal Specification of Design Patterns - A Balanced Approach, pp. 127-140, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)