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.
Sprache
Verlagsort
Verlagsgruppe
Maße
Höhe: 260 mm
Breite: 183 mm
Dicke: 26 mm
Gewicht
ISBN-13
978-1-59904-219-0 (9781599042190)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
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.