did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9781599042190

Design Pattern Formalization Techniques

by
  • ISBN13:

    9781599042190

  • ISBN10:

    1599042193

  • Format: Hardcover
  • Copyright: 2007-03-30
  • Publisher: Igi Global
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $99.95
  • Digital
    $112.44
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

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.

Table of Contents

An integrated approach to design patterns formalizationp. 1
A visual language for design pattern modeling and instantiationp. 20
A generic model of object-oriented patterns specified in RSLp. 44
Patterns of collective behavior in ocsidp. 73
Formal specification and verification of design patternsp. 94
Spine : language for pattern verificationp. 109
Intent-oriented design pattern formalization using SPQRp. 123
Formalising design patterns as model transformationsp. 156
The role-based metamodeling language for specifying design patternsp. 183
Modeling and reasoning about design patterns in Slam-Slp. 206
The applications and enhancement of LePUS for specifying design patternsp. 236
An ontology based representation of software design patternsp. 258
Precision, flexibility, and tool support : essential elements of pattern formalizationp. 280
Formalizing patterns with the user requirements notationp. 302
A pattern enforcing compiler (PEC) for Java : a practical way to formally specify patternsp. 324
LePUS : a formal language for modeling design patternsp. 357
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program