Related Books

Design Pattern Formalization Techniques
Language: en
Pages: 400
Authors: Taibi, Toufik
Categories: Computers
Type: BOOK - Published: 2007-04-30 - Publisher: IGI Global

DOWNLOAD EBOOK

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. Design Pattern Formaliz
Formalization of Design Patterns by Means of Ontologies
Language: en
Pages: 108
Authors: Holger Kampffmeyer
Categories: Computers
Type: BOOK - Published: 2012-07-19 - Publisher: GRIN Verlag

DOWNLOAD EBOOK

Diploma Thesis from the year 2007 in the subject Computer Science - Software, grade: 1, Dresden Technical University, language: English, abstract: Design patter
Formal Methods and Software Engineering
Language: en
Pages: 682
Authors: Shengchao Qin
Categories: Computers
Type: BOOK - Published: 2011-10-23 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011.
Architectural Design Decision Documentation through Reuse of Design Patterns
Language: en
Pages: 522
Authors: Durdik, Zoya
Categories: Electronic computers. Computer science
Type: BOOK - Published: 2016-07-07 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

The ADMD3 approach presented in this book enchances the architectural design documentation of decision via reuse of design patterns. It combines the support for
Formal Foundations of Reuse and Domain Engineering
Language: en
Pages: 309
Authors: Stephen H. Edwards
Categories: Computers
Type: BOOK - Published: 2009-09-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Software Reuse, ICSR 2009, held in Falls Church, VA, USA, in September 20