Taibi, Toufik (contributor) - 2007
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....