Design patterns formalization techniques

Toufik Taibi [editor]

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines. It 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. The book explains details of several specification languages, allowing readers to choose the most suitable formal technique to solve their specific inquiries.

MoreLess

Alternative title:	Design pattern formalization techniques
Year of publication:	2007
Other Persons:	Taibi, Toufik (contributor)
Institutions:	IGI Global (contributor)
Publisher:	Hershey, Pa : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA)
Subject:	Softwarearchitektur \| Objektorientierte Programmierung \| Entwurfsmuster
Description of contents:	Table of Contents [gbv.de]

Extent:	Online-Ressource(electronic texts (xiii, 384 p. : ill.))
Type of publication:	Book / Working Paper
Language:	English
Notes:	Includes bibliographical references and index Restricted to subscribers or individual electronic text purchasers Mode of access: World Wide Web Also available in print.
ISBN:	978-1-59904-221-3 ; 1-59904-221-5 ; 978-1-59904-219-0 ; 1-59904-219-3 ; 978-1-61692-772-1 ; 1-59904-219-3 ; 1-59904-219-3 ; 978-1-61692-772-1 ; 978-1-59904-219-0
Other identifiers:	10.4018/978-1-59904-219-0 [DOI]
Classification:	Programmiermethodik
Source:	ECONIS - Online Catalogue of the ZBW

Persistent link: https://www.econbiz.de/10011725973