Cover Image

Design 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 development processes for engineering disciplines. It f...

Full description

Bibliographic Details
Corporate Author: IGI Global.
Other Authors: Taibi, Toufik, 1969-
Format: Electronic
Language:English
Published: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2007.
Subjects:
Software patterns.
Formal methods (Computer science)
Software architecture.
Online Access:View fulltext via EzAccess
LEADER 03481nam a2200469 a 4500
001 29320
003 IGIG
005 20100616114617.0
006 m e d
007 cr bn||||m|||a
008 100528s2007 paua fsb 001 0 eng d
010 # # |z 2006035478 
020 # # |a 9781599042213 (ebook) 
020 # # |a 1599042215 (ebook) 
020 # # |z 9781599042190 (hardcover) 
020 # # |z 1599042193 (hardcover) 
020 # # |z 9781616927721 (pbk.) 
024 7 # |a 10.4018/978-1-59904-219-0  |2 doi 
035 # # |a (CaBNVSL)gtp00541093 
035 # # |a (OCoLC)537783094 
040 # # |a CaBNVSL  |c CaBNVSL  |d CaBNVSL 
050 # 4 |a QA76.76.P37  |b D47 2007e 
082 0 4 |a 005.1  |2 22 
245 0 0 |a Design patterns formalization techniques  |c Toufik Taibi [editor].  |h [electronic resource] / 
246 3 # |a Design pattern formalization techniques. 
260 # # |a Hershey, Pa. :  |b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),  |c c2007. 
300 # # |a electronic texts (xiii, 384 p. : ill.) :  |b digital files. 
504 # # |a Includes bibliographical references and index. 
505 0 # |a 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 specification and verification of design patterns -- Spine: language for pattern verification -- Intent-oriented design pattern formalization using SPQR -- Formalising design patterns as model transformations -- The role-based metamodeling language for specifying design patterns -- Modeling and reasoning about design patterns in Slam-Sl -- The applications and enhancement of LePUS for specifying design patterns -- An ontology based representation of software design patterns -- Precision, flexibility, and tool support: essential elements of pattern formalization -- Formalizing patterns with the user requirements notation -- A pattern enforcing compiler (PEC) for Java: a practical way to formally specify patterns -- LePUS: a formal language for modeling design patterns. 
506 # # |a Restricted to subscribers or individual electronic text purchasers. 
520 3 # |a 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. 
530 # # |a Also available in print. 
538 # # |a Mode of access: World Wide Web. 
588 # # |a Title from PDF t.p. (viewed on May 25, 2010). 
650 # 0 |a Software patterns. 
650 # 0 |a Formal methods (Computer science) 
650 # 0 |a Software architecture. 
700 1 # |a Taibi, Toufik,  |d 1969- 
710 2 # |a IGI Global. 
776 1 # |c (Original)  |w (DLC) 2006035478  |z 9781599042190  |z 1599042193 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-59904-219-0  |z View fulltext via EzAccess 

Similar Items