Printer Friendly

Design pattern formalization techniques.


Design pattern formalization techniques.

Ed. by Toufik Taibi.

IGI Publishing


384 pages




Taibi (information technology, United Arab Emirates U., UAE) brings together 16 chapters on Design patterns formalization techniques. Contributors working in computer science and software engineering from around the world describe Balanced pattern specification language, the Design pattern modeling language, formal specifications of GoF patterns, an abstraction mechanism for collective behavior in reactive distributed systems, and structural and behavioral aspects. Others discuss the SPINE language for pattern verification, intent-oriented Design pattern formalization using SPQR, formalizing patterns as model transformations, the role-based metamodeling language, modeling and reasoning in SLAM-SL, the applications and enhancement of LePUS, and a pattern-enforcing compiler for Java.

([c]20072005 Book News, Inc., Portland, OR)
COPYRIGHT 2007 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2007 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book Review
Date:Dec 1, 2007
Previous Article:Science talk; changing notions of science in American popular culture.
Next Article:Ecology and ecosystem conservation.

Related Articles
Information for authors.
Object-Oriented Computation in C++ and Java.
Bodies of evidence; forensic science and crime.
Genetic vectors research focus.
Recovery, analysis, and identification of commingled human remains.
Information for Authors.
Quality software; proceedings.

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters