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
DOI: 10.4018/978-1-59904-219-0
ISBN13: 9781599042190|ISBN10: 1599042193|EISBN13: 9781599042213|ISBN13 Softcover: 9781616927721
Hardcover:
Available
$99.95
TOTAL SAVINGS: $99.95
Benefits
  • Free shipping on orders $395+
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • 20% discount on 5+ titles*
E-Book:
(Multi-User License)
Available
$89.96
List Price: $99.95
10% Discount:-$10.00
TOTAL SAVINGS: $10.00
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
  • 20% discount on 5+ titles*
Hardcover +
E-Book:
(Multi-User License)
Available
$120.00
TOTAL SAVINGS: $120.00
Benefits
  • Free shipping on orders $395+
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • ePub with PDF download
  • 20% discount on 5+ titles*
OnDemand:
(Individual Chapters)
Available
$37.50
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
  • 20% discount on 5+ titles*
Description & Coverage
Description:

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.

Coverage:
Indices
Table of Contents
Search this Book:
Reset
Editor Biographies
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.
Peer Review Process
The peer review process is the driving force behind all IGI Global books and journals. All IGI Global reviewers maintain the highest ethical standards and each manuscript undergoes a rigorous double-blind peer review process, which is backed by our full membership to the Committee on Publication Ethics (COPE). Learn More >
Ethics & Malpractice
IGI Global book and journal editors and authors are provided written guidelines and checklists that must be followed to maintain the high value that IGI Global places on the work it publishes. As a full member of the Committee on Publication Ethics (COPE), all editors, authors and reviewers must adhere to specific ethical and quality standards, which includes IGI Global’s full ethics and malpractice guidelines and editorial policies. These apply to all books, journals, chapters, and articles submitted and accepted for publication. To review our full policies, conflict of interest statement, and post-publication corrections, view IGI Global’s Full Ethics and Malpractice Statement.