"The software engineering community has advanced greatly in recent years and we currently have numerous defined items of knowledge, such as standards, methodologies, methods, metrics, techniques, languages, patterns, knowledge related to processes, concepts, etc.The main objective of this book...

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....