Formal Specification and Verification of Design Patterns

Jing Dong; Paulo Alencar; Donald Cowan

doi:10.4018/978-1-59904-219-0.ch005

Now Offering a 20% Discount When a Minimum of Five Titles in Related Subject Areas are Purchased TogetherAlso, receive free worldwide shipping on orders over US$ 395.(This offer will be automatically applied upon checkout and is applicable to print & digital publications)Browse Titles

Special Offers
- Receive a 20% Discount on All Education, Scholarly Publishing, & Library Science Titles
  This 20% discount is automatically applied upon checkout and is only applicable on our Education and Library & Information Science titles, which cover topics including scholarly publishing, research methods, diversity, and professional development. Discount valid on purchases made directly through IGI Global’s Online Bookstore (www.igi-global.com) and cannot be combined with any other discount. It may not be used by distributors or book sellers and the offer does not apply to databases. Exclusions of select titles may apply.
  Expires on October 31, 2021.
  Browse Titles
- All IGI Global Scholarly Journals Shift to "Digital Preferred" Format
  In response to the overwhelming demand for electronic content coupled with the mission to decrease the overall environmental impacts of print production and distribution, all IGI Global journals will shift into a digital preferred model for the 2022 volume year. Under this model, journals will become primarily available under electronic format and articles will be immediately available upon acceptance. Print subscriptions and print + electronic subscriptions will still be available, but for the print version, all articles that are published during the volume year will become available at the end of the year in a single (1) printed volume.
  Learn More
- IGI Global’s New DEI e-Book Collection
  Acquire Over 320+ E-Books on Diversity, Equity, and Inclusivity from a publisher that has been dedicated to DEI since its inception over 30 years ago. Now, benefit from a collection of all of our DEI e-Books at a 90% Discount.
  Learn More
- Receive a 20% Discount When a Minimum of Five Titles are Purchased Together
  This 20% discount is automatically applied upon checkout and is only applicable when five or more reference books and scholarly journals are ordered. Discount valid on purchases made directly through IGI Global’s Online Bookstore (www.igi-global.com) and cannot be combined with any other discount. It may not be used by distributors or book sellers and the offer does not apply to databases. Exclusions of select titles may apply.
  Browse Titles
- Receive Free Shipping on Orders Over US$ 395.00
  Free shipping will be automatically applied to shopping cart orders over US$ 395.00 or more before tax, which can include a combination of print and non-shippable products (i.e. e-books, e-journals, and articles/chapters). It is only available when you order directly through IGI Global’s Online Bookstore and is only valid on standard U.S. and international shipping. There will be additional charges for express shipping and limitations may apply.
  Browse Titles
- Offering a 5% Pre-Publication Discount on
  All Reference Books Ordered Through IGI Global’s Online Bookstore*
  To support customers with accessing the latest research, IGI Global is offering a 5% pre-publication discount on all hardcover, softcover, e-books, and hardcover + e-books titles.
  *5% discount offer is eligible on hardcover, softcover, e-books, and hardcover + e-books titles and is automatically applied directly to the shopping cart. Discount offer only valid on purchases made directly through IGI Global’s Online Bookstore and offer expires 30 days after the publication’s release. This automatic discount is not intended for use by book distributors or wholesalers.
  Browse Titles
- Create a Free IGI Global Library Account to Receive an Additional 10% Discount on All Purchases
  Exclusive benefits include one-click shopping, flexible payment options, free COUNTER 5 reports and MARC records, and a 10% discount on single all titles, as well as the award-winning e-Book and e-Journal Collections.
  Sign Up Now!
Books
Journals
- - Journals
  - Open Access Journals
e-Collections
- - e-Collections
  - Open Access Read & Publish
Articles/Chapters
Publish with Us
Resources
- - Instructors
  - Course Adoption
  - Teaching Cases
  - K-12 Online Learning Collection
  - Authors and Editors
  - eEditorial Discovery^® System
  - Peer Review Process
  - Ethics and Malpractice
  - COPE Membership
  - Fair Use Policy
  - Open Access Publishing
  - Editorial Services
  - FAQ
Catalogs
About Us
Newsroom

Formal Specification and Verification of Design Patterns

Jing Dong (University of Texas at Dallas, USA), Paulo Alencar (University of Waterloo, Canada) and Donald Cowan (University of Waterloo, Canada)

Source Title: Design Pattern Formalization Techniques

DOI: 10.4018/978-1-59904-219-0.ch005

OnDemand PDF Download:

Available

$37.50

Current Special Offers

No Current Special Offers

Abstract

This chapter introduces our approaches to formal specification of the structural and behavioral aspects of Design patterns. We investigate the logic-based formalisms in our specification methods and demonstrate the applications of these methods in examples. Our formal specifications methods not only help for rigorous, precise, and unambiguous descriptions of Design patterns, but also allow us to verify the consistencies of Design pattern applications and compositions.

Complete Chapter List

Search this Book:

Reset

MLA

APA

Chicago

Export Reference

Formal Specification and Verification of Design Patterns

Abstract

Complete Chapter List