A Kalman filter for application to stationary or non-stationary time series is proposed. A major feature is a new initialisation method to accommodate non-stationary time series. The filter works on time series with missing values at any point of time including the initialisation phase. It can...

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