Toufik Taibi

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Toufik Taibi
Incorporating trust into the BDI architecture. Int. J. Artif. Intell. Soft Comput. 2 (3) (2010)
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. 8 (2) (2009)
Toufik Taibi
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker. Int. J. Artif. Intell. Soft Comput. 1 (1) (2008)
Fathi Taibi, Toufik Taibi
A Service-Level Security Protocol for Bluetooth Scatternets. Int. Arab J. Inf. Technol. 4 (1) (2007)
Toufik Taibi, Fathi Taibi
Formal Specification of Design Patterns and Their Instances. AICCSA (2006)
Toufik Taibi, Abdelouahab Abid, Wei Jiann Lim, Yeong Fei Chiam, Chong Ting Ng
Design and Implementaion of A Two-Phase Commit Protocol Simulator. Int. Arab J. Inf. Technol. 3 (1) (2006)
Toufik Taibi
Formal specification of design patterns' relationships. ACST (2006)
Toufik Taibi
Formalising design patterns composition. IEE Proc. Softw. 153 (3) (2006)
Toufik Taibi, David Ngo Chek Ling
Formal Specification of Design Patterns - A Balanced Approach. J. Object Technol. 2 (4) (2003)
Toufik Taibi, David Ngo Chek Ling
Formal specification of design pattern combination using BPSL. Inf. Softw. Technol. 45 (3) (2003)
Toufik Taibi
Hybrid Object-Oriented Method (HOOM) for Object-Oriented Software Development. ISAS-SCI (1) (2001)
Toufik Taibi
Hybrid Object-Oriented Method (HOOM): The Software Development Process. TOOLS (36) (2000)