Design Patterns Formalization Techniques

Erscheinungsjahr 2007
ISBN: 978-1-59904-219-0
Verlag: IGI Global

Buch, Englisch, 400 Seiten, Hardback, Format (B × H): 183 mm x 260 mm, Gewicht: 948 g

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.

Autoren/Hrsg.

Taibi, Toufik

Über Autor(innen)

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.