Concepedia
Statistics
Publications
5
Citations
193
H-Index
Active since
2003
Affiliations
Multimedia University(Current)
United Arab Emirates University
Toufik Taibi is an author at Multimedia University specializing in systems engineering, formal methods, and design.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignFormal VerificationSystems EngineeringVerificationSocial SciencesIndustrial DesignSoftware Analysis
Publications per year
2003–2009
Formal Specification of Design Patterns - A Balanced Approach.
Toufik Taibi, David Chek Ling Ngo · The Journal of Object Technology · 2003 · 90 citations · Full text
Formal specification of design pattern combination using BPSL
Toufik Taibi, David Chek Ling Ngo · Information and Software Technology · 2003 · 45 citations
Architectural Design, Industrial Design, Specification Language +10
Formalising design patterns composition
Toufik Taibi · IEE Proceedings - Software · 2006 · 38 citations
Design Patterns Composition, Engineering, Pattern Composition +21
Formal Specification of Design Patterns and Their Instances
Toufik Taibi, Fathi Taibi · IEEE International Conference on Computer Systems and Applications, 2006. · 2006 · 10 citations
Design Pattern, Formal Specification, Engineering +15
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
Toufik Taibi, Ángel Herranz, Juan José Moreno-Navarro · The Journal of Object Technology · 2009 · 10 citations · Full text
1–5 of 5