Design Patterns Formalization Techniques

von Toufik Taibi

402 Seiten, Hardcover

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
• ISBN: 9781599042190
• Sprache: Englisch
• Erscheinungsdatum: 30.04.2007
• Größe: 260 x 183 mm
• Verlag: IGI Global