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
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
Proceedings of International Conference on Computational Intelligence and Data Engineering
Language: en
Pages: 258
Authors: Nabendu Chaki
Categories: Technology & Engineering
Type: BOOK - Published: 2019-04-16 - Publisher: Springer

DOWNLOAD EBOOK

The book presents high-quality research work on cutting-edge technologies and the most-happening areas of computational intelligence and data engineering. It in