Design Pattern Formalization Techniques

Design Pattern Formalization Techniques

Toufik Taibi (United Arab Emirates University, UAE)
Indexed In: SCOPUS
Release Date: April, 2007|Copyright: © 2007 |Pages: 400
ISBN13: 9781599042190|ISBN10: 1599042193|EISBN13: 9781599042213|DOI: 10.4018/978-1-59904-219-0


Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formalization Techniques presents multiple mathematical, formal approaches for pattern specification, emphasizing on software development processes for engineering disciplines.

Design Pattern Formalization Techniques focuses on formalizing the solution element of patterns, providing tangible benefits to pattern users, researchers, scholars, academicians, practitioners and students working in the field of design patterns and software reuse.Design Pattern Formalization Techniques explains details on several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.

Table of Contents and List of Contributors

Search this Book:

Author(s)/Editor(s) Biography

Toufik Taibi received the PhD in computer science from Multimedia University, Malaysia in 2003. He is currently an Assistant Professor at the College of Information Technology at United Arab Emirates University, UAE. Dr. Taibi has more than 10 years of teaching and research experience. His research interests include formal specification of design patterns, distributed object computing, and component-based software engineering. He has been in the program committee of numerous conferences and has chaired several sessions in conferences. He is a member of the IEEE.