"This book addresses e-learning patterns in software development, providing an accessible language to communicate sophisticated knowledge and important research methods and results"--Provided by publisher.

Many formal approaches for pattern specification are emerging as a means to cope with the inherent shortcomings of informal description. This book presents multiple mathematical, formal approaches for pattern specification, emphasizing software development processes for engineering disciplines....