Screen LibraryDesign patterns formalization techniques /
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 developm
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | |
| Published: |
IGI Global,
|
| Publisher Address: | Hershey, Pa. : |
| Publication Dates: | 2007. |
| Literature type: | eBook |
| Language: | English |
| Subjects: | |
| Online Access: |
http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59904-219-0 |
| Summary: |
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 developm |
| Carrier Form: | PDFs (xiii, 384 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9781599042213 (ebook) 1599042215 (ebook) |
| Access: | Restricted to subscribers or individual electronic text purchasers. |
| Index Number: | QA76 |
| CLC: | TP311.5 |
| Contents: | An integrated approach to design patterns formalization -- A visual language for design pattern modeling and instantiation -- A generic model of object-oriented patterns specified in RSL -- Patterns of collective behavior in Ocsid -- Formal specificatio |